Swift中使用any Protocol类型时如何访问其associatedType属性值

带关联类型的协议属于泛型协议，当你用any ChildProtocol声明变量时，编译器无法确定parent属性的具体类型——虽然所有实现都保证parent遵循ParentProtocol，但每个实现的anyParent关联类型可以是不同的具体类型（比如另一个Parent2: ParentProtocol），存在类型any ChildProtocol无法统一这个类型，因此编译器不允许直接访问关联类型属性。

方案1：移除关联类型，直接使用协议类型 #

如果你的场景不需要依赖parent的具体类型，只是需要它遵循ParentProtocol，可以直接把协议中的parent属性类型改为any ParentProtocol，去掉关联类型：

protocol ChildProtocol {
    var parent: any ParentProtocol { get set }
}

class Child: ChildProtocol {
    // 实现时可以用具体类型，对外自动转为协议类型
    var parent: any ParentProtocol = Parent()
    // 或者如果需要保留具体类型的访问，可以这样写：
    // private var _parent = Parent()
    // var parent: any ParentProtocol {
    //     get { _parent }
    //     set { _parent = newValue as! Parent }
    // }
}

class Test {
    var child: (any ChildProtocol)? = Child()
    
    func call() {
        if let parent = child?.parent { // 现在可以正常编译
            // parent的类型是any ParentProtocol，可以调用协议定义的方法
        }
    }
}

方案2：使用泛型约束替代存在类型 #

如果必须保留关联类型（比如需要在具体实现中使用parent的具体类型），可以给Test类添加泛型约束，明确child的具体类型：

class Test<T: ChildProtocol> {
    var child: T? = Child() as? T
    
    func call() {
        if let parent = child?.parent {
            // parent的类型是T.anyParent，是遵循ParentProtocol的具体类型
            // 可以直接使用该类型的专属方法
        }
    }
}

// 使用时指定具体类型
let test = Test<Child>()
test.call()

方案3：添加类型擦除的计算属性 #

如果既要保留关联类型，又要支持通过存在类型访问parent，可以给协议添加一个返回any ParentProtocol的计算属性，并通过扩展提供默认实现：

protocol ChildProtocol {
    associatedtype anyParent: ParentProtocol
    var parent: anyParent { get set }
    var erasedParent: any ParentProtocol { get set }
}

extension ChildProtocol {
    var erasedParent: any ParentProtocol {
        get { parent }
        set {
            // 注意：这里的转换需要保证newValue确实是anyParent类型，否则会崩溃
            guard let typedParent = newValue as? anyParent else {
                fatalError("Invalid parent type")
            }
            parent = typedParent
        }
    }
}

class Test {
    var child: (any ChildProtocol)? = Child()
    
    func call() {
        if let parent = child?.erasedParent { // 通过erasedParent访问
            // parent的类型是any ParentProtocol
        }
    }
}

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