相关疑难解决方法(0)

给出以下代码:

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的int a = A::a[0]？

^{注意:这个问题代表了休息室辩论的一个不那么闷热/不合逻辑/无穷无尽的版本.}