c++ - 为什么我的代码中没有调用 move 构造函数？

Question

#include <iostream>
#include<algorithm>

template<class T>
class Matrix {
    std::pair<unsigned int,unsigned int> dim;
    T* elem;
public:
    Matrix(unsigned int d1, unsigned int d2) :
        dim{std::make_pair(d1,d2)}, elem{new T[d1*d2]} { }

    unsigned int size() const { return (dim.first)*(dim.second); }

    Matrix(Matrix&& a){
        std::cout<<"move constructor";
        elem = a.elem;
        a.elem =nullptr;
        dim.first = a.dim.first+7;
        dim.second = a.dim.second;
        a.dim.first=0;
        a.dim.second=0;
    }

    Matrix& operator=(Matrix&& a){
        std::cout<<"move operator=";
        elem = a.elem;
        a.elem =nullptr;
        dim.first = a.dim.first;
        dim.second = a.dim.second;
        a.dim.first=0;
        a.dim.second=0;
        return *this;
    }

    ~Matrix() { delete[] elem; }
};

using namespace std;

int main() {
    Matrix<unsigned int> bob = Matrix<unsigned int>(5,5);
    Matrix<unsigned int> bob2(Matrix<unsigned int>(5,5));
    return 0;
}//no output

我期待它打印“move 构造函数”和“move 运算符=”但它不打印它们。

Matrix(5,5) 没有名字所以我假定它的右值，因此我期待 Matrix<unsigned int> bob = Matrix<unsigned int>(5,5);调用 move 构造函数

Answer 1

这是一个功能。

move 优于复制，但在这种情况下，C++ 甚至可以跳过 move !它称为省略，当您像这样初始化或从函数返回时最为明显。事实上，自 C++17 以来，我认为它甚至是有保证的；在过去，这只是允许的优化。请注意，即使构造函数有副作用(例如输出)也是允许的，这对于 C++ 来说是很不寻常的。

但是您的代码没有任何问题，确实可以正确地使用 move 构造函数。否则代码将无法编译，因为仅当 move 可能已执行时才允许省略。