Swift协议中定义计算属性再扩展实现是否必要？二者差异解析

两种写法的核心区别 #

写法一：协议定义属性要求 + 扩展提供默认实现 #

protocol DashboardTargetInfo: TargetInfo {
    var apiVersion: Int { get }
}

extension DashboardTargetInfo {
    var apiVersion: Int {
        5
    }
}

• apiVersion是协议的强制要求，所有遵循DashboardTargetInfo的类型必须满足这个属性约定——可以直接复用扩展的默认实现，也可以自行重写。
• 当通过协议类型（如let target: DashboardTargetInfo = ConcreteType()）访问apiVersion时，会触发动态派发：如果具体类型重写了该属性，会调用重写后的版本；否则使用扩展的默认实现。

写法二：仅通过协议扩展添加属性 #

protocol DashboardTargetInfo: TargetInfo {}

extension DashboardTargetInfo {
    var apiVersion: Int {
        5
    }
}

• apiVersion不属于协议的要求，只是协议扩展给所有遵循类型附加的计算属性。
• 访问该属性时是静态派发：哪怕具体类型重写了apiVersion，只要把实例当作协议类型来访问，依然会调用扩展里的默认实现；只有当实例被当作具体类型时，才会执行重写后的逻辑。

是否需要在协议中提前定义？ #

完全取决于你的需求：

• 如果需要让遵循协议的类型可以重写该属性，并且在协议类型下能正确调用重写后的版本，必须在协议中提前定义apiVersion。
• 如果只是想给所有遵循类型添加一个默认的、不需要动态多态的属性，不需要在协议中定义，直接通过扩展添加即可。

二者的关键差异总结 #

• 协议约束：写法一对遵循类型有强制属性要求，写法二则无。
• 派发机制：写法一支持动态派发，写法二仅支持静态派发。
• 重写有效性：写法一中具体类型的重写在协议类型下生效，写法二中仅在具体类型下生效。
• 类型检查：写法一中apiVersion属于协议的一部分，能被编译器作为协议成员进行类型检查；写法二中该属性不属于协议成员，无法通过协议类型的接口直接约束其存在（除非显式转为具体类型）。

内容的提问来源于stack exchange，提问作者Paweł Brewczynski