为什么带有 typealias 的协议不足以满足相关的类型要求？

Question

我知道在我的协议中使用typealias 的limitations。它阻止我做类似的事情：

protocol Provider {
    associatedtype R

    func receiveString(s: R)
}

struct ProviderManager {

    let providers: [(Provider)]
}

因为ProviderManager不知道R的类型，所以报错：

Protocol 'Provider' 只能用作通用约束，因为它具有 Self 或关联的类型要求

但是，为什么我不能引入指定关联类型的中间协议？比如：

protocol Provider {
    associatedtype R

    func receiveString(s: R)
}

protocol StringProvider: Provider {
    typealias R = String
}

struct ProviderManager {
    let providers: [(StringProvider)]
}

即使实现StringProvider 协议按预期工作，上述方法仍然不起作用：

final class MyStringProvider: StringProvider  {
    func receiveString(s: String) {
        //do something
    }
}

MyStringProvider 的上述实现有效。但我仍然不能在数组中使用StringProvider。为什么不呢？

Answer 1

您不能创建“协议”类型的变量/属性。您可以创建符合您的协议的某种类型的变量/属性（在您的情况下为数组）。试试这个：

protocol StringProvider : Provider where R == String {
}
struct StringProviderStruct : StringProvider {
    func receiveString(s: String) {
    }
}
struct ProviderManager {
    let providers: [StringProviderStruct]
}

Answer 2

Protocol 'Provider' 只能用作通用约束，因为它具有 Self 或关联的类型要求

要消除此错误，您必须以这种方式创建结构：

struct ProviderManager<P: Provider> {
    var providers: [P]
}

编辑：

你可以像这样实例化你的经理：

let manager: ProviderManager = ProviderManager(providers: [MyStringProvider()])