R.3.5 Классы памяти

Существует два описываемых класса памяти: автоматический и статический. Автоматические объекты становятся локальными при передаче управления в каждый блок. Статические объекты существуют и сохраняют свое значение во все время выполнения программы. Автоматические объекты инициализируются ($$R.12.1) всякий раз, когда управление переходит в блок, где они определены и уничтожаются ($$R.12.4) по выходе из этого блока ($$R.6.7). Поименованный автоматический объект не должен быть уничтожен до окончания его блока, точно так же, как не может быть исключен поименованный автоматический объект класса, имеющего конструктор или деструктор с побочным эффектом, даже если кажется, что этот объект не используется. Аналогично, глобальный объект класса с конструктором или деструктором, имеющими побочный эффект, не может быть исключен, даже если кажется, что он не используется. Статические объекты инициализируются и уничтожаются в соответствии с описанием в $$R.3.4 и $$R.6.7. С некоторыми объектами не связано никакого имени, см. $$R.5.3.3 и $$R.12.2. Все глобальные объекты имеют класс памяти статический. Локальным объектам и членам класса можно предать класс памяти статический с помощью явного использования спецификации класса памяти static ($$R.7.1.1).

R.3.6 Типы

Существуют два вида типов: основные и производные.

R.3.6.1 Основные типы

Существует несколько основных типов. В стандартном заголовочном файле <limits.h> задаются в зависимости от реализации минимальные и максимальные значения каждого типа. Объекты, описанные как символы (char), могут хранить любой элемент из базового набора символов данной машины. Если символ этого набора хранится в символьной переменной, то ее значение равно целому значению кода этого символа. Символы могут явно описываться как unsigned или signed. Обычный char, signed char и unsigned char являются тремя различными типами. Для всех этих трех типов требуется одинаковый объем памяти. С помощью описаний short int, int и long int можно определить целые трех различных размеров. Для длинных целых требуется памяти не меньше чем для коротких целых, но в реализации или короткие целые, или длинные целые, или и те и другие могут оказаться эквивалентными обычным целым. Обычные целые имеют размер, определяемый системой команд, размеры других целых определяются конкретными потребностями. Для каждого из типов signed char, short, int и long существует соответствующий беззнаковый тип, который занимает тот же объем памяти и удовлетворяет тем же требованиям выравнивания. Требование выравнивание - это ограничение на значение указателя на данный объект, которое накладывает реализация ($$R.5.4). Беззнаковые целые, описанные как unsigned, подчиняются законом арифметики по модулю 2@n, где n число битов, используемое для представления значения. Отсюда следует, что в арифметике беззнаковых не возникает переполнения. Существует три типа с плавающей точкой: float, double и long double. Тип double гарантирует не меньшую точность представления, чем float, а тип long double гарантирует точность не меньше, чем у double. Характеристики основных типов с плавающей точкой определяются в соответствии с реализацией в стандартном заголовочном файле <float.h>. Типы char, int любых размеров и тип перечисления ($$R.7.2) называются целочисленными типами. Целочисленные типы вместе с типами с плавающей точкой образуют арифметические типы. Тип void задает пустое множество значений. Он используется для обозначения типа функций, которые не возвращают результат. Нельзя описывать объекты с типом void. Любое выражение можно явно преобразовать к типу void ($$R.5.4), получившееся выражение можно использовать только как выражение-оператор ($$R.6.2), как левый операнд операции запятая ($$R.5.18) или в качестве второго или третьего операнда в операции ?: ($$R.5.16).