std::array不再发生初始化程序语法错误

Initializer syntax error does not happen anymore with std::array

本文关键字:程序 语法 错误 初始化 再发生 array 不再 std      更新时间:2023-10-16

根据问题std::array c++11初始化程序语法错误不允许以以下方式将支撑列表分配给std::array:

std::array<int, 10> a = {0,1,2,3,4,5,6,7,8,9};
a = {0}; // error: cannot assign to an array from a braced list

但实际上我再也无法重现这个错误了。我的GCC版本是4.8.2。这是代码:

#include <array>
int main() {
   std::array<int, 10> a;
    a = {1};
    return 0;
}

它编译和执行时没有任何错误。

所以,问题是,我在这里做错了什么吗?或者有什么变化导致了这种行为的改变?

表达式a = {1};对应于复制列表初始化的情况(10)(请参见此处)。因此,根据标准,它应该是正确的。

您遇到的问题可能与以下从C++11到C++14的更改有关:在C++11中,执行聚合初始化时,只有在语法... = {...}但不使用...{...}。在C++14中,后者也是允许的。请参阅此处了解详细信息。现在,假设C++11,a = {1};是否正确?我认为答案取决于你如何理解这个标准。显然,{1}用于初始化operator=的第二个操作数。以下是两种可能的解释,分别给出了肯定答案和否定答案。

肯定答案的解释:语法... = {...}执行复制列表初始化,而...{...}执行直接列表初始化。因此,标准规定在复制列表init中允许大括号省略,但在直接列表init中不允许。a = {1};执行复制列表初始化。所以省略是可以的。

否定答案的解释:只需对标准进行字面解释。Elision可以接受等号的出现,而不是其他符号。在a = {1};中,operator=的操作数的初始化是隐式的,没有等号。所以,这是不好的。这里的语句似乎暗示了这种逐字逐句的解释。