如何为Swift协议属性设置可重写的默认值？

原有代码 #

protocol Vehicle {
    var passengerCapacity: Int { get set }
}

class Cessna: Vehicle {
    var passengerCapacity = 4
}

struct Car: Vehicle {
    var passengerCapacity = 4
}

需求 #

为Vehicle协议添加hasWheels属性，要求：

• 具备默认值true
• 允许遵守协议的类/结构体重写该属性

已尝试写法的问题 #

写法1：编译报错（语法错误） #

protocol Vehicle {
    var passengerCapacity: Int { get set }
    var hasWheels: Bool { get set } = true // 错误：行内连续声明需用分号分隔
}

写法2：编译报错（协议不允许初始值） #

protocol Vehicle {
    var passengerCapacity: Int { get set }
    var hasWheels: Bool = true // 错误：协议中不允许设置属性初始值
}

写法3：可编译但无法有效重写/修改 #

protocol Vehicle {
    var passengerCapacity: Int { get set }
    var hasWheels: Bool { get set }
}
extension Vehicle {
    var hasWheels: Bool {
        get {
            return true
        }
        set {
            // 无实际逻辑，默认实现的set无法修改值
        }
    }    
}

此写法中，扩展提供的是计算属性，默认get返回true，但set无实际操作。如果遵守协议的类型未自行实现hasWheels存储属性，调用set不会改变属性值；且值类型（如结构体）无法重写扩展中的计算属性，只能通过自行实现属性来满足协议要求。

可行实现方案 #

我们可以通过协议声明属性要求 + 扩展提供默认计算属性实现的方式，同时支持默认值和重写需求：

protocol Vehicle {
    var passengerCapacity: Int { get set }
    var hasWheels: Bool { get set } // 协议中明确属性读写要求
}

// 扩展提供默认实现
extension Vehicle {
    var hasWheels: Bool {
        get { true }
        set {
            // 默认set无操作，若需支持默认值的修改，需由遵守类型自行实现存储属性
        }
    }
}

// 示例：重写属性的类
class Cessna: Vehicle {
    var passengerCapacity = 4
    var hasWheels = false // 用存储属性重写，支持读写修改
}

// 示例：使用默认值的结构体
struct Car: Vehicle {
    var passengerCapacity = 4
    // 无需额外实现hasWheels，自动使用扩展的默认值true
    // 若需支持修改，可自行添加存储属性：var hasWheels = true
}

// 测试验证
let car = Car()
print(car.hasWheels) // 输出：true

var plane = Cessna()
print(plane.hasWheels) // 输出：false
plane.hasWheels = true
print(plane.hasWheels) // 输出：true

补充说明 #

• 对于类类型：既可以用存储属性重写协议要求，也可以用计算属性重写，灵活度高；
• 对于值类型（结构体/枚举）：若需要支持hasWheels的修改操作，必须自行实现存储属性；若仅需默认值，直接使用扩展的计算属性即可；
• 这种方案无需在每个遵守类型中手动添加属性，仅当需要修改默认值或支持读写时才需自行实现。

内容的提问来源于stack exchange，提问作者Will