Глобальные переменные, такие как

и , инициализируются до выполнения первой инструкции функции . Они существуют, пока программа не закончит работу, а потом уничтожаются. Они создаются в порядке следования своих определений (т.е. переменная program_name создается до переменной ), а уничтожаются — в обратном порядке (т.е. переменная уничтожается до переменной ).

Когда какая-нибудь функция вызывает функцию

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

Каждый раз, когда мы входим в цикл

, создается переменная . Каждый раз, когда мы выходим из цикла , переменная уничтожается до того, как мы достигнем инструкции .

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

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

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

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

Обратите внимание на то, что оператор

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

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

Эта инициализация логически происходит до выполнения кода в функции

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