如何隐式类型化继承string的泛型？解决TS2322错误

想要让TypeScript动态检测对象的键并在其他地方复用，写了以下代码：

type ReturnKeysList = <KeyT extends string>() => KeyT[];
const f: ReturnKeysList = () => (['a', 'b']);

TypeScript抛出报错：

Type 'string' is not assignable to type 'KeyT'.
  'string' is assignable to the constraint of type 'KeyT', but 'KeyT' could be instantiated with a different subtype of constraint 'string'.(2322)

进一步测试发现，连这种任意函数返回类型的隐式类型化也无法实现：

type func = <T>() => T;
const f: func = () => 3;

对应的报错：

Type 'number' is not assignable to type 'T'.
  'T' could be instantiated with an arbitrary type which could be unrelated to 'number'.(2322)

原因解析 #

这不是TypeScript的限制，而是泛型函数的设计逻辑导致的。泛型函数的类型定义（比如<KeyT extends string>() => KeyT[]）意味着调用该函数时，调用者可以指定任意符合约束的KeyT类型。比如调用f<'a'>()时，函数必须返回'a'[]类型，但你的函数实际返回的是('a'|'b')[]，无法满足所有可能的KeyT类型，因此TypeScript报错。第二个例子同理，<T>() => T要求函数能返回任意类型T，但你的函数只能返回number，显然不匹配。

解决方法 #

场景1：复用固定的键列表

如果想让函数返回固定的键数组，同时让TypeScript推导这些键的字面量类型，不需要把泛型定义在函数类型上，而是让函数返回类型自动推导，或者绑定泛型到具体的数组类型：

1. 直接推导返回类型（推荐）：

const f = () => ['a', 'b'] as const; // 返回类型为 readonly ['a', 'b']
type Keys = typeof f[number]; // 得到 'a' | 'b'，可在其他地方复用

2. 复用函数类型的写法：

type ReturnKeysList<T extends string[]> = () => T;
const f: ReturnKeysList<['a', 'b']> = () => ['a', 'b'] as const;
type Keys = ReturnType<typeof f>[number]; // 得到 'a' | 'b'

场景2：泛型函数的正确实现

如果确实需要泛型函数，函数实现必须能根据调用者指定的类型返回对应值，比如：

type func = <T>(val: T) => T;
const f: func = (val) => val; // 正常工作，返回值类型与传入参数一致

如果只是想返回固定类型，直接指定函数返回类型即可，不需要泛型：

type func = () => number;
const f: func = () => 3; // 无报错

内容的提问来源于stack exchange，提问作者Franco Peña Campos