爲什麼這個成員變量沒有正確初始化？

Question

只是偶然發現了這個問題，誰能解釋一下這裏發生了什麼？

struct Foo { 
    int i; 
    ~Foo() { 
     std::cout << i << std::endl; 
    } 
}; 

void bar() 
{ 
    Foo f; 
    f.i = 1; 
    f = Foo(); 
    f.i = 2; 
} 

我得到以下輸出：

-85899... (gibberish = "default" value for uninitialized int) 
2 

，我預計

1 
2 

爲什麼是它f.i = 1;似乎這裏有沒有影響？

Answer 1

f.i = 1確實有效。它將成員i設置爲等於1。你只會看到如果對象被銷燬，因爲你在析構函數中輸出了這個值。

在行f = Foo();，你要創建一個臨時Foo對象，它與不確定的價值i，然後將其分配給對象f。這個臨時對象在行末被銷燬，打印出自己不確定的i。這是什麼給你-85899...輸出。

將不確定的值複製到對象f，但隨後使用值2覆蓋其成員i。在bar結束時，此對象被破壞，您將看到輸出2。

Answer 2

因此，在第一次調用析構函數時銷燬的變量不是f，而是由Foo()創建的臨時變量。由於您沒有構造函數，因此i具有不確定的值。如果你要添加一個將i設置爲99999的構造函數，那麼你會看到你的析構函數的輸出。

void bar() 
{ 
    Foo f; // Construct f of type Foo 
    f.i = 1; // Set i to 1 in f. 
    f = Foo(); // Construct a temporary Foo object, copy it to f, 
       // then destroy the temporary object. 
    f.i = 2; // Set the newly copied f.i to 2. 
       // destroy f. 
} 

Answer 3

這樣的：

f = Foo(); 

創建一個新對象，並複製。那麼這個對象在這行結束時就遭到了破壞，但它並沒有被初始化。只是複製。

Answer 4

第一個輸出來自臨時調用的析構函數。默認賦值運算符不會調用任何析構函數，因此打印1的函數永遠不會被調用。

一些代碼來說明：

struct Foo { 
    int i; 
    // we emulate the default operator= generated by the compiler 
    // no check for self-assignment 
    Foo& operator=(const Foo& other) { this->i = other.i; } 
}; 

void bar() { 
    F f; 
    f.i = 1; 
    f = Foo(); // the i member of the temporary is indeterminate 
      // now f.i is indeterminate 
      // destroy the temporary 
    f.i = 2; 
} // end of scope, destroy f