TypeScript泛型约束赋值错误疑问：返回{length:number}为何不兼容？

为什么返回{ length: minimum }会触发错误？ #

你定义的泛型函数声明返回Type类型，而Type是约束于{ length: number }的具体子类型，不是约束本身。举个实际场景：
如果有人这样调用函数：

const user = { length: 3, name: "Alice" };
minimumLength(user, 5);

此时Type被实例化为{ length: number; name: string }，但你返回的{ length: 5 }根本没有name属性，完全不符合Type的类型要求。TypeScript提前拦截这个错误，是因为它无法保证你返回的对象能匹配Type可能的所有子类型——哪怕这些子类型都包含length，但它们可能还有其他必须的属性。

关于minimumLength({length:1},2)的调用疑问 #

你觉得这个调用应该可行，但实际上TypeScript会把传入的{length:1}推断为字面量类型{ length: 1 }，函数声明要返回的就是这个字面量类型。但你返回的{length:2}类型是{ length: number }，和{ length:1 }不兼容（字面量类型的length是固定值1，而非任意number）。所以哪怕调用看起来合理，TypeScript依然会报错，因为返回值类型和声明的Type不匹配。

参考TypeScript官方手册内容（翻译） #

使用受约束的值
当你使用受约束的泛型时，不能仅返回符合约束的对象就认为满足泛型参数的要求。因为泛型参数可能被实例化为包含额外属性的子类型，这些属性是约束所没有的。此时返回仅满足约束的对象会破坏类型安全性，因为调用者期望得到的是传入的具体子类型实例，而不是一个更基础的类型。

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