TypeScript泛型函数默认参数类型不兼容问题解析及解决方法

先还原问题里的代码场景：

interface Foo { name: string; }
interface Bar extends Foo { displayName: string; }
const foo: Foo = { name: "foo" };
const bar: Bar = { name: "bar", displayName: "dn" };
const getName = <T extends Foo>(obj: T = foo): string => {
  return obj.name;
};
getName(foo); // 正常运行
getName(bar); // 正常运行

这段代码里，obj: T = foo会触发TypeScript的类型错误——明明T继承自Foo，为啥默认值foo不能赋值给T类型的参数？

问题原因 #

这里的核心矛盾是泛型约束的方向和默认值的类型要求方向相反：

• 泛型约束T extends Foo的意思是：T必须是Foo的子类型（比如Bar就是符合要求的T）。
• 但默认值foo是Foo类型，TypeScript需要确保这个默认值能赋值给所有可能的T——可当T是Bar这类Foo的子类型时，foo缺少Bar特有的displayName属性，根本不是Bar的实例，自然无法满足T的类型要求。

简单说：你要求T必须是Foo的“孩子”，但默认值是Foo这个“爹”，“爹”不能直接当“孩子”用，因为“孩子”可能有额外属性。

解决办法 #

这里有几种靠谱的解决方式，你可以根据场景选择：

1. 给泛型指定默认类型+类型断言 #

给泛型T加上默认类型Foo，再用as T断言默认值的类型，告诉TypeScript：当使用默认值时，T就是Foo类型，不会有不匹配的问题：

const getName = <T extends Foo = Foo>(obj: T = foo as T): string => {
  return obj.name;
};

这样调用时：

• 不传参数：getName()，此时T是默认的Foo，foo as T就是Foo类型，完全匹配。
• 传Bar类型的参数：getName(bar)，此时T是Bar，你必须传入Bar类型的参数，TypeScript不会再尝试用默认值foo，所以也不会报错。

2. 调整参数类型为T | Foo #

如果不想用类型断言，可以把参数类型放宽为T | Foo，因为我们只需要读取name属性，Foo和它的子类型都有这个属性：

const getName = <T extends Foo>(obj: T | Foo = foo): string => {
  return obj.name;
};

这种写法更宽松，不过会丢失一点泛型的精确性（比如如果函数返回值是T的话就不太合适），但这里返回的是string，完全没问题。

3. 使用函数重载（最清晰的写法） #

如果想彻底区分“带参数”和“不带参数”的场景，用函数重载是最清晰的：

// 重载签名：不带参数的情况
function getName(): string;
// 重载签名：带任意T extends Foo类型参数的情况
function getName<T extends Foo>(obj: T): string;
// 实现签名：处理逻辑
function getName(obj: Foo = foo): string {
  return obj.name;
}

这种写法下，TypeScript能完美推断类型：

• getName()自动使用默认值foo，类型正确。
• getName(bar)会识别出参数是Bar类型，也完全没问题。

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