如何获得与协议父级的条件协议一致性？

Question

我有以下设置：

protocol Resource : Codable {}

class A<T> {}

extension A where T : Codable {
    func doThingWithCodable() {}
}

let a = A<Resource>()

a.doThingWithCodable()
//Error: Protocol type 'Resource' cannot conform to Codable because
//only concrete types can conform to protocols.

我了解错误消息，并且阅读了许多关于泛型、协议和条件一致性的问答。我有许多符合Resource 协议的类，所以如果有办法让A<Resource> 知道它将始终使用符合Codable 的具体类型，那将非常方便，所以我仍然可以拥有A<Resource> 的一个实例，并且该实例可以访问其条件Codable 方法。我确实考虑过创建一个像A<Codable> 这样的实例，但我也需要Resource 协议中的一些属性。

除了为每个符合Resource 的具体类型创建一个A 的新实例之外，还有什么快速的方法可以解决这个问题吗？

Answer 1

提出的问题是，“我怎样才能使有条件的协议符合协议的父级？”是没有意义的，因为一个协议总是符合它的父协议；没有“条件”。

至于您的实际代码，问题在于短语A<Resource>。说 A<Resource> 不是 A 的 T 的正确解析。您需要将 T 解析为类、结构或枚举——而不是协议。

比如你有一个符合Resource的B类，你可以声明

let a = A<B>()

一切都很好。

如果有办法让A<Resource> 知道它将始终使用符合Codable 的具体类型

好吧，正如我所说，只要 A 使用 确实 符合 Codable 的具体类型，您的代码就可以正常编译。因此，如果这就是 A 将一直使用的东西，那就没有什么可做的了。您当然可以告诉 A 它的 T 将始终符合 Resource（根据定义，它始终符合 Codable）：

class A<T:Resource> {}

Answer 2

想一想：

let a = A<Resource>()

此语句试图创建类A 的实例并将其分配给a。编译器不知道这个资源到底是什么，它应该分配多少内存以及它应该运行什么优化；因为这里的Resource 可以是任何东西。

要解决这个问题，您需要提供更多信息，即您已经知道的信息。

struct CoffeeResouce: Resource {
    let isWarm: Bool
}

现在当你写这个时：

let a: A<CoffeeResource> = A()

编译器对类型及其内存要求非常了解。这是一种解决方法。

或者通过声明类永久告诉类T符合协议。

class A<T: Resource> {}