为何TypeScript允许推断类型函数扩展属性，显式类型则不行？

TypeScript存在这样的行为差异：自动推断类型的函数允许扩展新属性，但显式指定类型或从其他函数返回的函数不允许；而对象无论是否显式声明类型，都无法扩展属性。具体现象如下：

函数示例 #

const sampleFunc1 = () => { return 1 }   
const sampleFunc2: () => number = () => { return 1 }
const returnFunc = (func: () => number) => func
const returnedSampleFunc = returnFunc(sampleFunc1)

// sampleFunc1.Test = "test" // 可以执行
// sampleFunc2.Test = "test" // 报错：类型'() => number'上不存在属性'Test'
// returnedSampleFunc.Test = "test" // 报错：类型'() => number'上不存在属性'Test'

对象示例 #

const obj1 = {a: 1, b: "test"}
const obj2: {a: number, b: string} = {a: 1, b: "test"}

// obj1.Test = "test" // 报错：类型'{ a: number; b: string; }'上不存在属性'Test'
// obj2.Test = "test" // 报错：类型'{ a: number; b: string; }'上不存在属性'Test'

差异原因解析 #

函数类型的两种处理逻辑

• 自动推断的函数：TypeScript对const sampleFunc1 = () => { return 1 }这类写法，会推断出一个专属的字面量函数类型——它不仅包含函数的调用签名，还保留了函数作为JS对象的灵活性，允许挂载额外属性。这种设计是为了兼容JS中“函数作为一等公民，可同时具备调用能力和附加属性”的常见场景（比如带静态属性的函数、高阶组件返回的增强函数）。
• 显式指定/返回的函数：当你给函数标注() => number这类标准函数类型，或从返回该类型的函数中取值时，TypeScript会将其视为仅包含调用签名的严格类型契约。此时额外属性不在预先定义的契约范围内，自然会触发类型检查错误。

对象类型的统一严格检查

无论对象类型是自动推断还是显式声明，TypeScript都会生成精确的结构化类型，比如{a: number; b: string}。这种类型的核心契约是“仅包含指定属性”，不允许扩展额外属性——这是因为对象的主要用途是存储结构化数据，严格的结构检查能避免意外添加不符合设计的属性，保障数据的一致性。

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