Передача массива по ссылке

Как работает передача статически размещенного массива по ссылке?

void foo(int (&myArray)[100])
{
}

int main()
{
    int a[100];
    foo(a);
}

Имеет ли (&myArray)[100]какой-либо смысл или это просто синтаксис для передачи любого массива по ссылке? Я не понимаю отдельных скобок, за которыми следуют большие скобки. Спасибо.

Это синтаксис для ссылок на массивы - вам нужно использовать, (&array)чтобы уточнить компилятору, что вы хотите ссылаться на массив, а не на (недопустимый) массив ссылок int & array[100];.

РЕДАКТИРОВАТЬ: некоторые уточнения.

void foo(int * x);
void foo(int x[100]);
void foo(int x[]);

Эти три разных способа объявления одной и той же функции. Все они рассматриваются как принимающие int *параметр, вы можете передать им массив любого размера.

void foo(int (&x)[100]);

Это принимает только массивы из 100 целых чисел. Вы можете безопасно использовать sizeofнаx

void foo(int & x[100]); // error

Это анализируется как «массив ссылок» - что не является законным.

Это просто необходимый синтаксис:

void Func(int (&myArray)[100])

^ Передать массив из 100 intпо ссылке имя параметра myArray;

void Func(int* myArray)

^ Передайте массив. Массив распадается на указатель. Таким образом вы теряете информацию о размере.

void Func(int (*myFunc)(double))

^ Передать указатель на функцию. Функция возвращает intи принимает double. Имя параметра есть myFunc.

Это синтаксис. В аргументах функции необходимы int (&myArray)[100]скобки, заключающие в себя &myArray. если вы не используете их, вы будете передавать, array of referencesи это потому, что subscript operator []имеет более высокий приоритет над & operator.

Например int &myArray[100] // array of references

Таким образом, используя его, type construction ()вы сообщаете компилятору, что вам нужна ссылка на массив из 100 целых чисел.

Например int (&myArray)[100] // reference of an array of 100 ints

Массивы по умолчанию передаются указателями. Вы можете попробовать изменить массив внутри вызова функции для лучшего понимания.

Следующее создает обобщенную функцию, принимая массив любого размера и любого типа по ссылке:

template<typename T, std::size_t S>
void my_func(T (&arr)[S]) {
   // do stuff
}

играть с кодом.