类型推导疑问

Question

老师，我想问下，为什么这里的泛型T会被推导为"name"|"age"组成的联合类型，而不是推导为string。是因为extends string后，发生了类型缩减吗？

Answer 1

Nolan 2021-06-05 20:21:28

'name'|'age' 本身就是一个类型，extends string只是默认值，你指定了'name'|'age'后, 默认类型string就会被覆盖了

• 提问者 进阶的前端小白 #1

  extends string不是泛型约束嘛，是不是和字面量也有关系，因为传参是一个字面量，不是变量

• Nolan 回复 提问者 进阶的前端小白 #2

  没错, extends string 是约束泛型，但是 'name'|'age' 是 string 的子集，所以没啥问题。你如果传 object 类型就会报错了