实现泛型协议触发编译器错误，求助排查解决

嘿，我来帮你搞定这个Swift泛型协议的编译错误问题～你的代码里的核心矛盾在于带关联类型的协议不能直接作为存储属性的类型，哪怕你加了where约束也不行，Swift编译器没办法处理这种“存在类型”的存储逻辑。

问题根源拆解 #

你定义的ChildPresenter是继承自PresenterProtocol的协议，虽然通过where View == ChildProtocol约束了关联类型，但它本质上还是一个带关联类型的协议。而在A类中，你直接把presenter声明为ChildPresenter?——Swift不允许这么做，因为编译器无法确定这个协议的具体实现类型，也就没法推断对应的内存布局，自然会抛出编译错误。

两种可行的解决方案 #

方案一：使用类型擦除（Type Erasure）

创建一个类型擦除的结构体来包装ChildPresenter，把协议的存在类型转换成具体的可存储类型：

protocol BaseProtocol {
    associatedtype PresenterType
    var presenter: PresenterType? { get set }
}
protocol PresenterProtocol {
    associatedtype View
    var view: View? { get set }
}
protocol ChildPresenter: PresenterProtocol where View == ChildProtocol { }
protocol ChildProtocol: BaseProtocol where PresenterType == AnyChildPresenter { }

// 类型擦除结构体，包装ChildPresenter
struct AnyChildPresenter: PresenterProtocol {
    private let _getView: () -> ChildProtocol?
    private let _setView: (ChildProtocol?) -> Void
    
    var view: ChildProtocol? {
        get { _getView() }
        set { _setView(newValue) }
    }
    
    init<P: ChildPresenter>(_ presenter: P) {
        _getView = { presenter.view }
        _setView = { presenter.view = $0 }
    }
}

class A: ChildProtocol {
    var presenter: AnyChildPresenter?
}

// 使用示例
class ConcreteChildPresenter: ChildPresenter {
    var view: ChildProtocol?
}

let demoPresenter = ConcreteChildPresenter()
let demoA = A()
demoA.presenter = AnyChildPresenter(demoPresenter)

这种方案适合需要隐藏具体Presenter类型、保持代码灵活性的场景。

方案二：让A类泛型化（更简洁直接）

把A类改成泛型类，用泛型参数来指定具体的Presenter类型，避开直接使用带关联类型的协议作为存储属性：

protocol BaseProtocol {
    associatedtype PresenterType
    var presenter: PresenterType? { get set }
}
protocol PresenterProtocol {
    associatedtype View
    var view: View? { get set }
}
protocol ChildPresenter: PresenterProtocol where View: ChildProtocol { }
protocol ChildProtocol: BaseProtocol { }

// 泛型化A类，约束泛型参数遵循ChildPresenter
class A<P: ChildPresenter>: ChildProtocol {
    var presenter: P?
}

// 使用示例
class ConcreteChildPresenter: ChildPresenter {
    var view: ChildProtocol?
}

let demoA = A<ConcreteChildPresenter>()
demoA.presenter = ConcreteChildPresenter()

这种方案更简单，适合你明确知道要使用的Presenter具体类型的场景，代码可读性也更高。

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