C++ 零初始化

Question

根据http://en.cppreference.com/w/cpp/language/zero_initialization ，我无法理解我班级中的某个成员何时以及为何被零初始化。

考虑以下测试程序：

#include <iostream>
#include <stdio.h>

class MyTest {
private:
    const static unsigned int dimension = 8;
    void (* myFunctions [dimension])();

public: 
    MyTest() {}

    void print() { 
        for(unsigned int i=0; i < MyTest::dimension; i++) {
            printf("myFunctions[%d] = %p\n", i, this->myFunctions[i]);
        }   
    }
};


int main() {
    //We declare and initialize an object on the stack 
    MyTest testObj = {};
    testObj.print();

    return 0;
}

我正在声明一个类，该类具有签名为“void functionname()”的 8 个函数指针数组。 当我在main声明并初始化类的一个对象时，作为MyTest testObj = {}; 或MyTest testObj; ，我希望它是零初始化的，即所有指针都是空指针。

但是，使用g++ -m32 -o test -std=c++14 test.cpp && test machine 在我的 Windows 10 机器上使用 g++ 5.3.0 编译给出输出：

myFunctions[0] = 76dd6b7d
myFunctions[1] = 00401950
myFunctions[2] = 0061ff94
myFunctions[3] = 004019ab
myFunctions[4] = 00401950
myFunctions[5] = 00000000
myFunctions[6] = 003cf000
myFunctions[7] = 00400080

看起来像堆栈中未初始化的值..

如果我将对象的声明移到 main 之外（作为全局变量），它会再次打印全零。

如果我正确理解了 cppreference，这是因为我有一个具有静态存储持续时间的变量，因此是零初始化的。 它通过零初始化我的类（即myFunctions ）数组的所有非静态数据成员来初始化我的类类型。 一个数组是通过零初始化它的每个元素来初始化的，在我的函数指针情况下，它是一个空指针。

为什么当我用MyTest testObj = {};声明我的对象时，它不会将我的对象初始化为零MyTest testObj = {}; ?

Answer 1

以下

MyTest testObj = {};

不是MyTest零初始化，而是简单地调用其默认构造函数。 cppreference页面解释了原因（重点是我的）：

作为非类类型和没有构造函数的值初始化类类型成员的值初始化序列的一部分，包括未提供初始化器的聚合元素的值初始化。

MyTest是一个类类型，并且 a 有一个构造函数。

---

定义构造函数

MyTest() = default;

将改为对对象进行零初始化。

相关标准报价（强调我的）如下。

来自[dcl.init#8] ：

对 T 类型的对象进行值初始化意味着：

• 如果 T 是（可能是 cv 限定的）类类型，没有默认构造函数 ([class.ctor]) 或用户提供或删除的默认构造函数，则该对象是默认初始化的；

• 如果 T 是（可能是 cv 限定的）类类型而没有用户提供或删除的默认构造函数，则对象被零初始化并检查默认初始化的语义约束，并且如果 T 具有非平凡的默认构造函数, 对象是默认初始化的；

• ...

来自[dcl.init.list] ：

类型 T 的对象或引用的列表初始化定义如下：

• ...

• 否则，如果初始化列表没有元素并且 T 是具有默认构造函数的类类型，则对象是值初始化的。