Что означает (&) - амперсанд в круглых скобках - означает в этом коде?

Question

В this answer, следующий код дается (C++ 11):

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

Что означает (&) означает в этом контексте? Такие вещи чрезвычайно трудно найти.

Answer 1

Это сокращенное что-то вроде этого:

template <typename T, size_t N> 
constexpr size_t size_of(T (&anonymous_variable)[N]) { 
    return N; 
} 

В функции, вы на самом деле не нужен имени переменный, просто шаблон вычет на N - так что мы можем просто выбрать опустить Это. Скобки являются синтаксически необходимыми, чтобы передать массив по ссылке - вы не можете передать массив по значению.

Answer 2

Это передача массива в качестве параметра по ссылке:

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

Как вы не можете передать массив как это:

template <typename T, size_t N> 
constexpr size_t size_of(T[N]) { 
    return N; 
} 

Если массив получил название, это будет выглядеть :

template <typename T, size_t N> 
constexpr size_t size_of(T (&arrayname)[N]) { 
    return N; 
}