TypeScript中何时可省略泛型类型？如何实现统一编译规则？

我发现，TypeScript编译器在未显式指定泛型类型参数时，常常不会报错：

function someFunction<T>(): T {
  // Do something
}

const x = someFunction<string>();

// 我原本认为这行总会触发编译错误，但实际并非如此
const y = someFunction();

这种时而报错时而不报错的行为无明显规律。我猜测当函数结构能让编译器推断出类型T时，不会触发报错，但实验结果却令人困惑：

实验1 #

function cannotBeInferred<T>(): T {
  return 0 as T;
}

const a1 = cannotBeInferred();
const a2 = cannotBeInferred<string>();

• 变量a1类型为unknown，我认为应触发错误
• 变量a2类型为string，符合预期

实验2 #

function canBeInferredNativeType<T>(par: T): T {
  return par;
}

const b1 = canBeInferredNativeType('test');
const b2 = canBeInferredNativeType<string>('test');

• 变量b1类型为"test"，我认为应触发错误
• 变量b2类型为string，符合预期

实验3 #

function canBeInferredInterface<T>(param: { something: T }): T {
  return param.something;
}

interface Something { something: string };
const param: Something = { something: 'blabla' };

const c1 = canBeInferredInterface({ something: 'test' });
const c2 = canBeInferredInterface(param);
const c3 = canBeInferredInterface<number>({ something: 123 });

• 变量c1类型为string，我疑惑编译器如何确定传入的是{ something: string }而非{ something: 'test' }，认为应触发错误
• 变量c2类型为string，虽参数已显式类型定义，但仍希望编译器报错
• 变量c3类型为number，符合预期

我期望编译器行为统一：要么未提供泛型参数时始终报错，要么明确告知类型可从上下文推断。请问如何实现？是否有对应的编译选项？

核心原因 #

TypeScript的泛型类型推断逻辑是：当编译器能从函数的参数、返回值上下文（比如变量赋值的目标类型）中推导出泛型参数时，会自动填充类型；如果完全无法推断，会将泛型参数默认设为unknown而非直接报错——这就是你看到a1类型为unknown却不报错的原因。

对于实验2中的b1，编译器从传入的字面量'test'推断出T为'test'（字面量类型），这是TypeScript的默认行为；实验3的c1则是因为对象字面量的类型被默认拓宽为{ something: string }（而非字面量类型{ something: 'test' }），这是TypeScript的类型拓宽规则导致的。

实现统一行为的编译选项 #

要实现“未显式指定泛型参数时强制报错”的需求，可通过以下方式：

1. 启用--noImplicitUnknown编译选项（TypeScript 4.4+支持）：当泛型参数无法被编译器推断，且没有指定默认类型时，会直接触发错误。比如实验1中的const a1 = cannotBeInferred();会报错，因为T无法被推断且无默认类型。
2. 强制所有泛型函数显式指定参数：TypeScript原生编译选项没有强制要求显式指定可推断的泛型参数，需配合ESLint规则（如@typescript-eslint/no-implicit-generics）实现。该规则会检查所有泛型函数，要求必须显式传入泛型参数，无论是否能推断。

补充说明 #

• 关于实验2中字面量类型的问题：若希望保留字面量类型而非拓宽为基础类型，可使用const断言：

  const b1 = canBeInferredNativeType('test' as const);
  

  此时b1的类型会是'test'而非string。
• 关于实验3中对象字面量的类型拓宽：可通过const断言或显式类型注解来控制类型范围。

内容的提问来源于stack exchange，提问作者Adriano di Lauro