问TypeScript通过对象析构允许不正确的属性
EN

Stack Overflow用户

提问于 2021-11-25 11:37:59

回答 1查看 65关注 0票数 3

我在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"
} 
*/

我试着打开所有可能的严格标志--您可以看到它正在编译在线这里。

如果我试图返回produceMalformedPizza函数中的任何特定属性，那么编译器就会像预期的那样引发错误--但是我似乎可以使用析构(扩展)赋值注入任意对象数据。

我对TypeScript比较陌生，所以这也许是预期的行为？也就是说，我不能使用具有推断式安全性的物体展开破坏吗？

编辑：

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

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

typescript

回答 1

Stack Overflow用户

回答已采纳

发布于 2021-11-25 11:46:06

这是预期的行为。您返回的对象是Pizza的一个子类型，它具有Pizza所需的所有属性(另外一些属性不是)。

TypeScript确实做了“超额财产检查”，但只在有限的情况下。例如，如果要将非Pizza属性显式地放置在该对象文本中，TypeScript会将其标记出来，这并不是因为从类型角度来看它实际上是错误的(使用子类型很好)，而是因为它可能是程序员的错误。

我有点惊讶它没有在...car中这样做(因为car需要属性)，但是它没有在所有情况下进行过多的属性检查。

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/70110432

复制

相似问题

问TypeScript通过对象析构允许不正确的属性
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问TypeScript通过对象析构允许不正确的属性EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问TypeScript通过对象析构允许不正确的属性
EN