TypeScript 对象转换为接口不应该编译？

Question

我不明白为什么这个 TypeScript 代码应该编译（TypeScript 2.8.3 所有严格检查）

我已将一个对象转换为 IUser 类型并包含一个不存在的属性“bob”

我已阅读有关超额支票的文档 - https://www.typescriptlang.org/docs/handbook/interfaces.html#excess-property-checks

但它仍然没有意义，这应该编译 - 鉴于我正在铸造它。

最终的问题是：我如何才能在这个对象上真正获得正确的类型 - 以便将其转换为具有非接口成员的对象（可能/可能的错字）应该无法编译。

interface IUser {
    name: string
}

const func = (user: IUser) => {
    alert(user)
}

func(<IUser> {
    name: "bob",
    bob: true
} as IUser)

Answer 1

仅在将对象字面量分配给变量或函数参数时才进行额外的属性检查。添加任何类型的强制转换都会禁用检查，因为该值实际上是可分配给该类型的。此功能称为Strict object literal assignment checking：

在对象字面量中指定属性是错误的 未在目标类型上指定，分配给变量或 为非空目标类型的参数传递。

额外属性给出错误的示例：

interface IUser {
  name: string
}

const anotherFunc = function (u: IUser) {
    // whatever
}

const func = function() {
    anotherFunc({
        name: "bob",
        bob: true
    })
}

// Argument of type '{ name: string; bob: boolean; }' is not assignable to parameter of type 'IUser'.
//   Object literal may only specify known properties, and 'bob' does not exist in type 'IUser'.