Это правильно, так как он использует метапрограммирование как это:
template <typename T, std::size_t N>
inline std::size_t array_size( T (&)[N] ) {
return N;
};
Вы должны знать, что это работает, когда компилятор видит определение массива, но не после того, как он был передан функции (где он распадается в указатель):
void f( int array[] )
{
//std::cout << array_size( array ) << std::endl; // fails, at this point array is a pointer
std::cout << sizeof(array)/sizeof(array[0]) << std::endl; // fails: sizeof(int*)/sizeof(int)
}
int main()
{
int array[] = { 1, 2, 3, 4, 5 };
f( array );
std::cout << array_size( array ) << std::endl; // 5
std::cout << sizeof(array)/sizeof(array[0]) << std::endl; // 5
}