Swift中为何协议要求的base类型属性无法用sub协议类型实现？

为什么会报错？ #

Swift的协议类型约束是严格匹配的：SomeProtocol明确要求属性a的类型必须是base本身，哪怕sub遵循了base协议，它和base依然是两个不同的类型。编译器只会检查属性类型是否完全符合协议定义，不会自动将子协议类型视为父协议类型的合法替代——这是因为Swift默认不支持协议属性的协变，必须显式处理类型匹配问题。

可行解决方案 #

方案1：用关联类型改造协议 #

修改SomeProtocol，通过关联类型让实现者自行指定符合base的具体类型，既满足协议约束，又支持子协议类型：

protocol base {}
protocol sub: base {}

protocol SomeProtocol {
    associatedtype A: base
    var a: A { get }
}

struct SomeStruct: SomeProtocol {
    var a: sub // 直接使用sub类型，满足A遵循base的要求
}

方案2：通过计算属性包装兼容 #

如果不想修改原协议，可以在结构体内部用私有属性存储sub类型的值，再通过符合协议要求的计算属性对外暴露：

protocol base {}
protocol sub: base {}

protocol SomeProtocol {
    var a: base { get }
}

struct SomeStruct: SomeProtocol {
    private let _internalA: sub
    var a: base {
        return _internalA
    }
    
    init(a: sub) {
        self._internalA = a
    }
}

内容的提问来源于stack exchange，提问作者Oven.V