这里发生的叫做聚合初始化。以下是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.

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

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

我也用它来初始化字符串。

char mytext[100] = {0};

需要注意的一件事是，这种技术不会将填充字节设置为零。例如:

struct foo
{
    char c;
    int  i;
};

foo a = {0};

并不等同于:

foo a;
memset(&a,0,sizeof(a));

在第一种情况下，c和i之间的pad字节是未初始化的。你为什么关心这个?好吧，如果你把数据保存到磁盘上或者通过网络发送，你可能会有安全问题。

注意，一个空的聚合初始化式也可以工作:

SHELLEXECUTEINFO sexi = {};
char mytext[100] = {};

关于ShellExecuteEx()崩溃的原因:你的SHELLEXECUTEINFO "sexi"结构体有很多成员，你只初始化了其中的一些成员。

例如，sexi成员。lpDirectory可以指向任何地方，但ShellExecuteEx()仍将尝试使用它，因此您将得到内存访问冲突。

当你包括这行:

SHELLEXECUTEINFO sexi = {0};

在结构设置的其余部分之前，您告诉编译器在初始化您感兴趣的特定结构成员之前将所有结构成员归零。ShellExecuteEx()知道如果sexi。lpDirectory是0，它应该忽略它。

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

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编译器中，我从未见过不同的行为。

{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}初始化式也不一定将填充字节设置为任何特定的值。不过，在大多数系统上，它可能具有相同的效果。

它是将整个结构初始化为空/零/空值的语法糖。

长版本

SHELLEXECUTEINFO sexi;
sexi.cbSize = 0;
sexi.fMask = 0;
sexi.hwnd = NULL;
sexi.lpVerb = NULL;
sexi.lpFile = NULL;
sexi.lpParameters = NULL;
sexi.lpDirectory = NULL;
sexi.nShow = nShow;
sexi.hInstApp = 0;
sexi.lpIDList = NULL;
sexi.lpClass = NULL;
sexi.hkeyClass = 0;
sexi.dwHotKey = 0;
sexi.hMonitor = 0;
sexi.hProcess = 0;

短的版本

SHELLEXECUTEINFO sexi = {0};

那不是简单多了吗?

这也很好，因为:

你不需要找到每个成员并初始化它 您不必担心在稍后添加新成员时可能无法初始化 你不需要调用零内存