“ this”指针上的const_cast是未定义的行为吗？

Question

我有以下c ++代码。 我可以在Linux机器上使用g ++ 4.9.2进行编译。 然后，当我运行它时，它会显示10。似乎在默认构造函数中创建了一个新对象并将其分配给使用const_cast创建的指针。 没有内存泄漏（我使用valgrind检查了）。 这是某种未定义的行为还是合法的？

#include <iostream>

using namespace std;

class A
{
   public:
      A() : x(0)
      {
         A *tmp = const_cast<A*>(this);
         *tmp = A(10);
      }

      A(int x)
      {
         this->x = x;
      }

      int getX() const
      {
         return x;
      }

   private:
      int x;
};

int main()
{
   A a;

   cout << a.getX() << endl;

   return 0;
}

Answer 1

const_cast与您遇到的行为无关。 您的代码可以简化为以下内容：

  A() : x(0)
  {
     *this = A(10);
  }

因此，如果要使用默认构造函数创建对象，则会发生以下情况：

1. 前构造体存储器的对象this被保留。
2. x（0） 0分配给this的成员x 。
3. A（10）类的新（未命名）对象A使用构造创建A(int) 这个新的对象成员x值为10 。
4. this =这里，未命名的对象（使用自动生成的副本分配运算符，按字段方式）分配给*this 。 因此，部件的值x的this becames 10 。
5. 在该行之后临时的未命名对象被破坏。
6. this被返回。

这是完全合法和预期的行为。