Квалификаторы типа

Спецификаторы класса памяти.

Спецификаторы объявления

Можно выделить следующие три категории спецификаторов:

· спецификаторы класса памяти.

· квалификаторы типа.

· спецификаторы типа.

Имеются следующие спецификаторы класса памяти:

· auto.

· extern

· regester

· static

· typedef

Класс памяти определяет время существования и вид связывания объявляемого имени. Ниже в таблице приводится назначение спецификаторов класса памяти приведено.

Спецификатор Назначение
auto Спецификатор допустим только в блоках и предназначен для указания на то, что переменная является локальной (автоматической). В программах обычно не используется в связи с тем, что по умолчанию локальные переменные имеют класс памяти auto.
extern Этот спецификатор используется для указания на то, что определяемое имя имеет внешнее связывание.
register Спецификатор применяется при работе с локальными переменными с той целью, чтобы рекомендовать компилятору хранить эту переменную в регистре. Современные компиляторы часто игнорируют эту спецификацию в связи с тем, что могут справиться с оптимизацией использования регистров лучше программиста.
static Этот спецификатор может появляться в объявлениях функций и переменных. В объявлениях функций этот спецификатор указывает на внутренное связывание. В объявлениях переменных назначение спецификатора зависит от контекста, в котором встречается объявление. В том случае, когда объявление находится вне функций, то спецификатор указывает на внутреннее связывание. Для локальных переменных определяет размещение переменной в статической области оперативной памяти.
typedef Определяет не имя функции или переменной, а имя типа. Имя типа располагается на месте объявителя.

 

Классификаторы const и volatile были введены в язык Си стандартом C89. Классификатор restrict был добавлен в язык стандартом С99.

Квалификатора const следует использовать в объявлениях тех объектов, значения которых должны оставаться неизменными. Имя константного объекта не должно встречаться в левой части оператора присваивания.

Квалификатор volatile предполагает, что значение объекта может внезапно измениться. На практике переменная, привязанная к некоторому аппаратному регистру, должна быть объявлена с использование этого квалификатора. Наличие рассматриваемого квалификатора обязывает компилятор отказаться от выполнения оптимизации.

Квалификатор restrict используется только с указателями и будет рассмотрен в разделе 38.