Имя вектора может преобразовываться в указатель на его первый
элемент.
Идентификатор, описанный как "функция, возвращающая ...", всегда,
когда он не используется в позиции имени функции в вызове,
преобразуется в "указатель на функцию, возвращающую ...".
- стр 263 -
6.8 Преобразования ссылок
Везде, где инициализируются ссылки, может выполняться сследующее
преобразование.
Ссылка на класс может преобразовываться в ссылку на открытый
базовый класс этого класса; см. #8.6.3.
7. ВЫРАЖЕНИЯ
Приоритет операций в выраженях такой же, как и порядок главных
подразделов в этом разделе, наибольший приоритет у первого. Так
например, выражения, о которых говорится как об операндах операции
+ (#7.4) - это те выражения, которые определены в ##7.1-7.4.
Внутри каждого подраздела операции имеют одинаковый приоритет. В
каждом подразделе для рассматриваемых в нем операций определяется
их левая или правая ассоциативность (порядок обработки операндов).
Приоритет и ассоциативность всех операций собран вместе в описании
грамматики в #14.
В остальных случаях порядок вычисления выражения неопределен.
Точнее, компилятор волен вычислять подвыражения в том порядке,
который он считает более эффективным, даже если подвыражения
вызывают побочные эффекты. Порядок возникновения побочных эффектов
неопределен. Выражения, включающие в себя коммутативные и
асссоциативные операции (*, +, &, |, ^), могут быть реорганизованы
произвольным образом, даже при наличии скобок; для задания
определенного порядка вычисления выражения необходимо использовать
явную временную переменную.
Обработка переполнения и контроль деления при вычислении
выражения машинно зависимы. В большинстве существующих реализаций
C++ переполнение целого игнорируется; обработка деления на 0 и всех
исключительных ситуаций с числами с плавающей точкой различаются от
машины к машине и обычно могут регулироваться библиотечными
функциями.
Кроме стандартного значения, описанного в #7.2-7.15, операции
могут быть перегружены*, то есть, могут быть заданы их значения для
случая их применения к типам, определяемым пользователем; см.
#7.16.
7.1 Основные выражения
Основные выражения, включающие в себя . , -> , индексирование и
вызовы функций, группируются слева направо.
список_выражений:
выражение
список_выражений , выражение
id:
идентификатор
____________________
* Этот термин применяется для описания использования в языке
одной и той же лексемы для обозначения различных процедур; вид
процедуры выбирается компилятором на основании дополнительной
информации в виде числа и типа аргументов и т.п.
- стр 264 -
имя_функции_операции
typedef-имя :: идентификатор
typedef-имя :: имя_функции_операции
первичное_выражение:
id
:: идентификатор
константа
строка
this
( выражение )
первичное_выражение [ выражение ]
первичное_выражение ( список_выражений opt )
первичное_выражение . id
первичное_выражение -> id
Идентификатор есть первичное выражение, причем соответственно
описанное (#8). Имя_функции_операции есть идентификатор со
специальным значением; см. #7.16 и #8.5.1.
Операция ::, за которой следует идентификатор из файловой области
видимости, есть то же, что и идентификатор. Это позволяет ссылаться
на объект даже в том случае, когда его идентификатор скрыт (#4.1).
Typedef-имя (#8.8) , за которым следует ::, после чего следует
идентификатор, является первичным выражением. Typedef-имя должно
обозначать класс (#8.5), и идентификатор должен обозначать член
этого класса. Его тип специфицируется описанием идентификатора.
Typedef-имя может быть скрыто именем, которое не является именем
типа. В этом случае typedef-имя все равно может быть найдено и его
можно использовать.
Константа является первичным выражением. Ее тип должен быть int,
long или double в зависимости от ее формы.
- стр 265 -
Строка является первичным выражением. Ее тип - "массив символов".
Обычно он сразу же преобразуется в указатель на ее первый символ
(#6.7).
Ключевое слово this является локальной переменной в теле функции
члена (см. #8.5) . Оно является указателем на объект, для которого
функция была вызвана.
Выражение, заключенное в круглые скобки, является первичным
выражением, чей тип и значение те же, что и у незаключенного в
скобки выражения. Наличие скобок не влияет на то, является
выражение lvalue или нет.
Первичное выражение, за которым следует выражение в квадратных
скобках, является первичным выражением. Интуитивный смысл - индекс.
Обычно первичное выражение имеет тип "указатель на ...",
индексирующее выражение имеет тип int и тип результата есть "...".
Выражение Е1[Е2] идентично (по определению) выражению *((E1)+(E2)).
Все тонкие места, необходимые для понимания этой записи, содержатся
в этом разделе вместе с обсуждением в ## 7.1, 7.2 и 7.4,
соответственно, идентификаторов, * и + ; ниже, в #8.4.2 приводятся
следствия из этого.
Вызов функции является первичным выражением, за которым следуют
скобки, содержащие список (возможно, пустой) разделенных запятыми
выражений, составляющих фактические параметры для функции.
Первичное выражение должно иметь тип "функция, возвращающая ..."
или "указатель на функцию, возвращающую ...", и результат вызова
функции имеет тип "...".
Каждый формальный параметр инициализируется фактическим
параметром (#8.6). Выполняются стандартные (#6.6-8) и определяемые
пользователем преобразования (#8.5.6). Функция может изменять
значения своих формальных параметров, но эти изменения не могут
повлиять на значения фактических параметров за исключением случая,
когда формальный параметр имеет ссылочный тип.
Функция может быть описана как получающая меньше или больше
параметров, чем специфицировано в описании функции (#8.4). Каждый
фактический параметр типа float, для которого нет формального
параметра, преобразуются к типу double; и, как обычно, имена
массивов преобразуются к указателям. Порядок вычисления параметров
не определен языком; имейте в виду различия между компиляторами.
Допустимы рекурсивные вызовы любых функций.
Первичное выражение, после которого стоит точка, за которой
следует идентификатор (или идентификатор, уточненный typedef-именем
с помощью операции ::) является выражением. Первое выражение должно
быть объектом класса, а идентификатор должен именовать член этого
класса. Значением является именованный член объекта, и оно является
адресным, если первое выражение является адресным. Следует
отметить, что "классовые объекты" могут быть структурами (#8.5.12)
или объединениями (#8.5.13).
Первичное выражение, после которого стоит стрелка ( -> ), за
которой следует идентификатор (или идентификатор, уточненный
typedef-именем с помощью операции ::) является выражением. Первое
выражение должно быть указателем на объект класса, а идентификатор
должен именовать член этого класса. Значение является адресом,
ссылающимся на именованный член класса, на который указывает
указательное выражение. Так, выражение E1->MOS есть то же, что и
(*E1).MOS. Классы обсуждаются в #8.5.
Если первичное выражение дает значение типа "указатель на ..."
(см. #8.4 and #8.6.3), значением выражения был объект,
- стр 266 -
обозначаемый ссылкой. Ссылку можно считать именем объекта; см.
#8.6.3.
7.2 Унарные операции
Выражения с унарными операциями группируют справа налево:
унарное_выражение:
унарная_операция выражение
выражение ++
выражение --
sizeof выражение
sizeof ( имя_типа )
( имя_типа ) выражение
простое_имя_типа ( список_выражений )
new имя_типа инициализатор opt
new ( имя_типа )
delete выражение
delete [ выражение ] выражение
унарная_операция: одна из
* & - ! ~ ++ --
Унарная операция * означает косвенное обращение: выражение должно
быть указателем и результатом будет lvalue, ссылающееся на объект,
на который указывает выражение. Если выражение имеет тип "указатель
на ...", то тип результата есть "...".
Результатом унарной операции & является указатель на объект, на
который ссылается операнд. Операнд должен быть lvalue. Если
выражение имеет тип "...", то тип результата есть "указатель на
...".
Результатом унарной операции + является значение ее операнда
после выполнения обычных арифметических преобразований. Операнд
должен быть арифметического типа.
Результатом унарной операции - является отрицательное значение ее
операнда. Операнд должен иметь целый тип. Выполняются обычные
арифметические преобразования. Отрицательое значение беззнаковой
величины вычислятся посредством вычитания ее значения из 2n, где n
-число битов в целом типа int.
Результатом операции логического отрицания ! является 1, если
значение операнда 0, и 0, если значение операнда не 0. Результат
имеет тип int. Применима к любому арифметическому типу или к
указателям.
Операция ~ дает дополнение значения операнда до единицы.
Выполняются обычные арифметические преобразования. Операнд должен
иметь интегральный тип.
7.2.1 Увеличение и Уменьшение
Операнд префиксного ++ получает приращение. Операнд должен быть
адресным . Значением является новое значение операнда, но оно не
адресное. Выражение ++x эквивалентно x+=1. По поводу данных о
преобразованиях см. обсуждение операций сложения (#7.4) и
присваивания (#7.14).
Операнд префиксного -- уменьшается аналогично действию префиксной
операции ++.
- стр 267 -
Значение, получаемое при использовании постфиксного ++, есть
значение операнда. Операнд должен быть адресным. После того, как
результат отмечен, объект увеличивается так же, как и в префиксной
операции ++. Тип результата тот же, что и тип операнда.
Значение, получаемое при использовании постфиксной
--, есть значение операнда. Операнд должен быть адресным. После
того, как результат отмечен, объект увеличивается так же, как и в
префиксной операции ++. Тип результата тот же, что и тип операнда.
7.2.2 Sizeof
Операция sizeof дает размер операнда в байтах. (Байт не
определяется языком иначе, чем через значение sizeof. Однако, во
всех существующих реализациях байт есть пространтсво, необходимое
для хранения char.) При применении к массиву результатом является
полное количество байтов в массиве. Размер определяется из описаний
объектов, входящих в выражение. Семантически это выражение является
беззнаковой константой и может быть использовано в любом месте, где
требуется константа.
Операцию sizeof можно также применять к заключенному в скобки
