Typescript如何在类型系统中表示字符串连接

Question

我想确认的是，在转换时，该字符串包含其他字符串：

type OneOrTwo = "one" | "two"
type StringContainingOneOrTwo = string
let str: StringContainingOneOrTwo = "123" + "one" // ok, contains OneOrTwo
let str2: StringContainingOneOrTwo = "123" + "onesss" // should fail, does not contain OneOrTwo

Answer 1

Typescript如何在类型系统中表示字符串连接

你不能这么做。尤其是在包含的情况下，例如您的示例

let str2: StringContainingOneOrTwo = "123" + "onesss" // should fail, does not contain OneOrTwo

实际上包含one，即123 + one + sss。但即使以结尾，也不能在typescript类型系统中进行编码。