Программирование. Принципы и практика использования C++ Исправленное издание

Каждый раз, когда мы входим в цикл for, создается переменная i. Каждый раз, когда мы выходим из цикла for, переменная i уничтожается до того, как мы достигнем инструкции v.push_back(stripped);.

Обратите внимание на то, что компиляторы (и редакторы связей) — довольно разумны и способны оптимизировать код. В частности, компиляторы не выделяют и не освобождают память чаще, чем это действительно требуется.

8.6.1. Вычисление выражения

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

v[i] = ++i; // неопределенный порядок вычислений

v[++i] = i; // неопределенный порядок вычислений

int x = ++i + ++i; // неопределенный порядок вычислений

cout << ++i << ' ' << i << '\n'; // неопределенный порядок вычислений

f(++i,++i); // неопределенный порядок вычислений

К сожалению, не все компиляторы выдают предупреждение о таких ошибках; это плохо, потому что нельзя рассчитывать на то, что результаты будут одинаковыми при выполнении вычислений на другом компьютере, при использовании других компиляторов или при других установках оптимизатора.

Компиляторы действительно по-разному обрабатывают этот код; избегайте таких ситуаций.

Обратите внимание на то, что оператор = (присваивание) в выражениях используется наряду с остальными, поэтому нет никакой гарантии того, что левая часть оператора будет вычислена раньше правой части. По этой причине выражение v[++i] = i имеет неопределенный результат.

8.6.2. Глобальная инициализация

Глобальные переменные (и переменные из пространства имен; раздел 8.7) в отдельной единице трансляции инициализируются в том порядке, в котором они появляются. Рассмотрим пример.

// файл f1.cpp

int x1 = 1;

int y1 = x1+2; // переменная y1 становится равной 3

Эта инициализация логически происходит до выполнения кода в функции main. Использование глобальной переменной, за исключением редких ситуаций, нецелесообразно. Мы уже говорили, что не существует эффективного способа, позволяющего программисту определить, какие части программы считывают или записывают переменную (см. раздел 8.4). Другая проблема заключается в том, что порядок инициализации глобальных переменных не определен. Рассмотрим пример.

// файл f2.cpp

extern int y1;

int y2 = y1+2; // переменная y2 становится равной 2 или 5

Такой код нежелателен по нескольким причинам: в нем используются глобальные переменные, которые имеют слишком короткие имена, и сложная инициализация глобальных переменных. Если глобальные переменные в файле f1.cpp инициализируются до глобальных переменных в файле f2.cpp, то переменная y2 будет инициализирована числом 5 (как наивно ожидает программист).

Однако, если глобальные переменные в файле f2.cpp инициализируются до глобальных переменных в файле f1.cpp, переменная y2 будет инициализирована числом 2 (поскольку память, используемая для глобальных переменных, инициализируется нулем до попытки сложной инициализации). Избегайте этого и старайтесь не использовать нетривиальную инициализацию глобальных переменных; любой инициализатор, отличающийся от константного выражения, следует считать сложным.

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

const Date default_date(1970,1,1); // дата по умолчанию: 1 января 1970

Как узнать, что переменная default_date никогда не использовалась до своей инициализации? В принципе мы не можем этого знать, поэтому не должны писать это определение. Чаще всего для проверки используется вызов функции, возвращающей некое значение. Рассмотрим пример.

const Date default_date // возвращает дату по умолчанию

{

  return Date(1970,1,1);

}

Эта функция создает объект типа Date каждый раз, когда вызывается функция default_date. Часто этого вполне достаточно, но если функция default_date вызывается часто, а создание объекта класса Date связано с большими затратами, предпочтительнее было бы конструировать его только один раз. В таком случае код мог бы выглядеть так: