如何在静态类中静态覆盖/创建运算符 *

Question

您好，我想为数组操作写一些扩展，例如：

矩阵产品

public static double[][] operator *(double[][] matrixA, double[][] matrixB)

MatrixVectorProduct

public static double[] operator *(double[][] matrix, double[] vector)

还有更多

我为什么要这个？因为您可能知道目前在 c# 中实现了非此类操作，如果我可以说 matrixC = matrixA * matrixB; 而不是 matrixC = MatrixProduct(matrixA,matrixB);，那感觉更自然，那么有没有办法做到这一点？

因为如果我这样做：

public static class ArrayExtension
{
    public static double[] operator *(double[][] matrix, double[] vector)
    {
        // result of multiplying an n x m matrix by a m x 1 column vector (yielding an n x 1 column vector)
        int mRows = matrix.Length; int mCols = matrix[0].Length;
        int vRows = vector.Length;

        if (mCols != vRows)
            throw new InvalidOperationException("Non-conformable matrix and vector in MatrixVectorProduct");

        double[] result = new double[mRows]; // an n x m matrix times a m x 1 column vector is a n x 1 column vector

        Parallel.For(0, mRows, i =>
        {
            var row = matrix[i];
            for (int j = 0; j < mCols; ++j)
                result[i] += row[j] * vector[j];
        });

        return result;
    }
}

一个异常告诉我我不能将一个静态类和一个用户定义的运算符结合起来，所以有解决办法吗？

Answer 1

如果operator * 的操作数之一是用户定义类型，则只能重载它，所以很遗憾答案是否定的。

来自MSDN：

在自定义类上重载运算符需要创建一个方法 在具有正确签名的班级上。方法必须命名 "operator X" 其中 X 是操作员的名称或符号 超载。一元运算符只有一个参数，二元运算符 有两个参数。 在每种情况下，一个参数必须是同一类型 作为声明操作符的类或结构 [...]

因此，您必须要么在表达式中包含自定义 Matrix 类，要么使用接受 double[] 参数的适当方法。