C ++ / CLI：如何重载运算符以接受引用类型？

TL; DR版本：

对于托管代码，请使用%按引用传递参数，而不是&

您的诊断并不完全正确。拳击与您的问题无关。但是引用类型确实可以做到。

当您说“我发现错误来自操作数是引用类型”时，您真的很接近。好吧，操作数是一个值类型，而不是引用类型。但是，当操作数存储在引用类型内部时会发生错误，因为该操作数位于垃圾收集的堆中（放置引用类型的所有实例）。这适用于数组以及包含值类型成员的您自己的对象。

危险在于，当垃圾收集器运行时，它可以在gc堆上移动项目。这会破坏本机指针（*）和引用（&），因为它们存储地址并希望其永远保持不变。为了解决此问题，C ++ / CLI提供了跟踪指针（^）和跟踪引用（%），它们与垃圾回收器一起工作以完成两件事：

• 确保在使用封闭对象时未释放它
• 如果垃圾收集器移动了封闭对象，则找到新地址

要在C ++ / CLI中使用，可以operator+像普通C ++一样使它成为非成员。

value class c_Location
{
public:
    double x, y, z;
    c_Location (double i_x, double i_y, double i_z) : x(i_x), y(i_y), z(i_z) {}

    c_Location% operator+= (const c_Location% i_locValue)
    {
        x += i_locValue.x;
        y += i_locValue.y;
        z += i_locValue.z;
        return *this;
    }
};

c_Location operator+ (c_Location left, const c_Location% right)
{
    return left += right;
}

缺点是C＃不会使用非成员，为了与C＃兼容，请像非成员运算符（带有两个显式操作数）一样编写它，但使其成为公共静态成员。

value class c_Location
{
public:
    double x, y, z;
    c_Location (double i_x, double i_y, double i_z) : x(i_x), y(i_y), z(i_z) {}

    c_Location% operator+= (const c_Location% i_locValue)
    {
        x += i_locValue.x;
        y += i_locValue.y;
        z += i_locValue.z;
        return *this;
    }

    static c_Location operator+ (c_Location left, const c_Location% right)
    {
        return left += right;
    }
};

operator+=由于C＃仍然无法识别它，因此没有理由担心，它将使用operator+并将结果分配回原始对象。

对于诸如double或的原始类型int，您可能会发现还需要使用它%，但前提是您需要引用该原始类型的实例存储在托管对象中：

double d;
array<double>^ a = gcnew darray<double>(5);
double& native_ref = d; // ok, d is stored on stack and cannot move
double& native_ref2 = a[0]; // error, a[0] is in the managed heap, you MUST coordinate with the garbage collector
double% tracking_ref = d; // ok, tracking references with with variables that don't move, too
double% tracking_ref2 = a[0]; // ok, now you and the garbage collector are working together