TypeScript泛型函数修改对象类型未触发类型报错疑问

出现这个现象和泛型本身的特殊能力无关，是TypeScript的结构化类型规则、多余属性检查边界、泛型校验逻辑共同作用的结果： #

核心规则前置 #

• 结构化子类型（鸭式辨型）：TS对对象的类型校验只做最低要求——只要对象包含类型声明里的所有必填属性、对应属性类型匹配就算合格，不会禁止对象额外携带没声明的属性。换句话说，带额外属性的子类型，天生可以赋值给声明结构更少的父类型。
• 多余属性检查（防错特殊规则）：这是TS额外加的一层校验，仅在你直接把对象字面量写在赋值、传参、函数返回位置，且目标类型是固定具体类型时才会触发，一旦发现对象带了类型没声明的属性就直接报错。这个规则纯粹是为了防开发者拼错属性名，不是结构化类型的原生逻辑。

直接写user.timestamp = "xxxx"报错的原因 #

这是静态类型最基础的校验逻辑：你已经明确给user标注了UserConfig类型，这个接口从来没声明过timestamp属性，TS默认不允许你读、写一个类型上完全不存在的属性，从根源上避免低级拼写错误。 #

泛型函数赋值不报错的两层原因 #

1. 泛型函数的类型标注骗过了编译器 #

你给addTimestamp标注的返回值是泛型T，等于给编译器打包票"这个函数返回的值和入参类型完全一致"，但你实际返回的是展开入参后加了timestamp的新对象，真实类型是T & { timestamp: string }。
因为T是开放的泛型参数，不是固定死的具体类型，TS在检查返回值是否匹配T的时候，不会触发针对具体类型的多余属性检查——它没法确定timestamp是不是T类型本来就有的属性，自然不会拦着你加。

2. 函数返回值不在多余属性检查的触发范围内 #

当你把函数返回值赋值给user时，这个值是函数运行的返回结果，不是你直接写在等号后面的对象字面量，根本不会触发前面说的多余属性特殊校验。TS只会做最基础的结构检查：返回的对象有没有string类型的name、number类型的age？有，那就符合UserConfig的要求，赋值自然不报错。 #

可复现的验证场景 #

你可以写两个对比用例，就能直观感受到规则的边界：

1. 不用泛型，写一个返回UserConfig的普通函数，直接返回带timestamp的对象字面量，会立刻触发多余属性报错：

function getUser(): UserConfig {
  // 报错：对象字面量只能指定已知属性，timestamp不存在于UserConfig类型中
  return { name: "test", age: 18, timestamp: "2024xxx" }
}

2. 直接给user赋值带timestamp的对象字面量，同样会报错，因为触发了赋值位置的多余属性检查：

// 报错：和上面一致的多余属性错误
user = { name: "Eyal", age: 23, timestamp: "2024xxx" }

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