Связь и интернет Архив Программирование
   
Сделать стартовойСделать закладку            
   ПОИСК  
   
Главная / C / C++ / Справочное руководство по С++ /
8  Perl
8  PHP
8  JavaScript
8  HTML
8  DHTML
8  XML
8  CSS
8  C / C++
8  Pascal и Delphi
8  Турбо Ассемблер
8  MySQL
8  CASE-технологии
8  Алгоритмы
8  Python
8  Обратная связь
8  Гостевая книга
Новости о мире


Выражения - Программирование от RIN.RU
Выражения


Приоритет операций в выражениях такой же, как и порядок главных подразделов в этом разделе, наибольший приоритет у первого. Так например, выражения, о которых говорится как об операндах операции + (см. этот пункт) - это те выражения, которые определены в разделах Основные выражения, унарные операции, мультипликативные операции и Аддитивные операции. Внутри каждого подраздела операции имеют одинаковый приоритет. В каждом подразделе для рассматриваемых в нем операций определяется их левая или правая ассоциативность (порядок обработки операндов). Приоритет и ассоциативность всех операций собран вместе в описании грамматики в этой главе .


В остальных случаях порядок вычисления выражения не определен. Точнее, компилятор волен вычислять подвыражения в том порядке, который он считает более эффективным, даже если подвыражения вызывают побочные эффекты. Порядок возникновения побочных эффектов не определен. Выражения, включающие в себя коммутативные и ассоциативные операции (*, +, &, |, ^), могут быть реорганизованы произвольным образом, даже при наличии скобок; для задания определенного порядка вычисления выражения необходимо использовать явную временную переменную.


Обработка переполнения и контроль деления при вычислении выражения машинно-зависимы. В большинстве существующих реализаций C++ переполнение целого игнорируется; обработка деления на 0 и всех исключительных ситуаций с числами с плавающей точкой различаются от машины к машине и обычно могут регулироваться библиотечными функциями.


Кроме стандартного значения, описанного в пунктах с этого до этого7.15, операции могут быть перегружены*, то есть, могут быть заданы их значения для случая их применения к типам, определяемым пользователем; см. этот раздел.


Основные выражения


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


список_выражений:
выражение
список_выражений , выражение
id:
идентификатор
имя_функции_операции
typedef-имя :: идентификатор
typedef-имя :: имя_функции_операции
первичное_выражение:
id
:: идентификатор
константа
строка
this
( выражение )
первичное_выражение [ выражение ]
первичное_выражение ( список_выражений opt )
первичное_выражение . id
первичное_выражение -> id


Идентификатор есть первичное выражение, причем соответственно описанное (см. эту главу). Имя_функции_операции есть идентификатор со специальным значением; см. этот раздел и этот.


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


Typedef-имя (см. тут) , за которым следует ::, после чего следует идентификатор, является первичным выражением. Typedef-имя должно обозначать класс (см. тут), и идентификатор должен обозначать член этого класса. Его тип специфицируется описанием идентификатора. Typedef-имя может быть скрыто именем, которое не является именем типа. В этом случае typedef-имя все равно может быть найдено и его можно использовать.


Константа является первичным выражением. Ее тип должен быть int, long или double в зависимости от ее формы.


Строка является первичным выражением. Ее тип - "массив символов". Обычно он сразу же преобразуется в указатель на ее первый символ (здесь).


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


Выражение, заключенное в круглые скобки, является первичным выражением, чей тип и значение те же, что и у незаключенного в скобки выражения. Наличие скобок не влияет на то, является выражение lvalue или нет.


Первичное выражение, за которым следует выражение в квадратных скобках, является первичным выражением. Интуитивный смысл - индекс. Обычно первичное выражение имеет тип "указатель на ...", индексирующее выражение имеет тип int и тип результата есть "...". Выражение Е1[Е2] идентично (по определению) выражению *((E1)+(E2)). Все тонкие места, необходимые для понимания этой записи, содержатся в этом разделе вместе с обсуждением в Основные выражения, Унарные операции и Аддитивные операции, соответственно, идентификаторов, * и + ; ниже, в этом разделе приводятся следствия из этого.


Вызов функции является первичным выражением, за которым следуют скобки, содержащие список (возможно, пустой) разделенных запятыми выражений, составляющих фактические параметры для функции. Первичное выражение должно иметь тип "функция, возвращающая ..." или "указатель на функцию, возвращающую ...", и результат вызова функции имеет тип "...".


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


Функция может быть описана как получающая меньше или больше параметров, чем специфицировано в описании функции (здесь). Каждый фактический параметр типа float, для которого нет формального параметра, преобразуются к типу double; и, как обычно, имена массивов преобразуются к указателям. Порядок вычисления параметров не определен языком; имейте в виду различия между компиляторами.


Допустимы рекурсивные вызовы любых функций.


Первичное выражение, после которого стоит точка, за которой следует идентификатор (или идентификатор, уточненный typedef-именем с помощью операции ::) является выражением. Первое выражение должно быть объектом класса, а идентификатор должен именовать член этого класса. Значением является именованный член объекта, и оно является адресным, если первое выражение является адресным. Следует отметить, что "классовые объекты" могут быть структурами (в этом пункте) или объединениями (в этом пункте).


Первичное выражение, после которого стоит стрелка ( -> ), за которой следует идентификатор (или идентификатор, уточненный typedef-именем с помощью операции ::) является выражением. Первое выражение должно быть указателем на объект класса, а идентификатор должен именовать член этого класса. Значение является адресом, ссылающимся на именованный член класса, на который указывает указательное выражение. Так, выражение E1->MOS есть то же, что и (*E1).MOS. Классы обсуждаются в этом пункте.


Если первичное выражение дает значение типа "указатель на ..." (см. этот пункт and этот), значением выражения был объект, обозначаемый ссылкой. Ссылку можно считать именем объекта; см. этот раздел.


Вперед  >>>
 1  2  3  4  5 


 8  Комментарии к статье  8 8  Обсудить в чате

8  В тему

Договоренности о лексике

Запись синтаксиса

Имена и типы

Объекты и LVALUE(адреса)

Преобразования

Описания

Операторы

Внешние определения

Командные строки компилятора

Обзор типов

Константные выражения

Соображения мобильности

Свободная память

Краткое изложение синтаксиса

Отличия от "старого C"

 
  
  
    Copyright ©  RIN 2003 - 2004      * Обратная связь