Swift中通过泛型传递协议遵循类型失效问题排查与修复

1. 泛型参数的编译期限制：Swift的泛型是编译期确定的机制，Computer<T>中的T必须在编译阶段明确具体类型，但循环里的value是运行时才会赋值的变量，属于动态类型，编译器无法将其识别为合法的泛型参数，因此报错“Cannot find type 'value' in scope”。
2. 元类型的运行时特性：[P.Type]数组存储的是遵循协议P的类型元类型实例，这些元类型只有在运行时才会被遍历到，而泛型参数要求编译期就能确定类型，两者的生命周期不匹配。

方案一：调整Computer的泛型设计，改为接收类型参数 #

把Computer的泛型结构体改为带泛型参数的静态方法，直接接收P.Type类型的参数，适配运行时动态类型的传入：

import Foundation

protocol P {
    static func instance() -> Self
}

struct A: P {
    static func instance() -> A {
        A()
    }
}

struct B: P {
    static func instance() -> B {
        B()
    }
}

struct Computer {
    // 改为接收类型参数的泛型方法
    static func compute<T: P>(_ type: T.Type) -> T {
        type.instance()
    }
}

let someArray: [P.Type] = [A.self, B.self]

for value in someArray {
    let instance = Computer.compute(value)
    print(instance)
}

方案二：利用协议扩展直接实现compute逻辑 #

既然compute本质是调用instance()，可以直接给协议P扩展默认的compute方法，省去Computer结构体的中间层，逻辑更简洁：

import Foundation

protocol P {
    static func instance() -> Self
}

// 给协议扩展添加compute默认实现
extension P {
    static func compute() -> Self {
        instance()
    }
}

struct A: P {
    static func instance() -> A {
        A()
    }
}

struct B: P {
    static func instance() -> B {
        B()
    }
}

let someArray: [P.Type] = [A.self, B.self]

for value in someArray {
    // 直接通过元类型调用compute方法
    let instance = value.compute()
    print(instance)
}

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