Swift编译报错：二元运算符'<'无法应用于两个Comparable操作数

• 定义了带关联类型的协议MyElement，约束关联类型T必须遵循Comparable，协议包含返回T的getValue()方法
• 编写MyNode类接收遵循MyElement的元素数组，在对数组做排序时编译器报错
• 报错位置为排序闭包内aT < bT一行，错误提示：binary operator '<' cannot be applied to two 'Comparable' operands

复现代码 #

protocol MyElement {
    associatedtype T : Comparable
    func getValue() -> T
}

class MyNode {
    init(elements:[any MyElement]) {
        // 尝试对元素排序
        let sortedElements = elements.sorted(by: { ( a:any MyElement, b:any MyElement ) -> Bool in
            let aT = a.getValue()
            let bT = b.getValue()
            return aT < bT
        })
    }
}

报错是Swift存在类型的类型抹除特性导致的：

• Comparable是带Self约束的协议，它定义的<运算符仅支持两个相同具体类型的实例比较，不支持跨类型比较两个遵循Comparable的异质值
• 用[any MyElement]声明数组时，数组里的元素被擦除了底层具体类型信息，编译器仅能判断aT和bT都遵循Comparable，但无法保证二者是同一个具体类型——比如数组里可以同时存在返回Int的元素和返回String的元素，二者没有默认的比较规则，编译器会直接判定比较操作不合法。

根据业务场景二选一即可：

方案1：要求所有元素返回值类型一致（类型安全，推荐） #

如果业务逻辑要求传入的所有元素返回的可比较值是同一种类型，不要用any MyElement做类型擦除，给MyNode增加泛型约束即可，编译器会在编译期保证类型一致：

class MyNode<E: MyElement> {
    init(elements: [E]) {
        // 此时E.T是统一的具体类型，遵循Comparable，可直接比较
        let sortedElements = elements.sorted { a, b in
            a.getValue() < b.getValue()
        }
    }
}

这种写法没有运行时风险，所有类型校验都在编译阶段完成，符合Swift类型安全设计特性。

方案2：支持不同返回值类型的元素混合传入 #

如果确实需要把返回不同T类型的元素放进同一个数组排序，需要手动定义跨类型的比较规则，不能依赖Comparable默认的<运算符。比如约定所有值统一转为字符串比较字典序，或者转为数值比较大小：

class MyNode {
    init(elements:[any MyElement]) {
        let sortedElements = elements.sorted(by: { a, b -> Bool in
            let aT = a.getValue()
            let bT = b.getValue()
            // 示例：统一转为字符串按字典序比较，可根据业务需求替换比较逻辑
            return String(describing: aT) < String(describing: bT)
        })
    }
}

注意这种方案需要自行处理类型转换失败、不同类型值的比较优先级等边界逻辑，编译器不会做类型安全校验。

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