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

Question

当我做这样的事情时:

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

C++ 11显然知道我的数组只有5个元素.这些信息是否存储在my_array对象的某个位置？

如果是这样,有什么理由说明为什么它不能作为开发人员提供给我(或者是它？!？!？)？如果C++开发人员总是知道他们正在处理的数组的界限,似乎很多世界的问题都将得到解决.

Answer 1

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

与流行的看法相反,没有使用游戏中的免费std::begin()/ std::end()功能,虽然那些天真似乎能够做到这一点(但是有一个涉及ADL的攻击会破坏这种方法).

Answer 2

它是可用的 - 您可以在标准C++中定义begin和end使用数组.数组的大小以类型编码.

一般方法是使用对数组的引用.

这是一个示例大小函数:

template<typename T, size_t N>
size_t array_size(T (& const)[N])
{
    return N;
}

Answer 3

不,它不是对象的一部分.但它是这种类型的一部分.这就是5数组声明中的内容.但是,这不起作用:

void f(int arr[5]) {
    for(int& x: arr) {
        // whatever
    }
}

因为这里的数组名称衰减为指向其第一个元素的指针,也就是说,参数声明等效于int *arr没有大小信息.