为何TypeScript不支持此泛型类型推断？泛型A显式声明疑问

先看示例代码：

interface A<T> {
    a: T
}
let a: A<number> = { a: 1 } // 合法，明确指定泛型参数为number
let b: A = { a: 1 } // 报错：泛型A需要类型参数

你的诉求是否合理？ #

不合理，原因如下：

• 泛型接口本身不是具体类型：A<T>是一个类型模板，而非直接可用的类型。它的作用是通过传入不同的T生成不同的具体类型（比如A<number>、A<string>）。直接写A就像调用函数时不传入参数，TypeScript无法识别这是一个合法类型。

• 类型注解的作用是约束，而非反向推断：变量的类型注解是开发者主动声明的约束，用来限定变量的类型范围，让编译器检查赋值是否符合要求。如果允许b: A让编译器反向推断T，就违背了类型注解的设计逻辑——注解应该是明确的规则，而非让编译器“猜测”你要的类型。

• 类型安全性与一致性问题：假设允许这种推断，后续如果修改b的赋值为{a: "hello"}，A对应的T会隐性变成string，导致变量类型无预警地变化，破坏TypeScript的类型安全保障。同时这种行为也会和泛型在其他场景的使用逻辑冲突（比如函数泛型需要显式指定或上下文推断，但变量注解不支持反向推断）。

如果不想显式写A<number>，可以直接省略类型注解，让编译器自动推断变量的具体类型：

let b = { a: 1 } // 编译器会推断b的类型为{a: number}

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