C++中的函数const本地对象会发生什么？

Question

我想知道为什么会这样:接下来的两个例子提供了非常不同的结果,第一个实际上让我震惊.

例1:

#include <iostream>

class A
{
public:
    A() {
        for(int i = 0; i < 10000; ++i)
            for(int j = 0; j < 10000; ++j)
                m += i+j;
    }
    ~A() {}

    double m;
};

void foo()
{
    const A a;

    std::cout << a.m << std::endl;
}//foo

int main()
{
    for(int i = 0; i < 10; ++i)
        foo();

    return 0;
}//main

结果:

9.999e+11
1.9998e+12
2.9997e+12
3.9996e+12
4.9995e+12
5.9994e+12
6.9993e+12
7.9992e+12
8.9991e+12
9.999e+12

例2:

#include <iostream>

class A
{
public:
    A() {
        for(int i = 0; i < 10000; ++i)
            for(int j = 0; j < 10000; ++j)
                m += i+j;
    }
    ~A() {}

    double m;
};

void foo()
{
    const static A a;

    std::cout << a.m << std::endl;
}//foo

int main()
{
    for(int i = 0; i < 10; ++i)
        foo();

    return 0;
}//main

结果:

9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11
9.999e+11

---

Example1和Example2之间的唯一区别是'静态'.

我承认第一个const的行为没有按照我的预期行事.

提前致谢.

---

伙计们,你是对的!我该死的.所以...

更重要的是,是它总是最好使用const static比仅局部对象const本地对象？

Answer 1

您有未定义的行为,因为数据成员A::m在写入之前尚未初始化:

m += i+j;

在写入之前,您应该将其初始化为有效的东西.0似乎是个不错的选择:

A() : m(0) {
  for(int i = 0; i < 10000; ++i)
      for(int j = 0; j < 10000; ++j)
          m += i+j;
}

声明static A实例时,所有数据成员都是零初始化的,并且在程序流第一次到达声明时调用构造函数.这会掩盖未初始化的数据成员的影响.

请注意,在C++ 11中,您还可以在声明点初始化:

double m = 0;