String 做了什么我没有做的事情？ c++11

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 时崩溃，甚至没有进入 operator

编辑：修复了 new int 与 new int[] 错误。谢谢n.m。

Answer 1

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

空字符串是正常可用的字符串。 std::string 代码中没有未经检查的空指针取消引用。

您必须确保对象的空状态是可用的。首先定义一个默认构造函数。这对你的课有意义吗？如果不是，那么移动语义可能也不会。如果是，则移动构造函数中的已移动对象可能最终处于与默认构造对象相同的状态。移动赋值可以充当交换操作，因此右侧可能最终为空或不为空。

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