TypeScript const泛型未按预期收窄类型，是否误用？

你没完全误用const泛型，但只在makeTable里用const泛型不够——问题出在makeColumn函数没有用const泛型约束传入的列对象，导致列的属性（比如name）被推断成了宽泛的string类型，而非具体的字面量类型。哪怕makeTable用了const泛型，也没法把已经宽泛的类型再收窄成字面量。

解决方法 #

给makeColumn加上const泛型，让TypeScript把传入的列对象推断为字面量类型：

function makeColumn<const T extends TableColumn>(column: T) {
  return column;
}

这样创建列实例时，name、label这类属性会被推断为具体的字面量（比如'id'、'ID'），再传入makeTable后，const泛型就能正确收窄整个列数组的类型，让Table接口的类型推导符合预期。

原理补充 #

const泛型的核心作用是强制TypeScript将传入的字面量（对象、数组、基础类型字面量）推断为不可变的字面量类型，而不是自动拓宽成string、number这类父类型。你之前只在makeTable环节用const泛型，但列本身已经被拓宽成宽泛类型了，后续就没法再收窄。必须在创建列的源头就用const泛型锁住类型。

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