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

Поскольку оператор sizeofвозвращает размер всего массива, разделив размер массива на размер элемента, можно определить количество элементов в массиве:

// sizeof(ia)/sizeof(*ia) возвращает количество элементов в ia

constexpr size_t sz = sizeof (ia)/sizeof(*ia);

int arr2[sz]; // ok: sizeof возвращает константное выражение

// (p. 2.4.4)

Так как оператор sizeofвозвращает константное выражение, его результат можно использовать в выражении для определения размерности массива.

Упражнение 4.28. Напишите программу для вывода размера каждого из встроенных типов.

Упражнение 4.29. Предскажите вывод следующего кода и объясните свое рассуждение. Напишите и выполните соответствующую программу. Совпадает ли вывод с ожиданиями? Если нет, то объясните почему.

int x[10]; int *p = x;

cout << sizeof(x)/sizeof(*x) << endl;

cout << sizeof(p)/sizeof(*p) << endl;

Упражнение 4.30. Используя таблицу из раздела 4.12, расставьте скобки в следующих выражениях так, чтобы продемонстрировать порядок его обработки:

(a) sizeof x + y (b) sizeof p->mem[i]

(с) sizeof а < b (d) sizeof f()

Оператор запятая ( ,) (comma operator) получает два операнда, обрабатываемых слева направо. Подобно операторам логического AND и OR, а также условному оператору, оператор запятая гарантирует порядок обработки своих операндов.

Левое выражение обрабатывается, а его результат отбрасывается. Результат выражения запятая — это значение правого выражения. Результат является l-значением, если правый операнд — l-значение.

Оператор запятая нередко используется в цикле for:

vector::size_type cnt = ivec.size();

// присвоить значения элементам size...1 вектора ivec

for (vector::size_type ix = 0;

ix != ivec.size(); ++ix, --cnt)

ivec[ix] = cnt;

Здесь выражения в заголовке цикла forувеличивают значение итератора ixи уменьшают значение целочисленной переменной cnt. Значения итератора ixи переменной cntизменяются при каждой итерации цикла. Пока проверка итератора ixпроходит успешно, следующему элементу присваивается текущее значение переменной cnt.

Упражнение 4.31. Программа этого раздела использовала префиксные операторы инкремента и декремента. Объясните, почему были использованы префиксные, а не постфиксные версии? Что следует изменить для использования постфиксных версий? Перепишите программу с использованием постфиксных операторов.

Упражнение 4.32. Объясните следующий цикл:

constexpr int size = 5;

int ia[size] = {1,2,3,4,5};

for (int *ptr = ia, ix = 0;

ix != size && ptr != ia+size; ++ix, ++ptr) { /* ... */ }

Упражнение 4.33. Используя таблицу раздела 4.12, объясните, что делает следующее выражение:

someValue ? ++x, ++y : --x, --y

В языке С++ некоторые типы взаимосвязаны. Когда два типа взаимосвязаны, объект или значение одного типа можно использовать там, где ожидается операнд связанного типа. Два типа считаются связанными, если между ними возможно преобразование (conversion).

Для примера рассмотрим следующее выражение, инициализирующее переменную ivalзначением 6:

int ival = 3.541 + 3; // компилятор может предупредить о потере точности

Операндами сложения являются значения двух разных типов: 3.541имеет тип doubleа 3— int. Вместо попытки суммирования двух значений разных типов язык С++ определяет набор преобразований, позволяющих преобразовать операнды в общий тип. Эти преобразования выполняются автоматически без вмешательства программиста, а иногда и без его ведома. Поэтому они и называются неявным преобразованием (implicit conversion).

Неявные преобразования между арифметическими типами определены так, чтобы по возможности сохранять точность. Как правило, если у выражения есть и целочисленное значение, и значение с плавающей запятой, целое число преобразуется в число с плавающей точкой. В данном случае значение 3преобразуется в тип double, осуществляется сложение чисел с плавающей запятой, и возвращается результат типа double.

Затем происходит инициализация. При инициализации доминирует тип инициализируемого объекта. Поэтому инициализатор преобразуется в его тип. В данном случае результат сложения типа doubleпреобразуется в тип intи используется для инициализации переменной ival. Преобразование типа doubleв тип intусекает значение типа double, отбрасывая десятичную часть. В данном случае выражение присваивает переменной ivalзначение 6.