TypeScript中如何初始化扩展boolean的泛型类属性？

先看你的代码：

class Example<T extends boolean> {
    foo: T = true;
}

编译器抛出的错误：

Type 'boolean' is not assignable to type 'T'.
'boolean' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'boolean'.

下面分两个核心问题解答：

1. T extends boolean 允许哪些类型？ #

在TypeScript里，boolean本质是**true | false的联合类型**，而T extends boolean意味着T可以是：

• 字面量类型true
• 字面量类型false
• 或者boolean本身（也就是两个字面量的联合）

你可能疑惑“boolean还有其他子类型？”，其实这里的“子类型”指的是更具体的字面量类型——它们是boolean的细分。比如当你实例化new Example<true>()时，T就被锁定为字面量true；如果是new Example<false>()，T就是字面量false。

2. 为什么不能用true（或boolean类型值）初始化foo？ #

问题的核心是泛型的具体化风险：

• 当你写foo: T = true时，你默认T是true或者boolean，但如果有人用Example<false>实例化这个类，此时foo的类型是false，你给它赋值true就会出现类型不兼容。
• TypeScript编译器不会假设T的具体类型，它会考虑所有符合T extends boolean的可能情况，所以会拒绝这种存在潜在类型冲突的赋值——毕竟true属于boolean，但不一定属于某个具体的T（比如T是false的情况）。

解决方法 #

如果要让代码合法，有两种常见思路：

• 让用户传入初始化值：通过构造函数接收符合T类型的参数，确保类型匹配：

  class Example<T extends boolean> {
      foo: T;
      constructor(foo: T) {
          this.foo = foo;
      }
  }
  

• 给泛型设置默认类型并断言：如果希望有默认值，可以把T的默认类型设为true，再用类型断言告诉编译器赋值安全：

  class Example<T extends boolean = true> {
      foo: T = true as T;
  }
  

  这样当用户不指定T时，默认用true；如果用户指定T为false，编译器会因为true as false的断言报错，提醒用户需要手动传入正确的初始化值。

内容的提问来源于stack exchange，提问作者snowsign