Swift技术疑问：仅类协议无法满足泛型AnyObject类型约束

为什么Foo<Bar>会报错？ #

你定义的Foo<T: AnyObject>要求泛型参数T是具体的引用类型（类类型）。而Bar是仅类协议，当你直接传入Bar作为泛型参数时，Swift会将其解析为协议类型本身——协议类型并不是一个类类型，因此不符合T: AnyObject的约束，导致报错。

即使在Swift 5.7+引入any关键字后，直接写Foo<Bar>依然会被视为协议类型，而非代表符合Bar的类实例的存在类型，因此还是会触发错误。

解决方法 #

根据你的使用场景，有两种可行的处理方式：

方式一：调整泛型约束为遵循Bar协议 #

由于Bar已经继承自AnyObject，只要泛型参数遵循Bar，就自动满足类类型要求。修改Foo的定义：

protocol Bar: AnyObject {}
struct Foo<T: Bar> {}

// 定义一个符合Bar的具体类
class MyClass: Bar {}

// 使用具体类作为泛型参数（兼容所有Swift版本）
let foo1 = Foo<MyClass>()

// Swift 5.7+ 支持直接使用any Bar作为泛型参数
let foo2 = Foo<any Bar>()

方式二：保留原Foo定义，使用具体类或标注any #

如果不想修改Foo的泛型约束：

• 只能传入具体的类类型（比如自定义的符合Bar的类），不能直接传入协议类型。
• 在Swift 5.7+中，可以通过any明确标注存在类型，让编译器识别它符合AnyObject约束：

struct Foo<T: AnyObject> {}
protocol Bar: AnyObject {}
class MyClass: Bar {}

// 正确：使用具体类
let foo1 = Foo<MyClass>()
// Swift 5.7+ 正确：使用any Bar标注存在类型
let foo2 = Foo<any Bar>()

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