Question

我还是c ++的新手，所以请耐心等待。

我试图更多地了解std :: move是如何工作的，我看到了一个例子，他们使用std :: move将字符串移动到另一个函数，然后使用std :: cout显示没有字符串。我觉得很酷，让我们看看我是否可以自己上课并做同样的事情：

#include <iostream>
#include <string>

class integer
{
private:
    int *m_i;
public:
    integer(int i=0) : m_i(new int{i})
    {
        std::cout << "Calling Constructor\n";
    }

    ~integer()
    {
        if(m_i != nullptr) {
            std::cout << "Deleting integer\n";
            delete m_i;
            m_i = nullptr;
        }
    }

    integer(integer&& i) : m_i(nullptr)  // move constructor
    {
        std::cout << "Move Constructor\n";
        m_i = i.m_i;
        i.m_i = nullptr;
    }
    integer(const integer& i) : m_i(new int) {  // copy constructor
        std::cout << "Copy Constructor\n";
        *m_i = *(i.m_i);
    }
//*
    integer& operator=(integer&& i) {   // move assignment
        std::cout << "Move Assignment\n";
        if(&i != this) {
            delete m_i;
            m_i = i.m_i;
            i.m_i = nullptr;
        }
        return *this;
    }
    integer& operator=(const integer &i) {   // copy assignment
        std::cout << "Copy Assignment\n";
        if(&i != this) {
           m_i = new int;
           *m_i = *(i.m_i);
        }
       return *this;
    }
    int& operator*() const { return *m_i; }
    int* operator->() const { return m_i; }

    bool empty() const noexcept {
       if(m_i == nullptr) return true;
       return false;
    }

    friend std::ostream& operator<<(std::ostream &out, const integer i) {
       if(i.empty()) {
           std::cout << "During overload, i is empty\n";
           return out;
       }
    out << *(i.m_i);
    return out;
    }
};

void g(integer i) { std::cout << "G-wiz - "; std::cout << "The g value is " <<  i << '\n'; }
void g(std::string s) { std::cout << "The g value is " << s << '\n'; }

int main()
{
    std::string s("Hello");

    std::cout << "Now for string\n";
    g(std::move(s));
    if(s.empty()) std::cout << "s is empty\n";
    g(s);
    std::cout << "\nNow for integer\n";
    integer i = 77;
    if(!i.empty()) std::cout << "i is " << i << '\n';
    else std::cout << "i is empty\n";
    g(i);
    std::cout << "Move it\n";
    g(std::move(i));  // rvalue ref called
    if(!i.empty()) std::cout << "i is " << i << '\n';
    else std::cout << "i is empty\n";
    g(i);

    return 0;
}

这是我的输出：

Now for string
The g value is Hello
s is empty
The g value is

Now for integer
Calling Constructor
Copy Constructor
i is 77
Deleting integer
Copy Constructor
G-wiz - Copy Constructor
The g value is 77
Deleting integer
Deleting integer
Move it
Move Constructor
G-wiz - Copy Constructor
The g value is 77
Deleting integer
Deleting integer
i is empty
Copy Constructor

Process returned 255 (0xFF)   execution time : 7.633 s
Press any key to continue.

正如您所看到的，它在第二次进入g时崩溃，甚至从未进入运算符＆lt;＆lt;（）函数。怎么可以将空的std :: string s传递给g我的空整数我崩溃程序？

编辑：修复了新的int与新的int []错误。谢谢你。

Answer 1

您的“空整数”会使程序崩溃，因为它包含空指针。当您在作业的右侧使用它时，您试图取消引用它。

空字符串是普通的可用字符串。 std::string代码中没有未经检查的空指针解除引用。

您必须确保对象的空状态是可用的。首先定义一个默认构造函数。你的班级有意义吗？如果没有，那么移动语义可能也不会。如果是，移动构造函数中的移动对象应该最终处于与默认构造对象相同的状态。移动分配可以作为交换操作，因此右侧可能最终为空或无。

如果您不想为您的类定义可用的空状态，并且仍然想要移动语义，则在移动对象后，您根本无法使用该对象。您仍然需要确保空对象是可破坏的。

String我做了什么，我没做什么？ C ++ 11

1 个答案: