c++ 在下标时是否必须使用一个const expr数组？

struct A { static constexpr int a[3] = {1,2,3}; };

int main () {
  int a = A::a[0];
  int b  [A::a[1]];
}

是A :: a必须 odr-used 在int a = A :: a [0]？

注意：这个问题代表了 a debate in the Lounge 不太有趣/不合逻辑/无止尽的版本.

首先使用A :: a：

int a = A::a[0];

初始化器是一个常量表达式,但这并不能阻止A :: a在这里被使用.而且,这个表达式使用的是A :: a.

从表达式A :: a [0]开始,我们来看看[basic.def.odr](3.2)/ 3(对于未来的读者来说,我使用N3936的措辞)：

那么,e的可能价值在哪里？表达式的一组潜在结果是一组表达式的子表达式(可以通过阅读[basic.def.odr](3.2)/ 2)来检查这一点,所以我们只需要考虑哪个表达式是子表达式.那些是：

A::a
A::a[0]

其中,lvalue-to-rvalue转换不会立即应用于A :: a,所以我们只考虑A :: a [0]. Per [basic.def.odr](3.2)/ 2,A :: a [0]的潜在结果集是空的,所以这个表达式使用了A :: a.

现在,你可以说我们首先将A :: a [0]改写成*(A :: a 0).但是这并没有改变：e的可能值

A::a
A::a + 0
(A::a + 0)
*(A::a + 0)

其中,只有第四个具有应用于其的左值向右值转换,而[basic.def.odr](3.2)/ 2则表示*(A :: a 0)的潜在结果集是空.特别地,注意,数组到指针的衰减不是一个左值转换([conv.lval](4.1)),尽管它将一个数组的值转换成一个指针rvalue – 它是一个数组 – 指针转换([conv.array](4.2)).

第二次使用A :: a：

int b  [A::a[1]];

这与第一种情况没有区别,按照标准.再次,A :: a [1]是一个常量表达式,因此这是一个有效的数组约束,但编译器仍然允许在运行时发出代码来计算此值,并且数组约束仍然是odr-使用A :: a .

请注意,常量表达式是(默认情况下)潜在评估的表达式. Per [basic.def.odr](3.2)/ 2：

An expression is potentially evaluated unless it is an unevaluated operand (Clause 5) or a subexpression thereof.

[expr](5)/ 8只是重定向到其他子句：

In some contexts, unevaluated operands appear (5.2.8, 5.3.3, 5.3.7, 7.1.6.2). An unevaluated operand is not evaluated.

这些细节表示(分别)某些类型表达式的操作数,sizeof的操作数,noexcept的操作数以及decltype的操作数是未经评估的操作数.没有其他类型的不确定的操作数.