Декларирование размер входного массива в C++ функции

Question

Рассмотрим следующие функции C/C++:

void print_array_1(int arr[4]) { 
    for (int i = 0; i < 4; ++i) { 
     std::cout << arr[i] << std::endl; 
    } 
} 

void print_array_2(int arr[]) { 
    for (int i = 0; i < 4; ++i) { 
     std::cout << arr[i] << std::endl; 
    } 
} 

При переходе в массиве четыре элемента в каждой функции, они оба делают то же самое.

Есть ли какие-либо реальные различия? arr - это всего лишь указатель на кусок памяти, поэтому кажется, что они должны быть эквивалентными.

Answer 1

Нет, нет никакой разницы.

Формальный аргумент

int arr[4] 

распадается только

int* arr 

Это означает, что вы можете рассматривать его как изменяемый переменнуюуказатель внутри функции, и что также означает, что вся информация о размер массива пропал.

---

Один из способов определить и требуют определенного размера массива для формального аргумента, является использование std::array:

void foo(std::array<int, 4> const& arr) 

Другой способ передать необработанный массив по ссылке:

void bar(int (&arr)[4])