Swift：如何在泛型类中定义适配所有类型的嵌套枚举？

首先直接给结论：可以实现，但需要根据嵌套枚举是否依赖泛型参数来选择不同的方案。

你的问题核心在于：泛型类的嵌套枚举默认会和外部泛型类型绑定，编译器要求你指定具体的泛型参数才能引用它。但如果这个枚举并不依赖外部的泛型参数T，我们有几种办法让它适配所有泛型类型：

方案一：将枚举移出泛型类（最清晰的选择） #

如果枚举的定义完全不需要用到泛型类的T，那最直接的方式就是把它移到泛型类外面，这样它就变成了一个独立的顶层枚举，协议里可以直接引用，不需要任何泛型参数：

// 顶层枚举，不依赖任何泛型
enum MyEnum {
    case caseA, caseB
}

class MyClass<T> {
    var myEnum: MyEnum
    
    init(myEnum: MyEnum) {
        self.myEnum = myEnum
    }
}

protocol MyProtocol {
    var myEnum: MyEnum { get }
}

// 让泛型类遵守协议
extension MyClass: MyProtocol {}

这种方式代码最简洁，可读性也最高，推荐优先使用。

方案二：用非泛型基类承载枚举（保持嵌套结构） #

如果你希望枚举依然保持“嵌套在类中”的结构，可以先定义一个非泛型的基类，把枚举放在基类里，再让泛型类继承这个基类：

// 非泛型基类，承载枚举
class MyBaseClass {
    enum MyEnum {
        case caseA, caseB
    }
}

// 泛型类继承基类
class MyClass<T>: MyBaseClass {
    var myEnum: MyEnum
    
    init(myEnum: MyEnum) {
        self.myEnum = myEnum
    }
}

protocol MyProtocol {
    // 直接引用基类的枚举，不需要泛型参数
    var myEnum: MyBaseClass.MyEnum { get }
}

extension MyClass: MyProtocol {}

这样枚举依然属于类的嵌套结构，同时协议引用时不需要指定泛型参数，所有MyClass<T>的实例都能遵守协议。

方案三：利用Never类型绑定泛型参数（保持在泛型类内嵌套） #

如果一定要把枚举嵌套在泛型类内部，且枚举不依赖T，可以利用Swift的一个特性：当嵌套类型不使用外部泛型参数时，所有MyClass<T>.MyEnum都是同一个类型。这时候我们可以用MyClass<Never>.MyEnum作为协议中的类型（Never是Swift的空类型，不会对枚举产生任何影响）：

class MyClass<T> {
    // 枚举不依赖T
    enum MyEnum {
        case caseA, caseB
    }
    
    var myEnum: MyEnum
    
    init(myEnum: MyEnum) {
        self.myEnum = myEnum
    }
}

protocol MyProtocol {
    // 用Never作为泛型参数，引用枚举
    var myEnum: MyClass<Never>.MyEnum { get }
}

// 泛型类遵守协议时，因为MyClass<T>.MyEnum和MyClass<Never>.MyEnum是同一个类型，所以可以直接实现
extension MyClass: MyProtocol {}

这种方式可以保持枚举在泛型类内的嵌套结构，同时让协议适配所有MyClass<T>的实例。

关键注意点 #

如果你的嵌套枚举需要依赖泛型参数T（比如枚举的关联值用到了T），那它就不可能适配所有泛型类型了，因为此时MyClass<Int>.MyEnum和MyClass<String>.MyEnum是完全不同的类型，协议无法同时兼容这两种类型。

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