Swift泛型与协议结合问题：继承AnyObject的协议无法适配泛型类？

这个问题其实戳中了Swift中协议类型和泛型约束的一个关键细节——虽然你的协议SomeProtocol继承了AnyObject，要求所有遵循它的类型都是类，但协议类型本身并不是AnyObject。让我拆解一下具体原因和解决办法：

先还原你的代码场景 #

假设你的代码大概是这样的：

// 带AnyObject约束的泛型Weak类
class Weak<T: AnyObject> {
    weak var value: T?
    init(value: T) {
        self.value = value
    }
}

// 继承自AnyObject的协议
protocol SomeProtocol: AnyObject {}

// 遵循协议的类
class SomeClass: SomeProtocol {}

// 报错的函数
func makeWeak(for object: SomeProtocol) -> Weak<SomeProtocol> {
    return Weak(value: object) // 编译器报错：'SomeProtocol' is not convertible to 'AnyObject'
}

为什么会报错？ #

Swift中的协议类型（比如SomeProtocol这里作为参数类型）是一种存在类型（existential type），它本质是一个包装了遵循该协议的实例的容器，而不是类实例本身。哪怕协议标记了: AnyObject，这个存在类型本身并不满足AnyObject的约束——AnyObject要求的是具体的类实例类型，而不是协议的存在类型。

简单说：SomeProtocol协议要求遵循它的是类，但SomeProtocol这个类型本身不是类，所以无法被传入要求T: AnyObject的Weak<T>初始化器。

为什么移除AnyObject约束后能运行？ #

当你把Weak<T>的约束<T: AnyObject>去掉后，泛型参数T可以接受任意类型，包括协议的存在类型。这时候Weak的初始化器不再要求传入的是AnyObject类型，所以SomeProtocol类型的参数可以正常传入。

不过这里要注意：如果你的Weak类里的value是用weak修饰的，那移除AnyObject约束后其实会新报错（因为weak只能修饰类类型），所以推测你移除约束的同时可能也去掉了weak修饰符，或者调整了实现，这才让代码正常运行。

正确的解决办法：用泛型参数约束替代直接使用协议类型 #

不要直接把协议类型SomeProtocol作为Weak的泛型参数，而是给函数添加一个泛型参数，让它同时遵循SomeProtocol（自动满足AnyObject，因为协议继承了AnyObject）：

func makeWeak<T: SomeProtocol>(for object: T) -> Weak<T> {
    return Weak(value: object)
}

// 使用示例
let myClass = SomeClass()
let weakRef = makeWeak(for: myClass) // 完全正常，T被推断为SomeClass

这里的T是具体的类类型（比如SomeClass），它既遵循SomeProtocol，又是AnyObject，完美符合Weak<T>的约束。

额外补充：如果一定要返回Weak<SomeProtocol>？ #

如果你的业务场景必须返回Weak<SomeProtocol>，可以通过类型擦除实现一个AnySomeProtocol类来包装遵循SomeProtocol的实例：

class AnySomeProtocol: SomeProtocol {
    private weak var base: SomeProtocol?
    init(base: SomeProtocol) {
        self.base = base
    }
}

func makeWeak(for object: SomeProtocol) -> Weak<AnySomeProtocol> {
    return Weak(value: AnySomeProtocol(base: object))
}

不过这种方式需要额外的包装层，一般推荐用前面的泛型函数方案，更简洁且类型安全。

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