TypeScript 通过对象解构允许不正确的属性

Question

我遇到了 TypeScript 的问题，即使用一种类型的对象可以通过破坏性赋值注入到使用完全不同类型的另一个对象中，而 TypeScript 不会显示任何错误。

一个例子是：

interface Pizza {
    cookingTime: number;
    size: "Small" | "Medium" | "Large";
}

interface Car {
    modelName: string;
    yearManufactured: number;
}

const produceMalformedPizza = (car: Car): Pizza => {
    return {
        ...car, // This is not a "Pizza" object but no errors are raised
        cookingTime: 10,
        size: "Small",
    }
}

console.log(
    produceMalformedPizza({
        modelName: "NotAPizza",
        yearManufactured: 1980
    })
)

/* Output:
[LOG]: {
  "modelName": "NotAPizza",
  "yearManufactured": 1980,
  "cookingTime": 10,
  "size": "Small"
} 
*/

我已尝试打开所有可能的严格标志 — 你可以看到它正在编译 online here。

如果我尝试在 produceMalformedPizza 函数中返回任何特定属性，那么编译器会如预期的那样引发错误 — 但似乎我可以使用解构（扩展）赋值注入任意对象数据。

我对 TypeScript 比较陌生，所以也许这是预期的行为？ IE。我不能使用具有推断类型安全性的对象传播解构？

编辑：

根据@T.J.Crowder 的回答，这是故意的。

• 这里有一些关于这个问题的 GitHub 讨论：https://github.com/microsoft/TypeScript/issues/43499，
• 还有一个支持“精确”类型的提案：https://github.com/microsoft/TypeScript/issues/12936

Answer 1

这是预期的行为。您要返回的对象是Pizza 的子类型——它具有Pizza 需要的所有属性（加上一些它不需要的属性）。

TypeScript 确实会进行“过多的属性检查”，但仅限于有限的情况。例如，如果您要在该对象字面量中显式放置一个非Pizza 属性，TypeScript 会标记它不是因为从类型角度来看它实际上是错误的（使用子类型很好），而是因为它可能是 一个程序员的错误。

我有点惊讶它不会对 ...car 执行此操作（因为 car 具有必需的属性），但它不会在所有情况下都进行过多的属性检查。