Int a[] = {1,2，};为什么在初始化列表中允许使用尾随逗号?

也许我不是来自这个星球，但在我看来，以下应该是一个语法错误:

int a[] = {1,2,}; //extra comma in the end

但事实并非如此。当这段代码在Visual Studio上编译时，我很惊讶，但我已经学会了不相信MSVC编译器，就c++规则而言，所以我检查了标准，它也是标准允许的。如果你不相信的话，语法规则可以参考8.5.1。

Why is this allowed? This may be a stupid useless question but I want you to understand why I am asking. If it were a sub-case of a general grammar rule, I would understand - they decided not to make the general grammar any more difficult just to disallow a redundant comma at the end of an initializer list. But no, the additional comma is explicitly allowed. For example, it isn't allowed to have a redundant comma in the end of a function-call argument list (when the function takes ...), which is normal.

那么，有什么特别的原因，这个多余的逗号是明确允许的吗?

当前回答

它使生成代码更容易，因为您只需要添加一行，而不需要将添加最后一个条目视为特殊情况。在使用宏生成代码时尤其如此。有一种努力试图从语言中消除对宏的需求，但许多语言确实是与可用的宏一起发展的。额外的逗号允许定义和使用以下宏:

#define LIST_BEGIN int a[] = {
#define LIST_ENTRY(x) x,
#define LIST_END };

用法:

LIST_BEGIN
   LIST_ENTRY(1)
   LIST_ENTRY(2)
LIST_END

这是一个非常简单的示例，但宏通常使用此模式来定义分派、消息、事件或转换映射和表等内容。如果结尾不允许用逗号，我们需要一个特殊的:

#define LIST_LAST_ENTRY(x) x

用起来会很尴尬。

2018-04-23 12:15:49

其他回答

像许多东西一样，数组初始化器中的尾随逗号是c++从C继承的东西之一(并且必须永远支持)。在《Deep C secrets》一书中提到了与此完全不同的观点。

在一个有多个“逗号悖论”的例子之后:

char *available_resources[] = {
"color monitor"           ,
"big disk"                ,
"Cray"                      /* whoa! no comma! */
"on-line drawing routines",
"mouse"                   ,
"keyboard"                ,
"power cables"            , /* and what's this extra comma? */
};

我们读到:

.．.最后一个初始化式后面的逗号不是一个拼写错误，而是从原始c中继承下来的语法中的一个小点。它的存在或不存在是允许的，但没有任何意义。在ANSI C基本原理中声称的理由是，它使C的自动生成更容易。如果允许在每个以逗号分隔的列表中使用尾随逗号，例如在枚举声明中，或在单个声明中使用多个变量声明器，则声明将更加可信。事实并非如此。

．.．对我来说，这更有意义

2015-07-30 14:16:59

因此，当两个人在不同分支的列表中添加一个新项目时，Git可以正确地合并这些更改，因为Git是按行工作的。

2019-12-25 17:48:28

如果你使用一个没有指定长度的数组，vc++ 6.0可以自动识别它的长度，所以如果你使用"int a[]={1,2，};"， a的长度是3，但最后一个还没有初始化，你可以使用"cout<

2011-08-18 01:10:29

我很惊讶这么长时间以来没有人引用注解c++参考手册(ARM)，它是这样描述[dcl. C]的。我的:

用于初始化的表示法显然太多了，但每种表示法似乎都适用于特定的使用风格。={initializer_list,opt}符号继承自C语言，可以很好地初始化数据结构和数组。[…]

尽管自ARM诞生以来语法一直在发展，但起源仍然存在。

我们可以查看C99的基本原理，看看为什么在C中允许这样做，它说:

类的初始化式中允许有一个尾随逗号初始化器列表。标准保留了这个语法，因为它提供从初始化式中添加或删除成员的灵活性列表，并简化了此类列表的机器生成。

2015-10-19 11:59:16