Стенли Липпман - Язык программирования C++. Пятое издание

void print(const char *cp) {

if (cp) // если cp не нулевой указатель

while (*cp) // пока указываемый символ не является нулевым

cout << *cp++; // вывести символ и перевести указатель

}

Это соглашение хорошо работает с данными, где есть очевидное значение конечного маркера (такое, как нулевой символ), который не встречается в обычных данных. Это работает значительно хуже с такими данными, как целые числа, где каждое значение в диапазоне вполне допустимо.

Второй подход обычно используется для управления аргументами в виде массива при передаче указателей на первый и следующий после последнего элемент массива. Подобный подход используется в стандартной библиотеке. Подробно этот стиль программирования обсуждается в части II. Используя этот подход, элементы массива можно отобразить следующим образом:

void print(const int *beg, const int *end) {

// вывести все элементы, начиная с beg и до, но не включая, end

while (beg != end)

cout << *beg++ << endl; // вывести текущий элемент

// и перевести указатель

}

Для вывода текущего элемента и перевода указателя begна следующий элемент массива цикл whileиспользует операторы обращения к значению и постфиксного инкремента (см. раздел 4.5). Цикл останавливается, когда begстановится равен end.

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

int j[2] = {0, 1};

// j преобразуется в указатель на первый элемент массива j

// второй аргумент - указатель на следующий элемент после конца j

print(begin(j), end(j)); // функции begin и end см. p. 3.5.3

Эта функция безопасна, пока вызывающая сторона правильно вычисляет указатели. Здесь эти указатели предоставляют библиотечные функции begin()и end()(см. раздел 3.5.3).

Третий подход распространен в программах С и устаревших программах С++. Он подразумевает определение второго параметра, указывающего размер массива. Используя этот подход, перепишем функцию print()следующим образом:

// const int ia[] - эквивалент const int* ia

// размер передается явно и используется для контроля доступа

// к элементам ia

void print(const int ia[], size_t size) {

for (size_t i = 0; i != size; ++i) {

cout << ia[i] << endl;

}

}

Эта версия использует параметр sizeдля определения количества выводимых элементов. Когда происходит вызов функции print(), ей следует передать этот дополнительный параметр:

int j[] = { 0, 1 }; // массив типа int размером 2

print(j, end(j) - begin(j));

Функция безопасна, пока переданный размер не превосходит реальную величину массива.

Обратите внимание, что все три версии функции print()определяли свои параметры массива как указатели на константу. В разделе 6.2.3 было упомянуто о схожести указателей и ссылок. Когда функция не нуждается в записи элементов массива, параметр массива должен быть указателем на константу (см. раздел 2.4.2). Параметр должен быть простым указателем на неконстантный тип, только если функция должна изменять значения элементов.

Подобно тому, как можно определить переменную, являющуюся ссылкой на массив (см. раздел 3.5.1), можно определить параметр, являющийся ссылкой на массив. Как обычно, ссылочный параметр привязан к соответствующему аргументу, которым в данном случае является массив:

// ok: параметр является ссылкой на массив; размерность - часть типа

void print(int (&arr)[10]) {

for (auto elem : arr)

cout << elem << endl;

}

Круглые скобки вокруг части &arrнеобходимы (см. раздел 3.5.1):

f(int &arr[10]) // ошибка: объявляет arr как массив ссылок

f(int (&arr)[10]) // ok: arr - ссылка на массив из десяти целых чисел

Поскольку размер массива является частью его типа, на размерность в теле функции вполне можно положиться. Однако тот факт, что размер является частью типа, ограничивает полноценность этой версии функции print(). Эту функцию можно вызвать только для массива из десяти целых чисел: