c++ - std::end 如何知道数组的结尾？

Question

std::begin 和 std::end 知道 container 或 array 的开始和结束>.

例如，知道 vector 的 end 和 begin 非常容易，因为它是一个提供此信息的类。但是，它如何知道如下 array 的结尾？

int simple_array[5]{1, 2, 3, 4, 5};
auto beg=std::begin(simple_array);
auto en=std::end(simple_array);

std::begin 并不难知道数组从哪里开始。但是它怎么知道它在哪里结束呢？常量整数 5 会存储在某处吗？

如果我得到一些低级信息的答案，我将不胜感激。

Answer 1

But, how does it know the end of an array

它使用模板非类型参数来推断数组的大小，然后可以使用它来产生结束指针。 std::end 的 cppreference 部分的 C++11 签名如下:

template< class T, std::size_t N >
T* end( T (&array)[N] );

正如 hvd 所指出的，由于它是通过引用传递的，因此可以防止衰减到指针。

实现类似于:

template< class T, std::size_t N >
T* end( T (&array)[N] )
{
    return array + N ;
}

Is the constant integer 5 will be stored some where?

5 或 N 是数组类型的一部分，因此 N 在编译时可用。例如申请 sizeof到一个数组将给我们数组中的总字节数。

很多时候我们看到一个数组通过值传递给一个函数。在这种情况下，数组 decays to a pointer类型存储在数组中。所以现在尺寸信息丢失了。通过引用传递可以让我们避免这种信息丢失并从类型中提取大小N。