Константы

Операнду-константе соответствует значение и тип представляющей его константы. Типы констант подробно описаны в разделе 1.2. Символьная константа имеет тип int . Целая константа имеет один из следующих типов: int , long , unsigned int или unsigned long , в зависимости от размера целого на данном компьютере и от того, как специфицировано ее значение. Константы с плавающей точкой имеют тип double (в версии 2.0 СП ТС допустимы также константы типа float ). Символьные строки имеют тип массив символов; они обсуждаются в разделе 4.2.3.

Символьные строки

Символьная строка состоит из последовательности символов, заключенных в двойные кавычки. Эта последовательность представляется в памяти как массив элементов типа char . Символьная строка представляет в выражении адрес этого массива, т. е. адрес первого элемента строки.

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

Вызовы функций

Синтаксис:

<выражение > (<список-выражений >)

Значением <выражения> должен быть адрес функции. В простейшем случае это идентификатор функции. <Список выражений > содержит выражения, разделенные запятыми. Значение каждого из этих выражений соответствует фактическому аргументу функции. Список выражений может быть пустым, если функция не имеет аргументов, однако наличие скобок и в этом случае обязательно.

Выражение вызова функции имеет тип — тип возвращаемого функцией значения. Если объявлен тип возвращаемого значения void , то и выражение вызова функции имеет тип void . Если возврат из вызванной функции произошел не в результате выполнения оператора return , содержащего выражение, то значение функции не определено. В разделе 6.4 дана более полная информация о вызовах функций.

Индексные выражения

Синтаксис:

<выражение1 >[<выражение2 >]

Здесь квадратные скобки являются символами языка Си, а не элементами описания.

Значение индексного выражения находится по адресу, который вычисляется как сумма значений <выражения1 > и <выражения2 >. Выражение1 должно иметь тип указателя на некоторый тип, например быть идентификатором массива, а выражение2, заключенное в квадратные скобки, должно иметь целый тип. Однако требование синтаксиса состоит лишь в том, чтобы одно из выражений было указателем, а другое имело целый тип; порядок же следования выражений безразличен.

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

Индексное выражение вычисляется путем сложения целого значения со значением указателя (или с адресом массива) и последующим применением к результату операции косвенной адресации. Операция косвенной адресации описана в разделе 4.3.2. Например, для одномерного массива следующие четыре выражения эквивалентны, если а — массив или указатель, а b — целое.

а[b]

*(а + b)

*(b + а)

b[а]

В соответствии с правилами преобразования типов для операции сложения (смотри раздел 4.3.4) целочисленное значение при сложении с указателем (адресом) должно умножаться на размер типа, адресуемого указателем. Предположим, например, что идентификатор line определен как массив типа int . При вычислении выражения line[i] , целое значение i умножается на размер типа int . Полученное значение представляет i ячеек типа int . Это значение складывается со значением указателя line , что дает адрес объекта, смещенного на i ячеек типа int относительно line , т.е. адрес i -го элемента line .

Заключительным шагом вычисления индексного выражения является применение к полученному адресу операции косвенной адресации. Результатом является значение i -го элемента массива line .

Следует помнить, что индексное выражение line [0] представляет значение первого элемента массива, так как индексация элементов массива начинается с нуля. Следовательно, выражение line [5] ссылается на шестой по порядку следования в памяти элемент массива.