当{0}用于初始化一个对象时,它意味着什么?我在任何地方都找不到{0}的任何引用,而且由于花括号,谷歌的搜索没有帮助。

示例代码:

SHELLEXECUTEINFO sexi = {0}; // what does this do?
sexi.cbSize = sizeof(SHELLEXECUTEINFO);
sexi.hwnd = NULL;
sexi.fMask = SEE_MASK_NOCLOSEPROCESS;
sexi.lpFile = lpFile.c_str();
sexi.lpParameters = args;
sexi.nShow = nShow;

if(ShellExecuteEx(&sexi))
{
    DWORD wait = WaitForSingleObject(sexi.hProcess, INFINITE);
    if(wait == WAIT_OBJECT_0)
        GetExitCodeProcess(sexi.hProcess, &returnCode);
}

如果没有它,上面的代码将在运行时崩溃。


当前回答

这里发生的叫做聚合初始化。以下是ISO规范第8.5.1节中对聚合的(缩写)定义:

聚合是没有用户声明的构造函数、没有私有或受保护的非静态数据成员、没有基类和没有虚函数的数组或类。

现在,使用{0}来初始化一个聚合就像这样基本上是一个技巧,让整个东西变成0。这是因为在使用聚合初始化时,您不必指定所有成员,规范要求所有未指定的成员都默认初始化,这意味着对于简单类型设置为0。

以下是该规范的相关引用:

类中的成员数少于列表中的初始化项数 聚合,那么每个成员都不是 显式初始化的 default-initialized。 例子: struct S {int a;char * b;int c;}; S ss = {1, "asdf"}; 用1初始化ss.a,用 "asdf"和ss.c int()形式的表达式,即 0.

您可以在这里找到关于这个主题的完整规范

其他回答

这里发生的叫做聚合初始化。以下是ISO规范第8.5.1节中对聚合的(缩写)定义:

聚合是没有用户声明的构造函数、没有私有或受保护的非静态数据成员、没有基类和没有虚函数的数组或类。

现在,使用{0}来初始化一个聚合就像这样基本上是一个技巧,让整个东西变成0。这是因为在使用聚合初始化时,您不必指定所有成员,规范要求所有未指定的成员都默认初始化,这意味着对于简单类型设置为0。

以下是该规范的相关引用:

类中的成员数少于列表中的初始化项数 聚合,那么每个成员都不是 显式初始化的 default-initialized。 例子: struct S {int a;char * b;int c;}; S ss = {1, "asdf"}; 用1初始化ss.a,用 "asdf"和ss.c int()形式的表达式,即 0.

您可以在这里找到关于这个主题的完整规范

{0}是一个匿名数组,其元素为0。

这个函数用于初始化数组中的一个或所有元素。

例如:int arr[8] = {0};

在这种情况下,arr的所有元素都将初始化为0。

{0}是C和c++中任何(完整对象)类型的有效初始化式。这是用于将对象初始化为0的常用习语(请继续阅读以了解这意味着什么)。

对于标量类型(算术类型和指针类型),花括号是不必要的,但显式地允许它们。引用ISO C标准的N1570草案,第6.7.9节:

标量的初始化式应该是一个单独的表达式,可以选择用大括号括起来。

它将对象初始化为0(整数为0,浮点数为0.0,指针为空指针)。

对于非标量类型(结构体、数组、联合),{0}指定对象的第一个元素初始化为0。对于包含结构、结构数组等的结构,这是递归应用的,因此第一个标量元素被设置为零,适用于该类型。与在任何初始化式中一样,任何未指定的元素都被设置为0。

中间大括号({,})可以省略;例如,这两个都是有效且等价的:

int arr[2][2] = { { 1, 2 }, {3, 4} };

int arr[2][2] = { 1, 2, 3, 4 };

这就是为什么您不必为第一个元素是非标量的类型编写{{0}}。

所以这个:

some_type obj = { 0 };

是将obj初始化为0的一种简写方法,这意味着obj的每个标量子对象如果是整数则设置为0,如果是浮点则设置为0.0,如果是指针则设置为空指针。

这些规则与c++类似。

在你的特殊情况下,因为你给sexi赋值。cbSize等等,显然SHELLEXECUTEINFO是一个结构体或类类型(也可能是一个联合,但也可能不是),所以不是所有这些都适用,但正如我所说,{0}是一个可以在更一般的情况下使用的常用习语。

这(不一定)等同于使用memset将对象的表示设置为全位零。浮点0.0和空指针都不一定表示为全位0,{0}初始化式也不一定将填充字节设置为任何特定的值。不过,在大多数系统上,它可能具有相同的效果。

我已经有一段时间没有在c/c++中工作了,但是IIRC,同样的快捷方式也可以用于数组。

我一直在想,为什么你要用

struct foo bar = { 0 };

下面是一个要解释的测试用例:

check.c

struct f {
    int x;
    char a;
} my_zero_struct;

int main(void)
{
    return my_zero_struct.x;
}

我用gcc -O2 -o check check.c编译,然后用readelf -s check | sort -k 2输出符号表(这是在x64系统上的ubuntu 12.04.2上的gcc 4.6.3)。摘录:

59: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS __bss_start
48: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS _edata
25: 0000000000601018     0 SECTION LOCAL  DEFAULT   25 
33: 0000000000601018     1 OBJECT  LOCAL  DEFAULT   25 completed.6531
34: 0000000000601020     8 OBJECT  LOCAL  DEFAULT   25 dtor_idx.6533
62: 0000000000601028     8 OBJECT  GLOBAL DEFAULT   25 my_zero_struct
57: 0000000000601030     0 NOTYPE  GLOBAL DEFAULT  ABS _end

这里重要的部分是,my_zero_struct位于__bss_start之后。”。在C程序中,section是内存中在main被调用之前被设置为0的部分。

如果你将上面的代码更改为:

} my_zero_struct = { 0 };

然后产生的“check”可执行文件看起来至少与gcc 4.6.3编译器在ubuntu 12.04.2上完全相同;my_zero_struct仍然在.bss节中,因此在main被调用之前,它将被自动初始化为零。

注释中的提示,memset可能初始化“full”结构也不是一个改进,因为.bss部分被完全清除,这也意味着“full”结构被设置为零。

C语言标准可能没有提到这一点,但在现实世界的C编译器中,我从未见过不同的行为。