如何在 Swift 中检查与关联类型的协议的一致性？

Question

当我想检查一个类型是否符合简单协议时，我可以使用：

if let type = ValueType.self as? Codable.Type {}

当协议有关联类型时，例如RawRepresentable有RawValue，当我这样做时：

if let type = ValueType.self as? RawRepresentable.Type {}

编译器会显示如下错误：

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

那么如何检查关联类型与协议的一致性呢？

Answer 1

TL;DR
编译器没有足够的信息来比较类型直到关联类型被设置。

---

当你提到简单协议时，编译器从一开始就知道它的类型。 但是，当您使用 关联类型 引用协议时，编译器在您声明它之前并不知道它的类型。

protocol ExampleProtocol {
    associatedtype SomeType
    func foo(param: SomeType)
}

此时编译器看起来像这样：

protocol ExampleProtocol {
    func foo(param: <I don't know it, so I'll wait until it's defined>)
}

当你声明一个符合协议的类时

class A: ExampleProtocol {
    typealias SomeType = String
    func foo(param: SomeType) {

    }
}

编译器开始看到它是这样的：

protocol ExampleProtocol {
    func foo(param: String)
}

并且那么它可以比较类型。