Swift中AnyComparable继承AnyEquatable泛型签名不兼容初始化报错如何解决

你触发的编译报错：

被重写的初始化方法'init'的泛型签名为C where C: Comparable，与父类方法的泛型签名E where E: Equatable不兼容，要求泛型签名应为C where C: Equatable

报错根本原因 #

Swift 方法重载判定不纳入泛型约束作为识别条件，仅通过参数标签、参数类型、返回值类型确认方法签名。父类init<E: Equatable>(_ value: E)与子类init<C: Comparable>(_ value: C)的参数标签（无外部标签）、入参结构完全一致，编译器会默认判定子类初始化器属于对父类初始化器的重写。
由于Comparable作为Equatable子协议，子类初始化器的泛型约束比父类更严格，不符合重写的类型兼容性要求（重写方法必须兼容父类方法的所有入参场景），因此触发报错。

疑问对应解答 #

为什么未加override关键字仍被判定为重写 #

初始化器的有效签名已完全匹配父类实现，Swift 会自动识别为重写行为，与是否手动添加override关键字无关，未主动添加override反而会额外触发重写未标记的错误提示。

如何让子类仅使用自定义初始化器，不继承父类初始化器 #

可在子类中通过@available(*, unavailable)标记父类初始化器，显式禁用该方法在子类的调用，此时子类不会自动继承父类的初始化方法。

符合逻辑的继承设计为什么报错，如何修复 #

报错是语法层面的签名识别冲突导致，与继承设计的合理性无关，可通过以下两种方案修复：

方案1：区分子类与父类的初始化器签名

给子类初始化器新增唯一的外部参数标签，避免签名冲突：

public class AnyEquatable: Equatable {
    public let value: Any
    private let equals: (Any) -> Bool

    public init<E: Equatable>(_ value: E) {
        self.value = value
        self.equals = { $0 as? E == value }
    }

    public static func == (lhs: AnyEquatable, rhs: AnyEquatable) -> Bool {
        lhs.equals(rhs.value) || rhs.equals(lhs.value)
    }
}

public class AnyComparable: AnyEquatable, Comparable {
    private let compares: (Any) -> Bool
    // 新增外部标签comparable，与父类初始化器签名区分
    public init<C: Comparable>(comparable value: C) {
        super.init(value)
        self.compares = { ($0 as? C).map { $0 < value } ?? false }
    }

    public static func < (lhs: AnyComparable, rhs: AnyComparable) -> Bool {
        // 原有||逻辑存在错误，会导致双向小于判定同时成立，移除即可
        lhs.compares(rhs.value)
    }
}

方案2：显式禁用父类初始化器

如果不需要修改初始化器调用方式，可直接在子类中标记父类初始化器不可用：

public class AnyEquatable: Equatable {
    public let value: Any
    private let equals: (Any) -> Bool

    public init<E: Equatable>(_ value: E) {
        self.value = value
        self.equals = { $0 as? E == value }
    }

    public static func == (lhs: AnyEquatable, rhs: AnyEquatable) -> Bool {
        lhs.equals(rhs.value) || rhs.equals(lhs.value)
    }
}

public class AnyComparable: AnyEquatable, Comparable {
    private let compares: (Any) -> Bool
    // 显式禁用父类初始化器
    @available(*, unavailable, message: "AnyComparable only accepts Comparable type values")
    public override init<E : Equatable>(_ value: E) {
        fatalError("This initializer is disabled")
    }

    public init<C: Comparable>(_ value: C) {
        super.init(value)
        self.compares = { ($0 as? C).map { $0 < value } ?? false }
    }

    public static func < (lhs: AnyComparable, rhs: AnyComparable) -> Bool {
        lhs.compares(rhs.value)
    }
}

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