如果不是为了物体的安全，锈蚀会失去什么安全保障？

Question

我正在努力理解物体安全的概念。我从文档中了解到，对象的安全性是以下所述：

• 这个特性不需要Self: Sized
• 它的所有方法都是对象安全的。

如果物体安全所需的两种条件之一被丢弃，那么哪些东西可以被认为会导致安全锈蚀所做的安全保障失败？

Answer 1

来自http://huonw.github.io/blog/2015/05/where-self-meets-sized-revisiting-object-safety/

只有当编译器能够通过存储在属性对象中的vtable将每个方法作为动态函数调用来自动实现时，属性才是对象安全的。 如果没有对象安全规则，就可以编写带有特征对象满足的类型签名的函数，在这种情况下，内部元素使得不可能实际使用特征对象。

我认为，回想起来，“物体安全”一词的选择可能很糟糕，因为它似乎与记忆安全没有任何关系，即“(联合国)安全”一词在锈蚀中的正常使用。

对象“能力”可能更接近真理；一种具有通过特征对象来表示的能力的特征。