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之间的唯一区别是'static'。

我承认第一个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;

Answer 2

所有静态对象都是零初始化的。所以在第二种情况下，数据成员m的初始值为0。

在第一种情况下，A类的对象是默认初始化的。由于您没有在构造函数中初始化m，因此它具有未指定的（任意）值。

这解释了差异。

Answer 3

您应该初始化成员：

A():m(0) {
   // stuff
}

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

示例1：

示例2：

3 个答案: