TypeScript接口中函数的模板字面量类型推导失败问题

问题场景 #

使用Ryan Dabler实现的算术运算类型时，在泛型接口Foo中，将${Add<Sum, 1>}作为incrementString()的返回值或sumParam()的参数类型会触发编译错误，但单独测试类型type OneString = ${Add<0, 1>}``能正常推导为"1"，实例化Foo<0>后调用相关函数也能得到预期结果。

错误代码示例 #

// Test interface using the Add<A, B> type
interface Foo<Sum extends number> {
  increment(): Add<Sum, 1>;
  incrementString(): `${Add<Sum, 1>}`;
  /*                    ~~~~~~~~~~~
  Type 'Length<[...BuildTuple<Sum, []>, any]>' is not assignable to type 'string | number | bigint | boolean | null | undefined'.
  Type 'unknown' is not assignable to type 'string | number | bigint | boolean | null | undefined'.(2322) */
  sumParam(param: `${Add<Sum, 1>}`): void;
  /*                 ~~~~~~~~~~~ Same error */
}

错误提示 #

Type 'Length<[...BuildTuple<Sum, []>, any]>' is not assignable to type 'string | number | bigint | boolean | null | undefined'. Type 'unknown' is not assignable to type 'string | number | bigint | boolean | null | undefined'.(2322)

原因分析 #

1. 泛型上下文的类型检查限制：在泛型接口的定义阶段，TypeScript不会提前解析泛型参数Sum的具体值，只能保留Add<Sum,1>的底层实现类型（即Length<[...BuildTuple<Sum, []>, any]>）。而模板字面量的插值类型要求必须是TS能直接识别的基础类型（string | number | bigint | boolean | null | undefined），这个底层类型不在允许范围内，因此触发错误。
2. 具体字面量的即时计算：当Sum是具体的字面量（比如0）时，TS能立即计算出Add<0,1>的结果为1，自然可以转换为模板字面量类型"1"；实例化Foo<0>时，泛型参数被具体化，类型计算完成，所以调用时不会报错。

解决方法 #

通过给Add<Sum,1>添加number类型约束，明确告诉TS该类型属于模板字面量允许的插值类型：

interface Foo<Sum extends number> {
  increment(): Add<Sum, 1>;
  incrementString(): `${Add<Sum, 1> & number}`;
  sumParam(param: `${Add<Sum, 1> & number}`): void;
}

或者封装一个辅助类型来确保类型被识别为数字：

type AddAsNumber<N extends number> = Add<N, 1> extends number ? Add<N,1> : never;

interface Foo<Sum extends number> {
  increment(): Add<Sum, 1>;
  incrementString(): `${AddAsNumber<Sum>}`;
  sumParam(param: `${AddAsNumber<Sum>}`): void;
}

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