【问题标题】：Conditional types issue in TypeScriptTypeScript 中的条件类型问题
【发布时间】：2021-02-03 07:19:43
【问题描述】：

这是一个复杂代码的简化示例：

type ValueType<T> = [T] extends [string] ? Value<string> : Value<T>;

interface Value<T> {
    set(v: T): void
}

export type Bar<T> = T extends true ? boolean : number

function foo<T>(vt: ValueType<Bar<T>>, v: Bar<T>) {
    vt.set(v); <-- error here
}

最新的 TypeScript (v4.1.3) 在语句 vt.set(v) 上失败：

“Bar”类型的参数不能分配给“string & Bar”类型的参数。

(TypeScript playground link)

这种行为是记录在某处还是一个错误？

【问题讨论】：

您的 Bar 和 ValueType 别名在这里是多余的。你能提供一个removing them would not be trivial的例子吗？
@PatrickRoberts 不确定你的意思。你的例子没有失败。我的失败。所以你的例子是不同的。
“你的例子”（5分钟后无法修复错字）

标签： typescript conditional-types

【解决方案1】：

什么是错误

这是你得到的错误：

Argument of type 'Bar<T>' is not assignable to parameter of type 'string & Bar<T>'. 
  Type 'number | boolean' is not assignable to type 'string & Bar<T>'. Type 'number' is not assignable to type 'string & Bar<T>'. 
    Type 'number' is not assignable to type 'string'. 
       Type 'Bar<T>' is not assignable to type 'string'. Type 'number | boolean' is not assignable to type 'string'.

所以根本原因是Type 'Bar<T>' is not assignable to type 'string'. Type 'number | boolean' is not assignable to type 'string'.，出现这个错误是完全合理的，我们在下面解释这个

说明

事实 1：

基于export type Bar<T> = T extends true ? boolean : number

栏只能是boolean 或number

事实 2：

基于type ValueType<T> = [T] extends [string] ? Value<string> : Value<T>;

表示ValueType可以是Value<string>

事实 3：

基于foo<T>(vt: ValueType<Bar<T>>, v: Bar<T>)

使用事实 2，表示 means vt.set can take string

分辨率

基于事实 1（只能是 boolean 或 number）和事实 2（可以采用 string），我们收到来自 TypeScript 的错误消息：Type 'number | boolean' is not assignable to type 'string'

【讨论】：

我不明白为什么vt.set 可以接受string。因为Bar<T> 只能是boolean 或number。因此[number | boolean] extends [string] 为假。