如何使右值在 c++ 中表现得像左值引用？

问：

我目前正在用C++编写一个简单的代数库。该库有一个类，定义如下：Matrix

template<typename T>
class Matrix {
private:
    size_t n, m;
    T **const tab;

public:
    Matrix(const size_t n, const size_t m);
    Matrix(const Matrix&);
    ~Matrix(void);

    RowVector<T> operator[](const int i);
    const RowVector<T> operator[](const int i) const;

    ...
};

该代码很智能，它不仅允许您访问矩阵的某些特定元素（例如），而且还允许您用作向量。M[2][3]M[2]

但是，作为优化，数据不会复制到向量中。 通过指向内存内部的 .如果调用每次都会构造一个新的向量，那么访问一个矩阵元素将是非常无效的。Vectoroperator[]Matrixoperator[]

这也使得分配矩阵元素成为可能，如下所示：

M[5][7] = 12;

但是，我对这个解决方案有两个问题：

1. 返回值 是右值，不能像这样设置矩阵的整行：operator[]

Matrix M(2, 3);
RowVector v(3);

M[0] = v;

2. 当我输入这样的内容时：

v = M[7];

我想调用 's copy 构造函数，而不是 move 构造函数。但是 的返回值是一个右值，编译器将调用它的移动构造函数。RowVectoroperator[]

综上所述：

RowVector是一个右值，但它包含指向 的内部数据的指针，我希望将其视为左值引用。Matrix

这在 C++ 中可能吗？如果没有，有人可以建议对此代码进行一些重构以实现我想要的吗？

编辑：

RowVector声明：

template<typename T>
class Vector {
protected:
    const size_t len;
 
    T *const tab;
    bool malloced;
 
public:
    Vector(const size_t len);
    Vector(T *const tab, const size_t len);
    virtual ~Vector(void);
 
    T &operator[](const int i);
    const T &operator[](const int i) const;
};
 
template<typename T>
class RowVector : public Vector<T> {
public:
    RowVector(const size_t len);
    RowVector(T *const tab, const size_t len);
    ~RowVector(void) override;
 
    template<typename U> friend
    std::ostream &operator<<(std::ostream&,
                 const RowVector<U>&);
};

Vector定义：

template<typename T>
Vector<T>::Vector(const size_t len) :
    len(len),
    tab(new T[len]),
    malloced(true)
{
}
 
template<typename T>
Vector<T>::Vector(T *const tab, const size_t len) :
    len(len),
    tab(tab),
    malloced(false)
{
}
 
template<typename T>
Vector<T>::~Vector(void)
{
    if (malloced)
        delete tab;
}
 
template<typename T>
T &Vector<T>::operator[](const int i)
{
    return tab[i];
}
 
template<typename T>
const T &Vector<T>::operator[](const int i) const
{
    return tab[i];
}

Matrix<T>::operator[]():

template<typename T>
RowVector<T> Matrix<T>::operator[](int i)
{
    return RowVector(tab[i], m);
}

template<typename T>
const RowVector<T> Matrix<T>::operator[](int i) const
{
    return RowVector(tab[i], m);
}