2.3. Объявления, определения и описания в языке Си

Существуют различные термины в языке Си, такие как, объявления, определения и описания. В литературе присутствует некоторая терминологическая путаница между этими понятиями, связанная, в том числе, и с переводом английских терминов, частично являющимися синонимами, на русский язык.

Для однозначной интерпретации данных терминов будем понимать их следующим образов.

Объявление объекта (переменной) - это оператор, позволяющий устанавливать атрибуты объекта, резервировать для него память, связывать объект с идентификатором (именем) или делать известным компилятору идентификатор объекта.

Прежде чем использовать объект в программе, он должен быть объявлен. Объявления делятся на два класса: определения и описания.

Определение – это разновидность объявления, которое устанавливает атрибуты объекта (переменной), резервирует для него память и связывает объект с идентификатором (именем).

Описание – это разновидность объявления, которое делает известным компилятору идентификатор объекта.

Определять объект можно только один раз, описывать множество раз. Рассмотрим отличительные признаки определений от описания применительно для переменных.

Признаки определения переменных:

• объявлена переменная без модификатора extern;

• объявлена переменная с инициализатором.

Признаки описания переменных:

• наличие модификатора extern (инициализация запрещена).

2.4. Объявления переменных стандартных типов

Общий формат объявления переменных:

[<спецификатор_класса_памяти>] [<модификатор>] <тип> <имя1>[=<инициализатор1>], <имя2>[=<инициализатор2>],…, <имяN>[=<инициализаторN>];

Необязательный элемент <спецификатор_класса_памяти> (необязательный элемент далее в записи форматов будет помещаться в квадратные скобки) одно из ключевых слов: auto, register, static, extern.

Необязательные элемент <модификатор> - могут быть ключевые слова: const, volatile и др.

Модификатор const означает, что инициализация (присвоение начального значения) переменной обязательна и далее значение переменной изменять нельзя. Модификатор volatile означает, что данная переменная может быть изменена где- то в другом месте, а не обязательно в этой программе, например, программой обработки прерываний (модификатор влияет на режим оптимизацию работы компилятора).

Примеры:

int i, j=10;

const float pi=3.14; // Далее запрещено изменять значение pi

extern double x; // Это есть описание, определение переменной в другом месте.

unsigned char C1=‘A’, C2=10, C3;

2.5. Преобразования типов

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

Преобразования типов могут выполняться неявно (по умолчанию) или существует операция явного преобразования типа.

Следует отметить, что язык Си – это язык со слабой типизацией, допустимы неявные преобразования любого стандартного типа в другой любой стандартный тип.

Неявные преобразования типов

Примеры:

double x=10.5;

char Ch=x; // Допустимо

int i=x, j=Ch;

long L=1050;

unsigned char C1=L;

Сформулируем следующие правила неявного преобразования стандартных типов.

1. Преобразование более длинного целого типа в менее длинный целый: отсекаются старшие биты.

2. Преобразование менее длинного целого типа в более длинный целый: если преобразуется беззнаковый тип, то старшие биты заполняются 0, если знаковый, то битом знака.

3. При преобразовании целых типов одинаковой длины, содержимое не меняется, может меняться интерпретация знакового бита

4. Преобразование менее длинного вещественного в более длинное: мантисса дополняется нулями справа.

5. Преобразование более длинного вещественного в менее длинное: усечение младших битов мантиссы, если значение слишком велико – результат не определен.

6. Преобразование вещественного к целому: дробная часть отбрасывается, и результат преобразуется в long, далее работают правила для целых, если значение слишком велико – результат не определен.

7. Преобразование целых к вещественным: преобразование к long, далее к вещественному, возможна потеря точности.

Явное преобразование типов

Существует операция явного преобразования типа, ее формат:

(<тип>) <операнд> или

<тип>(<операнд>)‏

Вторая форма может использоваться только, если имя типа задается одним словом, например, вторая форма не подходит для типа unsigned short и других подобных.

Примеры:

char c=(char) a;

float x=float( c );