Swift编译器提示‘Type 'M' does not conform to protocol 'C'’的原因是什么？

这是个非常典型的Swift协议一致性问题，核心卡在方法参数的类型兼容性规则上，咱们先把你的代码摆出来看清楚：

protocol A {}
protocol B: A {}
protocol C {
    func test(x: A)
}
class M: C {
    func test(x: B) {}
}

问题根源：协议契约的“全覆盖”要求 #

协议C给所有遵守它的类型定了一个明确规则：你必须实现一个test(x: A)方法，这个方法必须能接受任何符合A协议的实例——不管是B，还是以后可能定义的其他A的子协议/实现类（比如protocol D: A {}或者class X: A {}）。

但你的M类里的test(x: B)只接受符合B协议的实例，这直接违反了协议C的契约：如果有人尝试把M当成C来用（比如let c: C = M()），然后传入一个仅符合A、不符合B的实例，M的test方法根本处理不了这个参数，编译器会提前拦截这种潜在的错误。

补充：Swift里的函数类型兼容性逻辑 #

这里涉及到函数类型的协变/逆变规则：

• 协议C要求的方法类型是(A) -> Void（接受任意A类型参数）
• 你在M里实现的是(B) -> Void（只接受B类型参数）
  这两个函数类型完全不兼容——只有当实现方法能接受比协议要求更宽泛的参数类型时（比如协议要求B，你用A），才符合规则；反过来，接受子类型的函数无法覆盖父类型的所有场景，自然不符合协议要求。

两种可行的修复方案 #

方案1：严格遵守协议参数类型，内部做类型校验

把M的test方法参数改成A，然后在方法内部检查参数是否为B类型，再做后续处理：

class M: C {
    func test(x: A) {
        guard let bInstance = x as? B else {
            // 处理参数不是B的情况，比如抛出错误、打印提示或者直接返回
            print("参数不符合B类型要求")
            return
        }
        // 在这里处理bInstance的业务逻辑
    }
}

方案2：给协议添加关联类型，让参数类型更灵活

如果你的业务场景中，C的实现类只需要处理特定的A子类型，可以给C添加关联类型，让协议更具针对性：

protocol C {
    associatedtype InputType: A
    func test(x: InputType)
}
class M: C {
    typealias InputType = B
    func test(x: B) {}
}

注意：带关联类型的协议不能直接作为独立的类型使用（比如不能写let c: C），只能作为泛型约束来用，比如func useC<T: C>(instance: T) {}。

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