Ios 通过在SWIFT中不起作用的泛型传递协议一致性类型

发布于02月13日

我有一个需求，其中我有多个符合protocolP的struct，稍后我通过Computer struct 收集并执行像compute()这样的方法，这有助于创建每个符合类型的实例

为什么以下代码不能运行，需要进行哪些更改才能运行:

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<T: P> {
    
    static func compute() -> T {
        T.instance()
    }
}

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

for value in someArray {
    Computer<value>.compute() // ERROR: Cannot find type 'value' in scope
}

推荐答案

如果将类型作为变量传递给compute，则不需要泛型约束:

struct Computer {
    static func compute(with anyP: P.Type) -> P {
        anyP.instance()
    }
}

或者，如果得到的compute类型不应显式为P，则可以将泛型约束放入方法中:

struct Computer {
    static func compute<T: P>(with anyP: T.Type) -> T {
        anyP.instance()
    }
}

然后像这样拨打compute:

for value in someArray {
    let instance = Computer.compute(with: value)
    instance.doSomething()
}

这假设P具有方法doSomething.如果要访问特定于A的方法，则需要键入CAST.最后，instance对于编译器来说始终是P，因为它必须假设对someArray(即P.Type)内的任何值都将执行相同的代码.无论compute返回P，还是显式返回T，如果您像这样把它放在循环中，instance仍然会被推断为P.