TypeScript非空断言为何会影响函数泛型推断？

问题现象 #

定义泛型函数t后，直接调用时TypeScript能正确推断泛型类型，但使用非空断言!调用时，泛型推断失效：

简化复现代码 #

const t: <T>(val: T) => T = (val) => {
  return val;
};

t('111'); // 正确推断为<"111">(val: "111") => "111"
t!('111'); // 泛型未推断，仍为<T>(val: T) => T

实际业务代码 #

类型与函数定义：

export const resources = {
  'ja-JP': jaJP,
  'zh-TW': zhTW,
  'en-US': enUS,
  'zh-CN': zhCN,
};

export type Lng = keyof typeof resources;

export type Resources = {
  [K in Lng]: (typeof resources)[K] & {
    [P in LOCALES_KEYS]: P extends keyof (typeof resources)[K]
      ? (typeof resources)[K][P]
      : '';
  };
};

export interface AppContextData extends DefaultData {
  language?: Lng;
  t: <T extends LOCALES_KEYS>(
    key: T,
  ) => Resources[keyof typeof resources][T];
}

const t: AppContextData['t'] = (key) => {
  const lang: Lng = 'en-US';
  return (resources as Resources)[lang][key];
};

调用示例：

t(LOCALES_KEYS.AVATAR); // 鼠标悬停显示泛型已推断为LOCALES_KEYS.AVATAR
t!(LOCALES_KEYS.AVATAR); // 鼠标悬停显示泛型未被推断，仍为<T extends LOCALES_KEYS>

原因分析 #

TypeScript中，非空断言操作符!会改变表达式的类型处理逻辑：

• 直接调用泛型函数时，TypeScript会直接使用函数的泛型签名，根据传入的参数类型自动推断泛型参数的具体值。
• 当对函数变量使用!时，t!会被解析为对变量t的非空类型断言，此时TypeScript会提取变量t的类型注解（即定义好的泛型函数类型），但不会将其当作可动态推断的泛型函数处理，而是将其视为一个普通的函数类型引用，因此无法根据传入的参数推断泛型参数的具体类型，只能保留原泛型约束。

简单来说，非空断言破坏了TypeScript对泛型函数的推断链路，让函数失去了基于参数自动推导泛型的能力。

内容的提问来源于stack exchange，提问作者彭小帅