Проходження масиву за посиланням

Як працює передача статично розподіленого масиву за посиланням?

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

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

Чи (&myArray)[100]має якесь значення або його просто синтаксис для передачі будь-якого масиву за посиланням? Я не розумію окремих дужок, за якими тут стоять великі дужки. Дякую.

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

EDIT: Деякі роз’яснення.

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))

^ Передати покажчик функції. Функція повертає a intі приймає a 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
}

грати з кодом.