在Array扩展中实现泛型排序函数：如何避免强制类型转换？

问题根源 #

你的扩展函数引入了不必要的独立泛型T，导致数组元素类型Element与优先级数组类型T之间缺乏类型约束。编译器无法确认Element可以安全转换为T，因此只能依赖强制类型转换（as! T），这既破坏了类型安全，也不符合Swift的设计原则。

对比独立函数：独立函数的泛型T同时约束了输入数组和优先级数组的类型，两者始终保持一致，因此可以直接调用firstIndex(of:)，无需任何类型转换。

修正方案（推荐） #

移除函数级别的泛型T，直接使用扩展约束的Element类型作为优先级数组的元素类型，确保类型完全匹配：

extension Array where Element : Equatable {
    func highestPriority(priority: [Element]) -> Element? {
        let sorted = sorted { lhs, rhs in
            guard let lhsIdx = priority.firstIndex(of: lhs),
                  let rhsIdx = priority.firstIndex(of: rhs) else {
                return false
            }
            return lhsIdx < rhsIdx
        }
        return sorted.first
    }
}

// 调用示例
public enum Jobs: String, Codable {
    case wash = "Wash"
    case dry = "Dry"
    case wax = "Wax"
}

let priorities: [Jobs] = [.wash, .dry, .wax]
let jobs: [Jobs] = [.wax, .wash, .dry]
let priority = jobs.highestPriority(priority: priorities) // 返回 .wash

逻辑说明 #

• 扩展本身已经通过where Element : Equatable约束了数组元素类型，因此优先级数组直接使用[Element]即可保证类型一致性。
• lhs和rhs作为数组元素（Element类型），可以直接传入priority.firstIndex(of:)，无需任何类型转换，完全符合Swift的类型安全要求。

可选方案（显式类型关联） #

如果需要保留函数泛型的写法，可以通过where子句显式约束Element与T相等，效果与上述方案一致：

extension Array {
    func highestPriority<T: Equatable>(priority: [T]) -> T? where Element == T {
        let sorted = sorted { lhs, rhs in
            guard let lhsIdx = priority.firstIndex(of: lhs),
                  let rhsIdx = priority.firstIndex(of: rhs) else {
                return false
            }
            return lhsIdx < rhsIdx
        }
        return sorted.first
    }
}

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