typescript - 为什么 TypeScript 在推断函数的返回类型时不会自动使用文字类型？

Question

考虑以下片段:

//
// Case 1: return type is { statusCode: number }
//
export const handler = () => {
  return {
    statusCode: 200
  }
}

//
// Case 2: return type is { statusCode: 200 }
//
export const handler = () => {
  return {
    statusCode: 200 as const
  }
}

由于该函数将始终返回相同的值(没有替代流程)，在我看来，第二种情况应该是默认值。或者，换句话说，我认为 TypeScript 在默认情况下应该总是尽可能地具体。
为什么需要手动指定返回类型，或者使用 as const ?

Answer 1

领域statusCode在返回的对象上是可变的。因此，如果更改，类型将不再相同，这会破坏类型安全。

let obj = handler();
obj.statusCode = 404; // This is allowed but breaks the type { statusCode: 200 }