String 做了哪些我没有做的事情? C++11

What does String do that I'm not doing? c++11

我对 c++ 还是个新手,所以请多多包涵。

我试图了解有关 std::move 工作原理的更多信息,我看到了一个示例,他们使用 std::move 将字符串移动到不同的函数,然后使用 std::cout 显示没有字符串了。我觉得很酷,让我们看看我是否可以自己制作 class 并做同样的事情:

#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<<() 函数。空的 std::string s 是如何传递给 g 我的空整数 i 使程序崩溃的?

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

您的 "empty integer" 使程序崩溃,因为它包含一个空指针。当您在作业的右侧使用它时,您正在尝试取消引用它。

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

您必须确保对象的空状态是可用的。从定义默认构造函数开始。这对您的 class 有意义吗?如果不是,那么移动语义可能也不是。如果是,则移动构造函数中的移出对象可能最终会处于与默认构造对象相同的状态。移动赋值可以作为交换操作,因此右侧可能为空或不为空。

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