泛型类使用委托协议类型时编译错误的修复方案求助

问题根源 #

当你给BaseDelegate添加AnyObject约束后，它变成了类专属协议。而any DerivedDelegate是一种「存在类型（Existential Type）」，它本身不是类类型，因此无法满足泛型参数对BaseDelegate（类协议）的约束，也不能被标记为weak（weak仅适用于类实例）。

无需移除泛型的解决方案 #

方案1：确保泛型参数传入具体类类型

避免将any XxxDelegate作为泛型参数传入BaseClass，改用实现了委托协议的具体类作为泛型参数。

示例代码：

// 定义协议（保留AnyObject约束）
protocol BaseDelegate: AnyObject {}
protocol DerivedDelegate: BaseDelegate {}

// 泛型基类（约束保持为BaseDelegate）
class BaseClass<T: BaseDelegate> {
    weak var delegate: T?
}

// 具体实现类
class ViewController: UIViewController, DerivedDelegate {}

// 正确使用方式（传入具体类作为泛型参数）
let base = BaseClass<ViewController>()
base.delegate = ViewController()

这种方式完全保留泛型的类型安全，只需修改调用BaseClass时的泛型参数，无需改动协议和基类的核心结构。

方案2：调整泛型约束的写法

如果部分场景下需要更灵活的约束，可以用where子句明确泛型参数同时满足类类型和协议要求：

protocol BaseDelegate: AnyObject {}
protocol DerivedDelegate: BaseDelegate {}

class BaseClass<T: AnyObject> where T: BaseDelegate {
    weak var delegate: T?
}

这种写法和方案1效果一致，但约束逻辑更清晰，适合协议层级复杂的场景。

方案3：兼容存在类型的折中方案（保留泛型但弱化类型安全）

如果必须使用存在类型，且希望保留泛型用于其他逻辑，可以将delegate属性改为存在类型，泛型仅用于其他业务逻辑：

class BaseClass<T: BaseDelegate> {
    weak var delegate: (any BaseDelegate)?
    // 其他依赖泛型T的逻辑保持不变
}

注意：这种方式会丢失delegate的具体类型信息，仅适合对类型安全要求较低的场景。

关键提示 #

不要试图用any DerivedDelegate作为泛型参数——存在类型本质是对符合协议的类型的抽象，不是具体的类实例，无法满足weak属性和类协议的约束。只要确保泛型参数是实现了委托协议的具体类，就能解决编译错误，同时彻底修复内存泄漏问题。

内容的提问来源于stack exchange，提问作者Bawenang Rukmoko Pardian Putra