什么时候{0}用于初始化对象，这是什么意思？我在任何{0}地方都找不到引用，而且由于花括号，Google搜索没有帮助。
示例代码：
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);
}没有它，以上代码将在运行时崩溃。
Answers:
这里发生的事情称为聚合初始化。这是ISO规范8.5.1节中汇总的（缩写）定义：
聚合是没有用户声明的构造函数，没有私有或受保护的非静态数据成员，没有基类，也没有虚函数的数组或类。
现在，使用{0}这样的初始化聚合基本上是0整件事的窍门。这是因为使用聚合初始化时，您不必指定所有成员，并且规范要求所有未指定的成员都进行默认初始化，这意味着将其设置0为简单类型。
这是规范中的相关报价：
如果列表中的初始化程序少于聚合中的成员，则每个未显式初始化的成员都应进行默认初始化。例：
struct S { int a; char* b; int c; }; S ss = { 1, "asdf" };初始化
ss.a用1，ss.b与"asdf"，和ss.c与所述形式的表达的值int()，即，0。
您可以在此处找到有关此主题的完整规范
要注意的一件事是，该技术不会将填充字节设置为零。例如：
struct foo
{
char c;
int i;
};
foo a = {0};与以下内容不同：
foo a;
memset(&a,0,sizeof(a));在第一种情况下，c和i之间的填充字节未初始化。你为什么要在乎？好吧，如果要将这些数据保存到磁盘或通过网络或其他方式发送，则可能会遇到安全问题。
回答为什么ShellExecuteEx()崩溃：您的SHELLEXECUTEINFO“ sexi”结构有许多成员，而您只初始化其中一些成员。
例如，该成员sexi.lpDirectory可能指向任何地方，但ShellExecuteEx()仍将尝试使用它，因此您将遇到内存访问冲突。
当您包括该行时：
SHELLEXECUTEINFO sexi = {0};在进行其余结构设置之前，您要告诉编译器在初始化您感兴趣的特定成员之前将所有结构成员归零。ShellExecuteEx()知道如果sexi.lpDirectory为零，则应忽略它。
{0}在C和C ++中，对于任何（完整对象）类型都是有效的初始化器。这是用于将对象初始化为零的常见用法（请继续阅读以了解其含义）。
对于标量类型（算术和指针类型），花括号是不必要的，但明确允许使用它们。引用ISO C标准的N1570草案第6.7.9节：
标量的初始值设定项应为单个表达式，可以选择用大括号括起来。
它将对象初始化为零（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为零的简便方法，这意味着的每个标量子对象obj都设置为0整数，0.0浮点数或null指针（如果是指针）。
对于C ++，规则相似。
在您的特定情况下，由于您要向sexi.cbSize等等分配值，因此很明显这SHELLEXECUTEINFO是结构或类类型（或可能是并集，但可能不是），因此并非所有情况都适用，但正如我所说的，这{ 0 }是常见的可以在更一般的情况下使用的成语。
这是不（必须的）等价于使用memset该对象的表示设置为所有位零。浮点数0.0或空指针都不一定表示为全零位，并且{ 0 }初始化程序不必将填充字节设置为任何特定值。但是，在大多数系统上，它可能会产生相同的效果。
{0}对于没有构造函数接受的对象，它不是有效的初始化器0；或第一个元素本身是这样的集合（或没有元素的集合）
我一直想知道，为什么您应该使用类似
struct foo bar = { 0 };这是一个测试用例来解释：
检查
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程序中的“ .bss”部分是内存的一部分，之前 main被设置为零，然后称为.bss上的Wikipedia。
如果将上面的代码更改为：
} my_zero_struct = { 0 };然后，生成的“ check”可执行文件至少与ubuntu 12.04.2上的gcc 4.6.3编译器看起来完全相同；在my_zero_struct仍处于.bss部分，因此它会被自动初始化为零，之前main被调用。
注释中的提示memset可能会初始化“完全”结构也不是一个改进，因为该.bss部分已完全清除，这也意味着“完全”结构被设置为零。
这可能是C语言标准并没有提及任何这一点，但在现实世界中的C编译器我从来没有见过一个不同的行为。