如何无需手动指定泛型T构造Person类型对象？

第一个示例的需求确实无法直接实现，这是TypeScript泛型推断机制的固有限制导致的，核心原因在于泛型参数的自动推断仅在函数调用场景生效，类型注解场景不支持反向推断。

具体原因拆解 #

当你写const alice: Person = ...时，Person<T>作为类型注解，TypeScript要求必须显式指定泛型参数T（比如Person<'Alice'>），不会主动从右侧的对象字面量中提取name的类型来填充T。这种场景下，泛型参数是必须明确提供的，否则就会抛出你遇到的“泛型类型需要1个类型参数”的错误。

而你写的createPerson辅助函数之所以能生效，是因为函数的泛型参数可以通过传入的实参反向推导：当你传入包含name: 'Alice'的对象时，TypeScript会自动提取name的字面量类型'Alice'作为泛型T的类型，进而让sayHello的参数类型自动匹配为'Alice'。

替代方案说明 #

如果不想用辅助函数，你可以尝试类型断言，但这种方式无法实现精确的字面量类型推断：

const alice = {
  name: 'Alice',
  sayHello: (name: typeof alice.name) => {
    console.log(`Hello, ${name}`);
  },
} as Person<string>;

这里sayHello的参数类型虽然是'Alice'，但Person<string>的泛型参数是string而非字面量类型，本质上还是手动关联了类型，达不到你想要的自动推断泛型的效果。

总结 #

辅助函数的方式并非冗余，而是TypeScript社区处理这类泛型推断需求的常规方案——它利用了函数泛型的自动推断特性，是实现你需求的最优解。

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