“ 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被返回。

這是完全合法和預期的行為。