为什么类型保护类型的扩展会导致类型检查被跳过？

Question

问题：

当我在使用对象扩展构造所述对象时忘记将嵌套字段添加到类型为 T 的对象时，为什么不会收到编译时错误？

示例：

interface User {
  userId: number;
  profile: {
    username: string
  }
}

function updateUsername(user: User): User {
  return {
    ...user,
    profile: {
      // Error (as expected)
    }
  }
}

function updateUsernameGeneric<T extends User>(user: T): T {
  return {
    ...user,
    profile: {
      // No error (unexpected... why?)
    }
  }
}

我自己对答案的猜测：

我所能想象的是，TypeScript 允许子类型删除它们的超级属性，这使得对于User 的某些子类型T，profile 属性可能不包含任何特性。 （如果是这样，我不知道 TypeScript 允许你这样做......）

---

TypeScript 版本 4.1.2

Playground

Answer 1

这与使用泛型类型（参见PR）与普通类型相比如何解决传播有关。如果将结果对象写入变量，您会立即注意到不同之处：对于非泛型类型，合并类型推断为：

{
    profile: {};
    userId: number;
}

这导致此类型无法分配给具有必需 username 子属性的带注释的返回类型 User。这正是编译器错误 TS 2322 告诉您的内容：

类型“{}”中缺少属性“用户名”，但类型“{用户名：字符串; }'

现在，泛型的情况有点不同：类型实际上被推断为User 的子类型和{ profile: {}; } 类型的交集：

T & {
    userId: string;
    profile: {};
}

编译器可以接受，因为交集是带注释的返回类型的“扩展”，包含根据交集定义的所有属性。

---

这是否是一个好的行为值得商榷，因为您可以执行以下操作，编译器也不会更明智：

function updateUsernameGeneric<T extends User>(user: T): T {
  const newUser = {
    ...user,
    userId: "234",
    profile: {
      // No error (unexpected... why?)
    }
  }

  return newUser;
}

updateUsernameGeneric({ profile: { username: "John" }, userId: 123 }).userId //a-ok, "number"

---

由于返回类型是泛型类型参数和合并属性的交集，您可以取消注释返回类型并让 TypeScript 推断它。不兼容的属性类型将被正确推断为never：

function updateUsernameGenericFixed<T extends User>(user: T) {
  const newUser = {
    ...user,
    userId: "234",
    profile: {
      // No error (unexpected... why?)
    }
  }

  return newUser;
}

updateUsernameGenericFixed({ profile: { username: "John" }, userId: 123 }).userId //never

Playground