移动语义：为什么在移动的实例上调用析构函数并且这是一个问题？

Question

我正在赶上现代C ++，练习移动语义。

我做了一个非常简单的测试用例：

• 创建一个实例
• move - 构造一个新实例

我注意到当我的实例被销毁时，两个析构函数都被调用：

• 移动构造的实例之一，其中数据是有效指针
• 原始实例之一，数据指针被删除，移动时设置为nullptr

删除nullptr的代码让我感到不舒服，以下是问题：

• 是（删除nullptr）甚至是一个有效的操作（即这会导致UB;它最终会崩溃我的应用程序）？
• 或者我的move-constructor / move-assignment运算符定义错了？
• 我发现这个similar question，但它仍然不清楚，特别是如果删除nullptr是一个问题。我应该通过检查析构函数中的指针来避免这种情况吗？如果是这样，感觉使用移动语义会导致一种系统的错误行为。

我的测试输出（代码如下）是：

Test 5
        new 0x7512b0
        move_new 0x7512b0
        delete[] 0x7512b0
        delete[] 0

删除[] 0输出是研磨我的齿轮。

这是主要的：

#include <iostream>
#include "test5.h"
int main()
{
    std::cout << "Test 5" << std::endl;

    test5 rule5;
    test5 rule5move = std::move(rule5);
    // rule5 = std::move(rule5move);

    return 0;
}

这是test5.h：

#ifndef TEST5_H
#define TEST5_H

class test5
{
public:
    test5(): data(new float[10]){
        std::cout << "\tnew " << data << std::endl;
        for (int i = 0; i < 10; i++)
            data[i] = float(i);
    }

    ~test5(){
        std::cout << "\tdelete[] " << data << std::endl;
        delete[] data;
    }

    // copy constructor
    test5(const test5& t) : data(new float[10]){
        std::cout << "\tcopy " << data << std::endl;
        std::copy(t.data, t.data + 10, data);
    }

    // copy operator
    test5& operator=(const test5& t){
        std::cout << "\tassign " << data << std::endl;
        std::copy(t.data, t.data + 10, data);
        return *this;
    }

    // move constructor
    test5(test5&& t): data(new float[10]){
        delete[] data;
        data = t.data;
        std::cout << "\tmove_new " << data << std::endl;
        t.data = nullptr;
    }
    // move operator
    test5& operator=(test5&& t){
        delete[] data;
        data = t.data;
        std::cout << "\tmove_assign " << data << std::endl;
        t.data = nullptr;
        return *this;
    }

private:
    float* data;
};

#endif // TEST5_H

Answer 1

是（删除nullptr）甚至是一个有效的操作（即这会导致UB;它最终会崩溃我的应用程序）？

删除nullptr是一个无操作。这是有效的。根据在线CPP reference：

如果expression求值为空指针值，则不调用析构函数，并且不调用释放函数。

我相信你的移动构造函数和移动赋值运算符是不正确的。为什么还要使用原始指针？

如果你正在追赶现代C ++（正如你所提到的），你应该使用smart pointers。