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

Question

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

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

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

为什么允许这样做？这可能是一个愚蠢无用的问题，但我想让你明白我为什么要问。如果它是一般语法规则的子案例，我会理解 - 他们决定不让一般语法变得更加困难，只是不允许在初始化列表末尾使用多余的逗号。但是不，额外的逗号明确是允许的。例如，函数调用参数列表的末尾不允许有多余的逗号（当函数采用...时），这是正常的。

那么，再次明确允许这种多余的逗号有什么特别的原因吗？

Answer 1

它可以更轻松地生成源代码，也可以编写可以在以后轻松扩展的代码。考虑添加额外条目需要什么：

int a[] = {
   1,
   2,
   3
};

...您必须将逗号添加到现有行并添加一个新行。将其与三个 已经 后面有逗号的情况进行比较，您只需添加一行。同样，如果您想删除一行，您可以这样做而不必担心它是否是最后一行，并且您可以重新排序行而无需摆弄逗号。基本上，这意味着你对待线条的方式是一致的。

现在考虑生成代码。类似（伪代码）：

output("int a[] = {");
for (int i = 0; i < items.length; i++) {
    output("%s, ", items[i]);
}
output("};");

无需担心您正在写的当前项目是第一个还是最后一个。简单得多。

Answer 2

如果你做这样的事情会很有用：

int a[] = {
  1,
  2,
  3, //You can delete this line and it's still valid
};

Answer 3

我认为对开发人员来说易于使用。

int a[] = {
            1,
            2,
            2,
            2,
            2,
            2, /*line I could comment out easily without having to remove the previous comma*/
          }

此外，如果出于某种原因您有一个为您生成代码的工具；该工具不必关心它是否是初始化中的最后一项。

Answer 4

我一直认为添加额外元素会更容易：

int a[] = {
            5,
            6,
          };

简单地变成：

int a[] = { 
            5,
            6,
            7,
          };

在以后的日期。

Answer 5

每个人所说的添加/删除/生成行的易用性都是正确的，但这种语法真正闪耀的地方是在将源文件合并在一起时。想象一下你有这个数组：

int ints[] = {
    3,
    9
};

并假设您已将此代码签入存储库。

然后你的伙伴编辑它，添加到最后：

int ints[] = {
    3,
    9,
    12
};

你同时编辑它，添加到开头：

int ints[] = {
    1,
    3,
    9
};

从语义上讲，这些类型的操作（添加到开头，添加到结尾）应该是完全合并安全的，并且您的版本控制软件（希望是 git）应该能够自动合并。可悲的是，情况并非如此，因为您的版本在 9 之后没有逗号，而您的好友有。然而，如果原始版本有尾随 9，它们就会自动合并。

所以，我的经验法则是：如果列表跨越多行，则使用尾随逗号，如果列表在单行上，则不要使用它。

Answer 6

我很惊讶，因为一直没有人引用Annotated C++ Reference Manual(ARM)，它说以下关于 [dcl.init] 的内容，重点是我的：

显然有太多用于初始化的符号，但每个符号似乎都很好地服务于特定的使用风格。 ={initializer_list,opt} 表示法是从 C 继承而来的，可以很好地用于数据结构和数组的初始化。 [...]

尽管自编写 ARM 以来语法已经发展，但起源仍然存在。

我们可以去C99 rationale看看为什么在C语言中允许这样做，它说：

K&R 允许在初始值设定项的末尾使用尾随逗号 初始化列表。标准保留了这种语法，因为它 提供了在初始化程序中添加或删除成员的灵活性 列表，并简化此类列表的机器生成。

Answer 7

出于向后兼容性的原因，我认为允许使用尾随逗号。有很多现有代码，主要是自动生成的，其中包含一个尾随逗号。它使在末尾没有特殊条件的循环更容易编写。 例如

for_each(my_inits.begin(), my_inits.end(),
[](const std::string& value) { std::cout << value << ",\n"; });

对于程序员来说真的没有任何优势。

附：虽然以这种方式自动生成代码更容易，但实际上我总是注意不要放置尾随逗号，工作量很小，可读性得到了提高，而且这一点更重要。你写一次代码，你读了很多遍。

Answer 8

据我所知，允许这样做的原因之一是自动生成代码应该很简单；您不需要对最后一个元素进行任何特殊处理。

Answer 9

我看到了一个在其他答案中没有提到的用例， 我们最喜欢的宏：

int a [] = {
#ifdef A
    1, //this can be last if B and C is undefined
#endif
#ifdef B
    2,
#endif
#ifdef C
    3,
#endif
};

添加宏来处理最后一个, 会很痛苦。有了语法上的这个小改动，管理起来就很简单了。这比机器生成的代码更重要，因为在图灵完整语言中执行它通常比非常有限的预处理器容易得多。

