Swift中枚举返回的协议元类型为何无法传入带协议约束的泛型函数

首先明确两个Swift类型系统的核心规则：

1. 泛型参数T的具体类型必须在编译期完全确定，调用泛型函数时，编译器要在编译阶段就确定T对应的实际类型，才能完成类型检查、代码生成等工作。你直接传FirstClass.self调用时，编译器可以直接推断出T = FirstClass，属于符合要求的具体类型，所以编译正常。
2. 你定义的protocolType属性类型是SomeProtocol.Type，这是一个存在类型（Existential Type），它只在运行时才会明确是FirstClass.Type还是SecondClass.Type，编译期编译器只知道它是「某个遵循SomeProtocol的类型的元类型」，没法确定一个唯一的、固定的具体类型来填充泛型参数T，所以会抛出类型不匹配的错误。

• 方案一：调整函数签名，直接接收存在类型，移除泛型约束
  如果你的函数逻辑不需要依赖编译期的泛型特化特性，可以直接修改函数参数为存在类型：

func doSomething(protocolType: SomeProtocol.Type) {
    // 原有逻辑不需要改动
}

修改后再传入SomeEnum.one.protocolType就可以正常编译运行。

• 方案二：在枚举内部绑定具体类型调用泛型函数
  如果必须保留泛型函数的设计，可以将调用逻辑封装在枚举内部，每个case分支直接传入对应具体类型调用：

extension SomeEnum {
    func callDoSomething() {
        switch self {
        case .one: doSomething(protocolType: FirstClass.self)
        case .two: doSomething(protocolType: SecondClass.self)
        }
    }
}
// 调用方式
SomeEnum.one.callDoSomething()

这种方式每个分支调用泛型函数时都有明确的具体类型，编译器可以完成泛型类型推断，不会出现类型错误。

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