Swift中如何为Array<Double>实现自定义VectorArithmetic协议方法？

你遇到的问题源于Swift的协议扩展优先级规则：针对具体类型的条件扩展优先级高于协议的条件扩展。你之前用where Self == Array<Double>扩展VectorArithmetic的方式，优先级低于已有的Array where Element: VectorArithmetic通用扩展，因此专属实现无法生效。

正确的做法是直接针对Array<Double>编写扩展，在其中重写或实现协议方法，具体步骤如下：

1. 编写Array的专属扩展 #

直接扩展Array并限定元素为Double，在这个扩展里实现专属的协议方法：

// Array<Double>专属扩展
extension Array where Element == Double {
    // 重写VectorArithmetic的zero属性
    public static var zero: Array<Double> {
        // 自定义专属zero实现，比如返回空数组或固定长度的零数组
        []
    }
    
    // 重写加法运算符
    public static func + (lhs: Array<Double>, rhs: Array<Double>) -> Array<Double> {
        guard lhs.count == rhs.count else {
            fatalError("Arrays must be of the same length")
        }
        // 专属加法逻辑，比如更高效的逐元素计算
        return zip(lhs, rhs).map { $0 + $1 }
    }
    
    // 重写减法运算符
    public static func - (lhs: Array<Double>, rhs: Array<Double>) -> Array<Double> {
        guard lhs.count == rhs.count else {
            fatalError("Arrays must be of the same length")
        }
        return zip(lhs, rhs).map { $0 - $1 }
    }
    
    // 实现复合赋值运算符
    public static func += (lhs: inout Array<Double>, rhs: Array<Double>) {
        lhs = lhs + rhs
    }
    
    public static func -= (lhs: inout Array<Double>, rhs: Array<Double>) {
        lhs = lhs - rhs
    }
}

2. 生效原因 #

Swift的方法查找优先级顺序为：

• 类型本身的具体实现
• 针对该类型的条件扩展（如上述Array where Element == Double）
• 协议的条件扩展（如你之前尝试的VectorArithmetic where Self == Array<Double>）

因此，当调用Array<Double>的协议方法时，Swift会优先选择专属扩展中的实现，而非通用扩展。

注意事项 #

• 若通用扩展已实现协议方法，专属扩展需显式重写这些方法，确保专属逻辑被触发。
• 专属实现需严格遵循VectorArithmetic和AdditiveArithmetic的协议规范，比如满足运算的交换律、结合律等要求。

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