编译器默认生成的构造函数,会做初始化清零吗?

okesut

如题，我有下面的小程序:

1. 
   
2. #include<memory>
   
3. using namespace std;
   
4. struct S
   
5. {
   
6.     int m_i;
   
7.     int m_j;
   
8. };
   
9. class C
   
10. {
    
11. public:
    
12.     int m_i;
    
13.     int m_j;
    
14. };
    
15. int main()
    
16. {
    
17.     S obj;
    
18.     C c1;
    
19.     cout << obj.m_i << obj.m_j << endl;
    
20.     return 0;
    
21. }
    

复制代码

gcc下开优化-O2或者vc -O2，都会说obj/c1这两个对象都没有初始化，编译给出警告:
warning: ‘obj.S::m_i’ is used uninitialized in this function [-Wuninitialized]

我的问题是，struct S和class C，我都没有自己定义ctor，而是依赖编译器给我生成的ctor
我期待，编译器给我生成的ctor会做初始化的工作。但是看起来，不定义自己的ctor，就会有这种警告。

1. default ctor什么都不做吗?
2. 如果obj和c1都是new出来的，那么运行时库在给obj和c1分配内存的时候，是否会执行清零操作，还是说和我的main函数一样，依靠默认的ctor不会有任何初始化?

谢谢

bruceteen

S obj = S(); 试试

okesut

回复 2# bruceteen
谢谢。
很神奇, S obj=S();就不会报警告
S obj;就会。

这是为什么呢? 都是声明了一个对象而已啊，区别在何处? 难道S obj=S();编译器会生成代码来给obj清零? 这是语言标准的一部分吗

w_anthony

回复 3# okesut


    前段时间我刚问过这是不是标准的一部分，结论是的。你这个属于POD类型，POD类型用S()初始化会清零，标准是这么规定的。
当时我提的问题是这样的，std::map<int, int> m，第一次访问m[8]，是否可保证m[8]是0，结论也是有标准保证的；因为有个标准规定，当8不存在的时候，会用int()插入一个新元素，而另一个标准（也就是POD初始化）规定POD类型的int()（用括号初始化）会清零。

action08

最好自己清零，就是自己初始化

不要把不确定的事交给编译器，要是某天来个大版本升级

bruceteen

action08 发表于 2015-12-02 10:42
最好自己清零，就是自己初始化

不要把不确定的事交给编译器，要是某天来个大版本升级

这个行为是标准规定好的，不是“不确定的事”
加空的括号()叫 value-initialized（继而再引发 zero-initialized）
没加的叫 default-initialized

action08

加空的括号()叫 value-initialized（继而再引发 zero-initialized）

——建议代码都这样写，或者显示赋值

dorodaloo

bruceteen 发表于 2015-12-02 12:11
这个行为是标准规定好的，不是“不确定的事”
加空的括号()叫 value-initialized（继而再引发 zero-in ...

非常感谢这么深刻的剖析！