C++ 11 新特性（七）

今天任性，想写一个自己感兴趣的问题，move 语义。

先上代码

#include <iostream>

class A {
   public:
      A() {
         std::cout << "constructor A" << std::endl;
      }
      ~A() {
         std::cout << "destructor A" << std::endl;
      }
};

A func () {
   A a;

   return std::move(a);
}

int main() {
   auto a = func();

   std::cout << "flag 1" << std::endl;

   return 0;
}

问题是打印什么？

如果没有 move 语义，我想你一定知道打印什么，现在的问题是有了 move 之后，现在你还能知道吗？

上结果，然后说下原因

constructor A
destructor A
flag 1
destructor A

move 抵消了一次 constructor， 但是却出现了两次 destructor，这个和传统 C++ 是相悖的。那么现在有问题了，由于调用了两次 destructor 如何解决资源重复释放的问题？比如我在构造函数里面 new 了一个对象，需要在析构函数里面释放，这个问题怎么解决？

C++ 使用了一个 move constructor， 这个东西有点类似 copy constructor，代码如下：

#include <iostream>

class A {
   public:
      A() {
         std::cout << "constructor A" << std::endl;
      }
      ~A() {
         std::cout << "destructor A" << std::endl;
      }

      A( A & oth) {
         std::cout << "copy constructor A" << std::endl;
      }

      A(A && oth) {
         std::cout << "move constructor A" << std::endl;
      }
};

A func () {
   A a;

   return std::move(a);
}

int main() {
   A a = func();

   std::cout << "flag 1" << std::endl;

   return 0;
}

输出结果如下：

constructor A
move constructor A
destructor A
flag 1
destructor A

好了，资源释放的问题，我们就放到 move constructor 里面，为了对比，我写个 copy constructor 的过程，去除了所有可能的异常case，只是做个示范，代码如下：

#include <iostream>

class A {
   public:
      A() {
         std::cout << "constructor A" << std::endl;

         num = new int(100);
      }
      ~A() {
         if (num == nullptr) {
            std::cout << ">>>>num is nullptr" << std::endl;
         } else {
            std::cout << ">>>>num value is " << *num << std::endl;
            delete num;
         }
         std::cout << "destructor A" << std::endl;
      }

      A( A & oth) {
         std::cout << "copy constructor A" << std::endl;

         num = new int;

         num = oth.num;
      }

      A(A && oth) {
         std::cout << "move constructor A" << std::endl;

         num = std::move(oth.num);
         oth.num = nullptr;
      }

   public:
      int * num;
};

A func () {
   A a;

   return std::move(a);
}

int main() {
   A a = func();

   std::cout << "flag 1" << std::endl;

   return 0;
}

看到区别了吗，move constructor 是不需要 new 新对象的，只要将对应的字段也move一下，原有的字段设置成一个无效的值就行了，这样就保证了资源的安全，代码运行结果如下：

constructor A
move constructor A
>>>>num is nullptr
destructor A
flag 1
>>>>num value is 100
destructor A

这里面有很多的问题，我没有说完，比如如果不写move constructor， 程序会crash 吗？