TypeScript：泛型约束与普通参数类型的区别及扩展属性调用报错原因咨询

嘿，我来帮你搞懂这个困惑！你纠结的点其实在于TypeScript对泛型约束的类型检查逻辑，咱们一步步拆解清楚：

核心差异：类型检查的依据是什么？ #

不管是普通参数类型还是泛型约束，TypeScript在函数内部做类型校验时，只会基于它能确定的最小类型信息来判断：

1. 在test1里，你明确把参数类型设为SomeInterface，编译器知道这个参数只能拥有f()方法，自然不允许调用不存在的g()——这部分你已经理解了。
2. 在test2里，S extends SomeInterface只是告诉编译器：传入的类型S必须是SomeInterface的子类型（或者它本身），但这并不等于编译器知道S具体有哪些额外属性。

换句话说，泛型约束只规定了类型的「下限」（必须包含f()），但没规定「上限」——S可能就是SomeInterface本身（没有g()），也可能是它的扩展类型（有g()）。但在函数内部，编译器必须保证不管传入哪种符合约束的S，代码都能正常运行，所以它只能基于最基础的约束（SomeInterface）做检查，自然不允许调用不存在于约束里的g()。

直观例子帮你理解 #

假设你有这样的扩展类型：

interface SomeInterface { f(): void; }
interface HasG extends SomeInterface { g(): void; }

const objWithG: HasG = { f: () => {}, g: () => {} };
const objOnlyF: SomeInterface = { f: () => {} };

• 当你调用test2(objWithG)时，TypeScript会把S推断为HasG，但这个推断是在函数调用时发生的，而非函数内部定义阶段。
• 但在test2函数内部，编译器必须兼容所有符合约束的输入（比如objOnlyF），所以它不能假设g()一定存在。

如何在泛型函数里调用g()？ #

如果你确定所有传入test2的参数都有g()，可以把这个要求加到泛型约束里：

function test2<S extends SomeInterface & { g(): void }>(si: S) {
  si.f();
  si.g(); // 现在编译器明确知道S一定包含g()，不会报错了
}

或者如果你只是临时处理某个确定有g()的参数，可以用类型断言（但要注意，这种方式不安全，需要你自己保证参数确实有g()）：

function test2<S extends SomeInterface>(si: S) {
  si.f();
  (si as { g(): void }).g();
}

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