我有一个带有一些双值的结构:
struct A {
double a;
double b;
}
如果我创建一个新结构,例如A a
,是否所有成员(例如a.a
)都在C ++中自动初始化为零?
答案 0 :(得分:11)
不是默认情况下(除非它是静态存储的变量 - 即static
或全局变量)。
有几种方法可以将这种结构初始化为"零":
A a = { 0.0, 0.0 };
A a = { };
A a = A();
或者如果你有一个C ++ 11兼容的编译器:
A a{0.0, 0.0};
A a{}
或向struct
定义添加构造函数:
struct A {
double a;
double b;
A() : a(0.0), b(0.0) {}
};
答案 1 :(得分:7)
<强> 8.5。初始值设定项[dcl.init] / 11 。
如果没有为对象指定初始化程序,则默认初始化该对象;如果没有执行初始化,则 具有自动或动态存储持续时间的对象具有不确定的值。 [注意:具有静态或。的对象 线程存储持续时间为零初始化,见3.6.2。 - 结束记录]
和(因可读性而反转):
<强> 8.5。初始值设定项[dcl.init] / 6 。
要默认初始化 T类型的对象意味着:
- 如果T是(可能是cv限定的)类类型(第9节),则调用T的默认构造函数(并且 如果T没有可访问的默认构造函数,则初始化是错误的;)
- 如果T是数组类型,则每个元素都是默认初始化的;
- 否则,不会执行初始化。 [强调我的]
如果程序要求对const限定类型T的对象进行默认初始化,则T应为类类型 使用用户提供的默认构造函数。
它们是默认初始化。对于像int
或double
这样的内置类型,它们的值取决于结构声明的位置(根据经验(但同样如此):假设它们总是垃圾,除非初始化强>)
在全局范围或/和static
存储中,它们都是零(包括当结构是全局范围的结构的成员时)。
在功能本地范围内,它们充满了垃圾。
示例:
#include <iostream>
struct Foo {
int x;
int y;
};
Foo foo;
int main () {
Foo bar;
std::cout << foo.x << ":" << foo.y << '\n';
std::cout << bar.x << ":" << bar.y << '\n';
}
这是第一次运行给我
0:0
-1077978680:12574708
在第二次运行中,没有重新编译,这给了我:
0:0
-1075556168:12574708
POD结构可以使用例如全部零来初始化。 memset
或只是......
Foo foo = {0}; // C and C++03
Foo foo{0}; // C++11
答案 2 :(得分:3)
没有。在一般情况下,它们具有未指定的值。
如果您不喜欢这种行为,可以提供构造函数:
struct A {
double a;
double b;
A(): a(0.0), b(0.0) {}
}