尽管传递了一个右值,为什么我的移动构造函数没有被调用?

Despite passing an rvalue, why isn't my move constructor getting called?

我通过定义默认、复制和移动构造函数创建了一个 class 字符串。我尝试创建期望调用每个构造函数的对象。正如预期的那样,调用了默认和复制构造函数,但是当我传递一个右值(临时对象)时,我仍然看到未调用移动构造函数。

#include <iostream>
#include <cstdlib>
#include <cstring>

class string
{
    char * data;
public:
    string(const char * p = nullptr)
    {
        if(p == nullptr) return;
        std::cout << "string(const char * p)" << std::endl;
        size_t size = strlen(p) + 1;
        data = new char[size];
        memcpy(data, p, size);
    }
    ~string()
    {
        std::cout << "~string() - " << data << std::endl;
        delete[] data;
    }
    string(const string & that)
    {
        std::cout << "string(const string &)" << std::endl;
        size_t size = strlen(that.data) + 1;
        data = new char[size];
        memcpy(data, that.data, size);
    }
    string(string && that)
    {
        std::cout << "string(string && )" << std::endl;
        data = that.data;
        that.data = nullptr;
    }
    void showData() { std::cout << data << std::endl; }
    string operator+(const string & other)
    {
        size_t datasize = strlen(data);
        size_t othersize = strlen(other.data);
        size_t totalsize = datasize + othersize + 1;
        char * sData = new char[totalsize];
        memcpy(sData, data, strlen(data));
        memcpy(sData+datasize, other.data, totalsize-datasize);
        string s(sData);
        delete[] sData;
        return s;

    }
    string & operator=(string that)
    {
        char * tmp = data;
        data = that.data;
        that.data = tmp;
        return *this;
    }
};

int main()
{
    string s1{"Whosebug"};  // s1
    string s2{s1};               // s2
    string s3{string("stack")+string("exchange")};  // s3
}

s1默认构造函数 正在按预期调用。

s2 处:复制构造函数 被调用,同样符合预期。

s3:我正在传递一个临时对象。因此,我希望调用 move constructor,但会调用 default constructor

我无法理解我错过了什么。请帮忙,谢谢。

您已将 data 定义为 char *

string(string && that)
{
    std::cout << "string(string && )" << std::endl;
    data = that.data;
    that.data = nullptr;
}

表示移动构造函数中 data 的 "copy" 不是深拷贝。

编辑:现在,没关系,因为您可以 "gut" 右值,但是,当它析构函数时,您可以使用 nullptr:

当你打电话时

std::cout << "~string() - " << data << std::endl;

在析构函数中,数据为空,您有未定义的行为。什么事都有可能发生。

确实,它的行为与您在 GCC 和 Clang 中所说的一样,但是移动构造函数是使用 VC++ 调用的。看起来像一个错误,那么您应该使用 std::move().

明确移动