如何从派生类中禁用移动构建基类？

Question

在以下代码中，我想从派生类vectormap 中禁用基类的移动构建，并调用复制构造函数。

#include <iostream>
#include<algorithm>

struct Vector{
    int* _ptr=nullptr;
    int _size=0;
    Vector(int n){
      _ptr = new int[n];
      _size = n;
      std::cout<< " Construct "<<this<<std::endl;
    }

    Vector(void) { std::cout <<" Construct " << this << std::endl; }

    virtual ~Vector(void) {
      if (_ptr != nullptr) {
        std::cout << "Deconstruct " << this << " -> delete " << _ptr << std::endl;
        delete _ptr;
        return;
      }
      std::cout << "Deconstruct " << this << std::endl;
    }

    Vector(Vector&& v2) noexcept {
        int* p2=v2._ptr; int s2=v2._size;
        v2._ptr=_ptr;
        v2._size=_size;
        _ptr=p2; _size=s2;
        std::cout << "Move construct " << this << std::endl;
    }

    Vector(const Vector& v3){
        _ptr=new int[v3._size];
        _size=v3._size;
        memcpy(_ptr,v3._ptr,sizeof(int) * _size);
    }
};

struct VectorMap
    : public Vector {
        VectorMap(int* p,int size){
            _ptr=p;
            _size=size;
        }
        ~VectorMap(void) override {
            _ptr=nullptr; _size=0;
        }
};

int main(void) {
    Vector v1(10);
    Vector v2=VectorMap(v1._ptr,5);  // v1._ptr will be deleted twice 
    return sizeof(v2);
}

如您所见，如果在行vector v2 = vectormap（v1._ptr，5）;中调用move构造函数，则v1 v1中的数据指针将被删除两次，一个是v2，另一个是v1。由于他们共享相同的指针。有什么方法可以修改vectormap在这种情况下调用复制构造函数而不是移动构造函数？

Answer 1

主要问题是泥泞的所有权语义。

vector创建一个资源（动态数组），显然旨在对其拥有独特的所有权。

vectormap另一方面，将指针在其构造函数中取指针，并将其授予其基本vector获得所有权。但是，就在破坏之前，vectormap通过设置基本vector指针将所有权撤销。因此，vectormap假装拥有资源为止，直到该为此重新降低所有权的责任为止。

这种继承也导致其他问题情况。例如，考虑制作vectormap的副本。查看基础复制构造函数的作用。它为复制品分配内存。但是vectormap副本的命令器将指针设置为null，因此在这种情况下，指针被删除零次。它泄漏了内存。

就像一个类比一样，禁用切片是伤口的绷带，但您真正应该做的就是不要将手伸入跑步的搅拌机中。如果VectorMap应该没有所有权，则它不应继承获得所有权的基础。我还不清楚vectormap类的意义是什么。

此外，具有对资源（例如vector）的独特所有权的类，确实应该将其用私人访问说明符封装。当然，此类类有时仍然提供一种复制或丢弃该值的方法（例如std :: vector :: data and std :: simolor_ptr :: repartion_ptr :: Release），但是重要的是，只有通过特定功能才能减少意外违反所有权语义的机会。

---

另一个严重的错误：

_ptr=new int[v3._size];
// ...
delete _ptr;

您不能删除一个指向动态数组的指针。您必须使用delete []。使用delete导致未定义的行为。

---

另一个错误：您忘了包括声明memcpy的标头。另外，我建议您改用std ::复制。