如何在不违反 C++ 中的 DRY 原则的情况下实现可移动重载？

Question

在我的一些类中实现方法和运算符重载以利用 C++ 中的右值引用时，我经常编写一些设计不佳的代码，违反了 DRY 原则。下面的代码 sn-p 有什么更好的选择？ （这段代码只是为了说明问题）

class matrix_2_2
{
    int _m[2][2];

public:

    matrix_2_2 operator*(const matrix_2_2& m) const &
    {   
        matrix_2_2 res;
        for(int i = 0 ; i < 2 ; i ++)
            for(int j = 0 ; j < 2 ; j++)
                for(int k = 0 ; k < 2 ; k++)
                    res._m[i][j] = (res._m[i][j] + _m[i][k]*m._m[k][j]);

        return res;
    }

    matrix_2_2 operator*(matrix_2_2&& m) &&
    {
        matrix_2_2 res;
        for(int i = 0 ; i < 2 ; i ++)
            for(int j = 0 ; j < 2 ; j++)
                for(int k = 0 ; k < 2 ; k++)
                    res._m[i][j] = (res._m[i][j] + _m[i][k]*m._m[k][j]);

        return move(res);
    }

这段代码在实现细节中出现了很多重复，我想封装逻辑并在不同的重载中重用它，而不会因为右值到左值的隐式转换而失去可移动的优势。

Answer 1

更好的选择是完全删除右值限定的operator*，只保留一个operator*，这个：

    matrix_2_2 operator*(const matrix_2_2& m) const;

您的类是一个 POD - 在这种情况下，移动和复制之间没有区别，因此利用移动语义对您来说没有任何好处。您在代码复杂性方面获得了提升，但在性能方面却没有。如果this 是& 或&&，你的代码应该做什么确实没有逻辑上的区别...

还有，这个：

matrix_2_2 operator*(matrix_2_2&& m) &&
{
    matrix_2_2 res;
    ...
    return std::move(res);
}

这不是正确的写法，因为最后一个move 使得无法进行命名的返回值优化，所以你正在为类似的代码做一个额外的move：

matrix_2_2 product = some_matrix() * some_other_matrix();

而不是简单地在product 中就地构造res。