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

Упражнение 4.8. Объясните, когда обрабатываются операнды операторов логического AND, логического OR и оператора равенства.

Упражнение 4.9. Объясните поведение следующего условия оператора if:

const char *cp = "Hello World";

if (cp && *cp)

Упражнение 4.10. Напишите условие цикла while, который читал бы целые числа со стандартного устройства ввода, пока во вводе не встретится значение 42.

Упражнение 4.11. Напишите выражение, проверяющее четыре значения а, b, си dи являющееся истинным, если значение абольше b, которое больше c, которое больше d.

Упражнение 4.12. С учетом того, что i, jи kимеют тип int, объясните значение выражения i != j < k.

Левым операндом оператора присвоения должно быть допускающее изменение l-значение. Ниже приведено несколько примеров недопустимых попыток присвоения.

int i = 0, j = 0, k = 0; // инициализация, а не присвоение

const int ci = i; // инициализация, а не присвоение

1024 = k; // ошибка: литерал является r-значением

i + j = k; // ошибка: арифметическое выражение - тоже r-значение

ci = k; // ошибка: ci - константа (неизменяемое l-значение)

Результат присвоения, левый операнд, является l-значением. Тип результата совпадает с типом левого операнда. Если типы левого и правого операндов отличаются, тип правого операнда преобразуется в тип левого.

k = 0; // результат: тип int, значение 0

k = 3.14159; // результат: тип int, значение 3

По новому стандарту с правой стороны можно использовать список инициализации (см. раздел 2.2.1):

k = {3.14}; // ошибка: сужающее преобразование

vector vi; // первоначально пусто

vi = {0,1,2,3,4,5,6,7,8,9}; // теперь vi содержит десять элементов

// со значениями от 0 до 9

Если левый операнд имеет встроенный тип, список инициализации может содержать максимум одно значение, и это значение не должно требовать сужающего преобразования (narrowing conversion) (см. раздел 2.2.1).

Для типов классов происходящее зависит от подробностей класса. В случае вектора шаблон vectorопределяет собственную версию оператора присвоения, позволяющего использовать список инициализации. Этот оператор заменяет элементы вектора с левой стороны элементами списка с правой.

Независимо от типа левого операнда список инициализации может быть пуст. В данном случае компилятор создает инициализированный значением по умолчанию (см. раздел 3.3.1) временный объект и присваивает это значение левому операнду.

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

int ival, jval;

ival = jval = 0; // ok: каждой переменной присвоено значение 0

Поскольку присвоение имеет правосторонний порядок, его крайняя правая часть, jval = 0, является правым операндом крайнего левого оператора присвоения. Поскольку присвоение возвращает свой левый операнд, результат крайнего правого присвоения (т.е. jval) присваивается переменной ival.

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

int ival, *pval; // ival имеет тип int; pval имеет тип указателя на int

ival = pval = 0; // ошибка: переменной типа int нельзя присвоить

// значение указателя

string s1, s2;

s1 = s2 = "OK"; // строковый литерал "OK" преобразован в строку

Первое присвоение некорректно, поскольку объекты ivalи pvalимеют разные типы и не существует преобразования типа int*( pval) в тип int( ival). Оно некорректно, несмотря на то, что значение нуль может быть присвоено любому объекту.

Второе присвоение, напротив, вполне допустимо. Строковый литерал преобразуется в значение типа string, которое и присваивается переменной s2типа string. Результат этого присвоения — строка s2— имеет тот же тип, что и строка s1.

Присвоения нередко происходят в условиях. Поскольку оператор присвоения имеет относительно низкий приоритет, его обычно заключают в скобки, чтобы он работал правильно. Чтобы продемонстрировать, чем присвоение может быть полезно в условии, рассмотрим следующий цикл. Здесь необходимо вызывать функцию до тех пор, пока она не возвратит желаемое значение, скажем 42.