C 11基于范围的for循环如何知道数组大小？

当我做这样的事情：

int my_array[5] = {1,2,3,4,5};
for (int &x : my_array) {
    x *= 2;
}

C 11显然知道我的阵列只有5个元素.这个信息是否存储在my_array对象的某处？

如果是这样,有没有什么好的理由为什么它不作为一个开发人员可用(或者是吗？！？！？)？如果C开发人员总是知道他们正在处理的数组的边界,似乎很多世界的问题都会得到解决.

解决方法

这只是语言需要的工作,编译器必须实现.显然,my_array的完整类型是int [5](即大小是类型的一部分),因此这些信息很容易获得.

与普遍的信念相反,没有使用免费的std :: begin()/ std :: end()函数,尽管那些天真地似乎能够做到这一点(但是有一个涉及ADL的捕获,打破这种方法).