Answer 10

它使生成数组或枚举的代码生成器更容易。

想象一下：

std::cout << "enum Items {\n";
for(Items::iterator i(items.begin()), j(items.end); i != j; ++i)
    std::cout << *i << ",\n";
std::cout << "};\n";

即，无需对第一项或最后一项进行特殊处理以避免吐出尾随逗号。

如果代码生成器是用 Python 编写的，例如，使用str.join() 函数很容易避免吐出结尾的逗号：

print("enum Items {")
print(",\n".join(items))
print("}")

Answer 11

原因很简单：易于添加/删除行。

想象一下下面的代码：

int a[] = {
   1,
   2,
   //3, // - not needed any more
};

现在，您可以轻松地在列表中添加/删除项目，而无需有时添加/删除尾随逗号。

与其他答案相比，我真的不认为易于生成列表是一个正当理由：毕竟，对最后（或第一）行进行特殊处理的代码是微不足道的。代码生成器一次编写，多次使用。

Answer 12

它允许每一行遵循相同的格式。首先，这使得添加新行变得更容易，并让版本控制系统有意义地跟踪更改，它还允许您更轻松地分析代码。我想不出技术原因。

Answer 13

在实践中*唯一不允许使用的语言是 Javascript，它会导致无数问题。例如，如果您从数组中间复制并粘贴一行，将其粘贴到末尾，然后忘记删除逗号，那么您的 IE 访问者将完全破坏您的网站。

*理论上是允许的，但是 Internet Explorer 不遵循标准并将其视为错误

Answer 14

对机器来说更容易，即解析和生成代码。 这对人类来说也更容易，即通过一致性进行修改、注释和视觉优雅。

假设C，你会写以下内容吗？

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    puts("Line 1");
    puts("Line 2");
    puts("Line 3");

    return EXIT_SUCCESS
}

没有。不仅因为最后的陈述是错误的，还因为它是不一致的。那么为什么要对集合做同样的事情呢？即使在允许您省略最后的分号和逗号的语言中，社区通常也不喜欢它。例如，Perl 社区似乎不喜欢省略分号、单行横线。他们也将其应用于逗号。

不要在多行集合中省略逗号，原因与在多行代码块中不省略分号的原因相同。我的意思是，即使语言允许，你也不会这样做，对吧？对吧？

Answer 15

这可以防止由于在长列表中移动元素而导致的错误。

例如，假设我们有一个如下所示的代码。

#include <iostream>
#include <string>
#include <cstddef>
#define ARRAY_SIZE(array) (sizeof(array) / sizeof *(array))
int main() {
    std::string messages[] = {
        "Stack Overflow",
        "Super User",
        "Server Fault"
    };
    size_t i;
    for (i = 0; i < ARRAY_SIZE(messages); i++) {
        std::cout << messages[i] << std::endl;
    }
}

这很棒，因为它展示了 Stack Exchange 网站的原始三部曲。

Stack Overflow
Super User
Server Fault

但它有一个问题。你看，这个网站的页脚显示超级用户之前的服务器故障。最好在任何人注意到之前解决这个问题。

#include <iostream>
#include <string>
#include <cstddef>
#define ARRAY_SIZE(array) (sizeof(array) / sizeof *(array))
int main() {
    std::string messages[] = {
        "Stack Overflow",
        "Server Fault"
        "Super User",
    };
    size_t i;
    for (i = 0; i < ARRAY_SIZE(messages); i++) {
        std::cout << messages[i] << std::endl;
    }
}

毕竟，移动线条并没有那么难，不是吗？

Stack Overflow
Server FaultSuper User

我知道，没有名为“Server FaultSuper User”的网站，但我们的编译器声称它存在。现在，问题在于 C 具有字符串连接功能，它允许您编写两个双引号字符串并使用空连接它们（整数也可能发生类似问题，因为- 符号有多种含义）。

如果原始数组末尾有一个无用的逗号怎么办？好吧，线条会移动，但不会发生这样的错误。很容易错过像逗号这样小的东西。如果你记得在每个数组元素后加一个逗号，这样的错误就不会发生。你wouldn't want to waste four hours debugging something, until you would find the comma is the cause of your problems。

Answer 16

像许多事情一样，数组初始化程序中的尾随逗号是 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 的自动生成更容易。 如果在每个逗号分隔列表中都允许使用尾随逗号，例如在枚举声明中，或在单个声明中使用多个变量声明符，则该声明会更可信。他们不是。

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

Answer 17

除了代码生成和编辑方便之外，如果要实现解析器，这种语法更简单，更容易实现。 C# 在有逗号分隔项列表的几个地方遵循此规则，例如 enum 定义中的项。

Answer 18

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

#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

这样用起来会很尴尬。

Answer 19

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

Answer 20

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