C++17中的数组赋值

Question

这里有一些代码：

int main()
{
    using T = int[3];
    T a;
    a = T{};
}

据我所知，根据 C++17 标准，这段代码是正确的，但是我尝试的每个编译器都拒绝了它。

这段代码真的不正确吗？如果是这样，该标准的哪些条款？

---

到目前为止我的调查：在 C 和旧版本的 C++ 中，代码不正确，因为赋值运算符的左操作数必须是可修改的左值，a 要么不是，要么没有明确说明。但是由于 C++17 a 被明确指定为可修改的左值（C++17 [basic.lval]/7）。

这里没有应用数组到指针的转换：[expr.ass] 没有明确指定它，[expr]/9 和 [expr]/10 似乎不适用：=期望一个纯右值作为右操作数，并且提供了一个纯右值。 （并且它期望一个左操作数作为左操作数，并且提供了一个左值）。如果在期望prvalue的地方提供了glvalue，则这些条款适用，反之亦然。

[expr.ass]/3 表示右表达式被隐式转换为左操作数的类型。但由于双方都有相同的类型int[3]，似乎不需要转换。

所以我没有看到将 [expr.ass]/2 排除在应用之外的条款，即右侧的值存储在左侧引用的对象中。

---

最新的草案围绕 [basic.lval]/7 和 [expr]/9-10 中的条款移动，但似乎没有改变它们的含义，它甚至重新措辞 [expr.ass]/ 2更清楚：

在简单赋值 (=) 中，左操作数引用的对象通过将其值替换为右操作数的结果来修改。

Answer 1

据我所知，“可修改左值”的定义要么在 C++ 中未指定，要么数组被有意指定为可赋值（我怀疑前者是真的，因为没有编译器会这样做）。

标准（最新草案）说：

[basic.lval]

一个左值是可修改的，除非它的类型是 const 限定的或者是一个函数类型。

这个比较简洁，但是没有排除数组。

此外，至少自 C++03 以来，标准版本并没有改变这一点，其中指定了以下内容：

[basic.lval]

11 函数不能修改，但函数指针可以修改。

12 指向不完整类型的指针可以修改。 ...

13 const 限定表达式的所指对象不得修改 ...

除了使用更具描述性而不是确定性的措辞外，其他内容基本相同。不排除数组。

---

相比之下，C11 标准非常清晰（引用 N1548 草案）：

6.3.2.1 左值、数组和函数指示符

1 ... 可修改的左值是没有数组类型的左值，...

Answer 2

因为内置运算符也受 [over.built] 支配，即：

代表子句 [expr] 中定义的内置运算符的候选运算符函数在本小节中指定。

对于赋值运算符，对应函数的形式为：
over.built#19

对于每个三元组 (L, vq, R)，其中 L 是 算术类型，R 是 提升算术类型，存在表格

对于每一对 (T, vq)，其中 T 是任何类型，都存在以下形式的候选算子函数

Tvq& operator=(T vq&, T*);

对于每一对 (T, vq)，其中 T 是一个枚举或指向成员类型的指针，存在以下形式的候选运算符函数

vq T& 运算符=(vq T&, T);

因此，当对应的参数为a, T{} 时，它们都不能作为候选函数。所以，程序应该是格式错误的。

Answer 3

C++ 标准中没有规定纯右值数组的具体化，正如您在 [class.temporary]/5 的Note 3 中看到的，它总结了这些具体化发生的情况。