Swift中如何为泛型变量使用非具体类型？

这个问题在Swift里挺常见的——泛型类型的参数确实要求是具体类型，不能直接用协议作为类型参数（比如Bar<Foo>这种写法）。除了你试过的手动让Bar子类实现新协议的方法，还有几个更灵活的解决方案，根据你的项目场景来选：

1. Swift 5.7+：直接用any关键字（最便捷） #

Swift 5.7引入了**存在类型（Existential Type）**的语法，用any关键字标记协议，就可以直接把协议作为泛型参数使用，不需要额外包装。

protocol Foo {}

class Bar<T: Foo> {}

class A {
    var some: Bar<any Foo>! // 现在不再报错
}

// 使用示例
struct ConcreteFoo: Foo {}
let a = A()
a.some = Bar<ConcreteFoo>()

这种方案几乎零成本，只要你的项目能升级到Swift 5.7或更高版本，这是首选方案。

2. 把类A改成泛型类（最简洁的兼容方案） #

如果A的使用场景允许它成为泛型类，直接让A的类型参数继承自Foo，就能自然地约束some的类型：

protocol Foo {}

class Bar<T: Foo> {}

class A<T: Foo> {
    var some: Bar<T>! // 完全符合泛型约束，无报错
}

// 使用示例
struct ConcreteFoo: Foo {}
let a = A<ConcreteFoo>()
a.some = Bar<ConcreteFoo>()

这个方案不需要额外的包装类，逻辑也最清晰，适合A本身就和具体的Foo实现绑定的场景。

3. 类型擦除（Type Erasure）：兼容旧版本Swift的通用方案 #

如果你需要兼容Swift 5.7以下的版本，或者A不能做成泛型，类型擦除是最通用的解决方案。我们可以创建一个包装类，把任意Bar<T: Foo>的行为统一包装起来：

protocol Foo {}

// 先定义Bar需要对外暴露的接口协议
protocol BarProtocol {
    // 这里添加Bar类需要对外提供的方法/属性
    func performAction()
}

// 让Bar实现这个接口
class Bar<T: Foo>: BarProtocol {
    func performAction() {
        print("执行针对\(T.self)的操作")
    }
}

// 类型擦除的包装器
class AnyBar: BarProtocol {
    private let _performAction: () -> Void

    // 初始化时接受任意Bar<T>，捕获它的方法
    init<T: Foo>(_ bar: Bar<T>) {
        _performAction = bar.performAction
    }

    // 统一实现接口方法
    func performAction() {
        _performAction()
    }
}

// 现在A可以直接用AnyBar作为类型
class A {
    var some: AnyBar!
}

// 使用示例
struct ConcreteFoo: Foo {}
let a = A()
a.some = AnyBar(Bar<ConcreteFoo>())
a.some.performAction() // 输出：执行针对ConcreteFoo的操作

这种方案只需要写一次包装类，所有符合Foo的具体类型的Bar都能转换成AnyBar，比手动给每个Bar子类加协议实现要高效得多。

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