变量是大小为1的数组吗？

Question

请考虑以下问题：

int main(int, char **) {
  int variable = 21;
  int array[1] = {21};
  using ArrayOf1Int = int[1];
  (*reinterpret_cast<ArrayOf1Int *>(&variable))[0] = 42;
  *reinterpret_cast<int *>(&array) = 42;
  return 0;
}

注意，我把这个标记为语言律师问题。因此，我对-fno-strict-aliasing或编译器的特定行为不感兴趣，而是对标准中所说的内容感兴趣。另外，我想知道这在C++03、C++11、C++14和较新的版本之间是否发生了变化，以及如何发生变化也是很有趣的。

Answer 1

显然，如果一个对象是大小为1的数组的变量，您可以用一个对象初始化对大小为1的数组的引用：

int variable{21};
int (&array)[1] = variable; // illegal

但是，初始化是非法的。与此相关的条款是第4条[conv]（标准转换），该条款在第1段中规定：

标准转换是具有内置含义的隐式转换。草案第4条列举了这类转换的全部内容。

这个语句的存在还意味着数组对象和非数组对象是不同的实体：如果它们被认为是相同的，那么就没有必要首先使用这个语句。

关于标准的先前（或未来）版本：尽管不同子句中的确切单词可能发生了变化，但总体情况没有改变：对象和数组总是不同的实体，而且到目前为止，我还不知道是否打算改变这一点。