我偶然发现了这种不一致的行为：
条件句本身就很好用：
class FormControl<T> {
constructor(t:T extends undefined ? never : T) {}
}
const a = new FormControl('');
// ^? FormControl<string> // OK单独的联合也可以：
class FormControl2<T> {
constructor(t:T|string) {}
}
const b = new FormControl2("");
// ^? FormControl<string> OK当两个union+conditional组合时：
class FormControl3<T> {
constructor(t:T extends undefined ? never : T|string) {}
}
const c = new FormControl3("");
// ^? FormControl<""> // Too narrow :(在第三种情况下，a如何获得更宽的string推断类型？我正在寻找加宽推断，而不是每次都指定正确的类型。
Playground
2条答案
按热度按时间xoefb8l81#
经过一番阅读，它可能与typescript对文本类型的使用有关，如中所示：https://github.com/microsoft/TypeScript/pull/10676
在调用表达式的类型参数推断期间，如果满足以下条件，则将为类型参数T推断的类型加宽为其加宽的文本类型：
0md85ypi2#
这是一个非常有趣的问题!
恐怕我不知道为什么会发生这种事尽管我花了比我愿意承认的更多的时间试图弄清楚。
根据上一个问题，您可以通过执行以下操作强制输入字符串：
或者，您也可以执行以下操作：