Си++ вам не Си

[vak]

В частности, передавать массивы в качестве параметров лучше всего по ссылке:

void foo(int (&array)[10])
{
    //...
}

Такую процедуру не удастся вызвать с параметром - массивом другого, неподходящего размера.
Если же написать, как в Си:

void bar(int array[10])
{
    //...
}

то такой параметр фактически обрабатывается как "int *array", и никакой проверки размера массива не делается.

Comments

[ircicq]

Рекомендуется всё же форма: std::array<int, 10>

[norian]

этот темплейтный класс с кучей потрохов вообще низачем не нужен

вот что не рекомендуецца так это числовые константы в коде, их лучше определять в топовом хедере как const size_t myArrayLimit = 10; и не искать потом по всему коду

[vak]

Наворачивание лишней абстракции не всегда полезно.

[spamsink]

Если процедура умеет только один конкретный тип данных, то его надо один раз назвать именованным классом и не мучиться с магическими константами. А в начале процедуры, если очень лень писать имя поля, можно написать и что-то типа int (&array)[] = arg.array; - тип уже проверен.

[vak]

Когда уместен класс, то нет вопросов. Но иногда массив это просто массив.

[juan_gandhi]

Ой как интересно нынче. А 10 - это только литерал может быть? А константа? А что-нибудь вычисляемое?

[ircicq]

Да, в C++ сейчас есть constexpr функции
Их можно вычислять в Compile time

[vak]

Всё это можно. За последние 10 лет язык Си++ сильно изменился в сторону динамических вычислений. Функции constexpr уже упомянули выше.

https://en.cppreference.com/w/cpp/language/constexpr

[sergegers]

Лучше void foo(std::span<int, 10>), но всё это синтаксический сахар.

[vak]

Span хорош для динамических массивов, когда длина может меняться.

[sergegers]

Он обслуживает и C array и std::array и динамические массивы. Причём статические массивы с проверкой в compile time.

[dluciv]

Дополню: в Си не делается для старшего индекса, который для одномерного массива единственный. У многомерного массива все размерности, кроме старшей, являются частью типа, иначе его просто индексировать не получится.

[vak]

Это верно.

[pappadeux]

всегда считал, что нет многомерных массивов

[fenikso]

Для передачи массива как параметра в варианте с неизвестным заранее размером массива еще бывает полезен absl::Span (https://abseil.io/tips/93), но это когда можно дополнительные библиотеки подключать. Еще удобен тем что в функцию которая принимает absl:Span, можно передать вектор и т.п.

[vlkamov]

Мало что понял, особенно комментарии, но вот здесь
> void bar(int array[10])
получается, что 10 - буквально ни о чем. Что с таким же успехом можно ставить 20, 2
Так ?

[pappadeux]

Да

массив становится указателем на 1й елемент

https://opensourceforu.com/2016/09/decayintopointers/

[vlkamov]

Howdo - это само собой.

Просто я люблю, чтобы код был читабелен даже козе, например
https://vlkamov.livejournal.com/685130.html

Если массив всегда из 10 элементов, то 10-ка должна быть прописана в коде функции.
Тогда ею вообще не следует захламлять вызов и объявление, например

void bar(int array[])
или для ясности
void bar(int array_10[])

Но если массив то там то сям разной длины, функции следует сообщить, сколько чего, например
void bar(int array[], 10)
...
void bar(int array[], 22)

Хотя не уверен, что компилятор напрямую скушает такие конструкции.

[pappadeux]

> void bar(int array[10])
> или для ясности
> void bar(int array_10[])

так проблема в том, что человеку, возможно, это и помогает, а железяке - нет. Нет возможности громко закричать если юсер запулил туда массив из 9ти элементов.

> void bar(int array[], 22)


это Фортран с точки зрения С