为什么协议中的属性不能在不实现它们的类中自动合成？

Question

我认为编译器在技术上可以检测到一个类没有实现协议的所有属性并确定未实现的属性，因此它应该能够自动合成它们。

它只是一个尚未实现的功能，或者是否有充分的理由不这样做呢？

Answer 1

因为协议基本上是API一致性合同。而已。 通过声明符合正式协议，您承诺在协议中实现所需的部分。 您将提供一致的界面，但实现由您决定。