Swift中如何遵循两个含同名不同类型属性的协议

问题核心 #

当两个协议定义了同名但类型不同的output属性时，直接让类同时遵循会触发冲突；即使让OutputA继承OutputB，也因为Swift协议要求属性类型精确匹配（InputB要求的是OutputB?，而类中定义的OutputA?是其子类型，编译器不认为这满足协议要求），导致无法通过编译。

可行解决方案 #

方案1：显式拆分协议实现（通过Extension区分） #

为类添加一个内部存储属性，然后分别通过Extension实现两个协议的output属性，利用类型转换适配不同协议的类型要求：

// 基础协议与类型定义
protocol OutputB {
    func dummyFuncB()
}

protocol OutputA: OutputB {
    func dummyFuncA()
}

protocol InputA {
    var output: OutputA? { get set }
}

protocol InputB {
    var output: OutputB? { get set }
}

// 实现类
class Example: InputA {
    // 内部存储实际的OutputA实例
    private var _internalOutput: OutputA?
    
    // 满足InputA的属性要求
    var output: OutputA? {
        get { _internalOutput }
        set { _internalOutput = newValue }
    }
}

// 通过Extension单独实现InputB的要求，避免同名冲突
extension Example: InputB {
    var output: OutputB? {
        get { _internalOutput }
        set {
            // 将InputB传入的OutputB类型转换为OutputA后存储
            _internalOutput = newValue as? OutputA
        }
    }
}

这种方式无需修改原有协议结构，逻辑清晰，完全贴合协议的原始定义。

方案2：优化AssociatedType的使用（正确添加约束） #

你之前尝试用associatedtype的方向是对的，问题出在没有显式指定关联类型的具体类型。调整后可以让默认实现无需强制转换：

// 基础协议与类型定义
protocol OutputB {
    func dummyFuncB()
}

protocol OutputA: OutputB {
    func dummyFuncA()
}

protocol InputA {
    var output: OutputA? { get set }
}

// 给InputB添加关联类型并约束为OutputB
protocol InputB {
    associatedtype Output: OutputB
    var output: Output? { get set }
    func dummyInputB()
}

// 给InputB添加默认实现，此时output已被约束为OutputB类型，可直接调用方法
extension InputB {
    func dummyInputB() {
        output?.dummyFuncB()
    }
}

// 实现类，显式指定InputB的关联类型为OutputA
class Example: InputA, InputB {
    // 明确告知编译器InputB的Output类型是OutputA，满足约束要求
    typealias Output = OutputA
    
    var output: OutputA?
}

该方案既满足了两个协议的要求，又能在InputB的默认实现中直接使用output调用OutputB的方法，无需强制转换，类型安全性更高。

思路复盘 #

你最初的问题在于：

1. 误以为子类型属性可以直接满足父类型的协议要求，但Swift协议对属性类型是精确匹配的；
2. 使用associatedtype并添加约束后，没有显式指定关联类型的具体类型，导致编译器无法推断出类满足协议约束。

两种方案可根据实际场景选择：如果不能修改原有协议结构，选方案1；如果允许调整协议定义，方案2的代码更简洁且类型安全。

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