为什么这个成员变量没有正确初始化？

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