协议与继承：父类如何访问子协议属性并强制子类实现？

我正在构建一个Swift框架，要求新的类实例必须继承自基类Vehicle，同时遵循协议VehicleProtocol。其中Vehicle仅用于继承，不能直接实例化，也绝不能遵循VehicleProtocol。

需要达成以下目标：

• 新的车辆类必须能访问父类的共享方法（继承自Vehicle）
• 新的车辆类必须具备vehicleName字符串属性（遵循VehicleProtocol）
• 新的车辆类初始化时自动调用父类方法，无需在子类中重写或手动调用

现有示例代码存在问题：父类startEngine()方法无法访问子类实现的vehicleName属性：

protocol VehicleProtocol: Vehicle {
    var vehicleName: String { get }
}

class Vehicle: NSObject {
    
    override init() {
        super.init()
        self.startEngine()
    }

    func someSharedMethod() {}
    
    private func startEngine() {
        // 无法访问 vehicleName
        print("Starting engine for \(vehicleName)...")
    }
}

class Truck: Vehicle, VehicleProtocol {

    var vehicleName: String = "My Truck"

    func someUniqueMethod() {}
}

期望初始化Truck实例时，输出：

let vehicle = Truck()
// 输出：Starting engine for My Truck...

补充说明：以下代码接近需求，但我希望确保创建新车辆类时必须实现vehicleName属性，协议似乎能很好地实现这一点，有没有更优方案？

class Vehicle: NSObject {
    
    var vehicleName: String {
        return ""
    }

    override init() {
        super.init()
        startEngine()
    }

    func startEngine() {
        guard !vehicleName.isEmpty else {
            // 处理错误
            return
        }
        print("Starting engine for \(vehicleName)...")
    }
}

class Truck: Vehicle {

    override var vehicleName: String {
        return "My Truck"
    }
}

可以通过协议约束+父类实例化限制的方式实现，既保证子类必须实现vehicleName，又能让父类在初始化时访问到该属性，同时严格限制Vehicle不能直接实例化。

优化代码： #

// 定义协议，明确要求必须实现vehicleName
protocol VehicleProtocol {
    var vehicleName: String { get }
}

// 基类限制外部直接实例化，仅允许子类继承使用
class Vehicle: NSObject {
    // 将初始化器设为fileprivate，禁止外部直接创建Vehicle实例
    fileprivate override init() {
        super.init()
        startEngine()
    }
    
    func someSharedMethod() {}
    
    private func startEngine() {
        // 强制转换为VehicleProtocol，结合框架设计约束确保转换安全
        guard let vehicle = self as? VehicleProtocol else {
            fatalError("所有Vehicle子类必须遵循VehicleProtocol协议")
        }
        print("Starting engine for \(vehicle.vehicleName)...")
    }
}

// 子类必须同时继承Vehicle并遵循VehicleProtocol，否则编译器报错
class Truck: Vehicle, VehicleProtocol {
    var vehicleName: String = "My Truck"
    
    func someUniqueMethod() {}
}

// 测试代码
let truck = Truck()
// 输出：Starting engine for My Truck...

方案说明： #

• 强制子类实现vehicleName：VehicleProtocol明确要求所有子类必须提供vehicleName属性，编译器会直接报错提醒未实现的子类，比父类提供空默认值的方式更严格，避免遗漏。
• 父类安全访问子类属性：在startEngine()中，将self转换为VehicleProtocol类型——因为框架设计要求所有子类必须遵循该协议，正常使用下转换不会失败；若有人违反规则，fatalError会给出明确错误提示，方便调试。
• 禁止父类直接实例化：把Vehicle的初始化器设为fileprivate，外部代码无法直接创建Vehicle实例，确保它只能被继承使用。
• 自动触发父类逻辑：父类的init方法中自动调用startEngine()，子类只需继承并实现协议，无需额外重写或手动调用父类方法，初始化逻辑完全由父类接管。

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