c++ - 使用 std::vector 移动和复制语义

Question

如何控制使用哪个构造函数/赋值运算符将元素插入到 std::vector 类中？我试图通过删除我想避免使用的构造函数/赋值来做到这一点

#include<iostream>
#include<vector>
using namespace std;

class copyer{
    double d;
public:
    //ban moving
    copyer(copyer&& c) = delete;
    copyer& operator=(copyer&& c) = delete;
    //copy construction
    copyer(const copyer& c){
        cout << "Copy constructor!" << endl;
        d = c.d;
    }
    copyer& copy(const copyer& c){
        cout << "Copy constructor!" << endl;
        d = c.d;
        return *this;
    }
    //Constructor
    copyer(double s) : d(s) { }
    double fn(){return d;}
};

class mover{
    double d;
public:
    //ban copying
    mover(const mover& c) = delete;
    mover& operator=(const mover& c) = delete;
    //move construction
    mover(mover&& c){
        cout << "Move constructor!" << endl;
        d = c.d;
    }
    mover& copy(mover&& c){
        cout << "Move constructor!" << endl;
        d = c.d;
        return *this;
    }
    //Constructor
    mover(double s) : d(s) { }
    double fn(){return d;}
};

template<class P> class ConstrTests{
    double d;
    size_t N;
    std::vector<P> object;
public:
    ConstrTests(double s, size_t n) : d(s) , N(n) {
        object.reserve(N);
        for(int i = 0; i<N; i++){
            object.push_back(P((double) i*d));
        }
    }
    void test(){
        int i = 0;
        while(i<N){
            cout << "Testing " <<i+1 << "th object: " << object.at(i).fn();
            i++;
        }
    }
};

编译运行时

size_t N = 10;
double d = 4.0;
ConstrTests<mover> Test1 = ConstrTests<mover>(d,N);
Test1.test();

我没有问题，但如果我试试

size_t N = 10;
double d = 4.0;
ConstrTests<copyer> Test1 = ConstrTests<copyer>(d,N);
Test1.test();

我在编译时遇到错误，指出我正在尝试使用已删除的 move 构造函数。

Answer 1

如果从 copyer 中删除这些行

//ban moving
copyer(copyer&& c) = delete;
copyer& operator=(copyer&& c) = delete;

然后代码可以正常编译并按预期工作，即 std::vector<copyer>使用复制构造函数和 std::vector<mover>使用移动构造函数。

您已声明 copyer的移动构造函数并将其定义为已删除。这意味着 copyer::copyer(copyer&& c)参与重载决议，但如果选择代码格式错误。来电object.push_back(P((double) i*d));触发此调用。

为什么删除上面的行可以解决问题？

在旧的 C++98 中，如果我们不声明一个复制构造函数，编译器会为我们声明并实现一个。在 C++11 中，这个规则发生了一点变化。如果用户声明了移动构造函数，编译器将不会隐式定义复制构造函数。 (关于这个主题还有更多内容，但对于本次讨论，这就足够了。)类似地，如果我们不声明移动构造函数，编译器将隐式为我们定义一个，除非我们声明(例如)复制构造函数。

现在，删除上面的行后，copyer将有一个用户声明复制构造函数购买而不是移动构造函数。那么，您和编译器都不会声明移动构造函数。在这种情况下，object.push_back(P((double) i*d));将触发对复制构造函数的调用。请注意，如果我们使用 C++98 兼容的编译器进行编译，将会发生这种情况。在这种情况下，向后兼容性成立并且旧代码不会中断。