Бьерн Страуструп. Язык программирования С++. Специальное издание (2011) (1004033), страница 36
Текст из файла (страница 36)
Замечания о стиле Программистам, не знакомым с ассоциативными массивами, применение библиотечного типа тар для представления таблицы символов может показаться нарочитым высокоуровневым трюкачеством. Это не так. И стандартная, и другие библиотеки для того и создаются, чтобы ими пользовались. Часто библиотеки разрабатываются и реализуются с такой тщательностью, какую отдельный программист не может себе позволить в процессе написания участка кода, применимого лишь в одной программе. Взглянув на нашу программу-калькулятор, особенно на ее первую версию, можно заметить, что в ней мало традиционно низкоуровневого кода в С-стиле. Необходимость низкоуровневых трюков была устранена за счет применения библиотечных классов олггеат, лтгтя и тар (83.4, 83.5, 93.7.4, глава 17).
Обратите внимание, как редко встречаются арифметические операции, циклы и даже присваивания. Так и должно обстоять дело в программах, не управляющих непосредственно аппаратурой и не реализующих низкоуровневых абстракций. 6.2. Обзор операций языка С++ В данном разделе дается обзор выражений и операций языка С++, а также примеры на эту тему. Каждая операция сопровождается названием и примером выражения, использующего эту операцию. Ниже в таблице операций с!алл лате означает нмя класса; тетЬег — имя члена класса; оЬ|есг — выражение, дающее объект класса; ро(нтег — выражение, дающее указатель; ехрг — выражение; (га!ие — выражение, обозначающее неконстантный объект; 1уре — имя типа в самом общем смысле (вместе с *, () и т.д.), если помещено в круглые скобки, а иначе есть ограниченна (вА 5). Синтаксис выражений не зависит от типа операндов.
Однако смысл операций, указанный ниже, имеет место лишь для встроенных типов (94.1.1). Смысл операций над пользовательскими типами данных можно задавать самостоятельно (92.5.2, глава 11). ение области ви ение области ви но но лена выборчпена доступ по индексу вызов функции 170 Операции (ехрг-Йэй ) выбор члена ' выбор члена хрг * ехр« ехрг l ехрг умножение ~ деление конструирование значения постфиксный инкремент постфиксный декремент идентификация типа идентификация типа во время выполнения преобразование с проверкой во время выполнения преобразование с проверкой во время компиляции преобразование без проверки константное преобразование размер объекта размер типа префиксный инкремент префиксный декремент дополнение ( отрицание ;( унарный минус ), 'унарный плюс ' адрес раэыменование ! создать (выделить память) создать (выделить память и инициализировать) создать (разместить) создать (разместить и инициализировать) уничтожить (освободить память) ~ уничтожить массив приведение (преобразование типа) Глава б.
Выражения и операторы (уре (ехрг-!й!) !иа!ие ее 1га1ие-- туреЫ ((уре) туреЫ (ехрг) Мулат!с сает <!уре> (ехрг) этайс сает <гуре> (ехрг) гештегрге! саэт<Ьре> (ехрг) соле! саэтвуре> (ехрг) э(эеоу' ехрг э!эеоу' (!уре) ее 11а1ие — 1та1ие - 1«а!ие ! ехрг — ехрг е ехрг ( а !га!ие * ехрг пеи (уре пет туре (ехрг-1йт) пет (ехрг-Йса) 0ре пет ( ехртйса) туре ( Ие1ете ро1п(ег Фе1ете ( ) роттег ((уре) ехрг тоЬуес! . * рот!ее-Ы-тетЬег о1пгег ->* роуптег-то-тетЬе~ 6.2. Обзор операций языка С++ 171 Операции логическое ИЛИ (Ой) ехрг ( ) ехрг ехрг З ехрг: ехрг условное выражение генерация исклю ения глгоы ехрг запятая(следование) ехрг, ехрг В каждой секции данной таблицы сосредоточены операции с одинаковым приоритетом (ргеседепсе). Операции из вышестоящих секций имеют приоритет, более высокий по отношению к операциям, расположенным в нижележащих секциях.
Например, а«Ь*с означает именно а«(Ь*с), а не (а+Ь) *с, так как операция * имеет более высокий приоритет, чем операция «. Аналогично, выражение *р««означает *(р«+), а не ("р)++. Префиксные операции и операции присваивания правоассоциативны (ляйг-ахеос1ат!уе); все остальные операции — левоассоциативны (1е7)-аввос)аг!уе). Например, а=Ь=с означает а= (Ь=с), в то время как а«Ь«с есть (а«Ь) «с.
Несколько грамматических правил невозможно выразить в терминах приоритета (называемого, также, силой связывания) и ассоциативности. Например, а=Ь<сзд=е:Р=Ю означает а= ( (Ь<с) з (д=е): К=а) ), но для подтверждения этого факта нужно обратиться к сводке грамматических правил (ВА.5). Грамматические правила применяются после того, как из отдельных символов построены лексемы (5А.З), причем лексемы строятся из потенциально наиболее длинных последовательностей. Например, аа означает единственную операцию, а не две операции а; выражение а«««1 означает (а++) «1. 6.2.1. Результаты операций Результирующий тип арифметических операций определяется набором правил, известных как «стандартные арифметические преобразования» (ВС.6.3).
Их общая цель сводится к тому, чтобы получить тип «наибольшего» операнда. Например, если у бинарной операции один из операндов имеет тип с плавающей запятой, то вычисления выполняются в арифметике чисел с плавающей запятой и, соответственно, таков и тип результата этой операции. Если у бинарной операции один из операндов имеет тип 1опа, то вычисления выполняются в арифметике длинных целых, и возвращается результат типа Голу. Операнды «меньших» чем !а!типов (такие как Ьоо1 или айаг) преобразуются к 1пг перед выполнением операции. простое присваивание умножение и присваивание деление и присваивание остаток и присваивание сложение и присваивание вычитание и присваивание сдвиг влево и присваивание сдвиг вправо и присваивание И и присваивание ИЛИ и присваивание исключающее ИЛИ и присваивание 1»а1ие = ехрг !»а!ие *= ехрг 1»а!ие l= ехрг 1»а1ие «= ехрг 1»а(ие «= ехрг !»а1ие -= ехрг !»а1ие "= ехрг 1»а1ие "= ехрг 1»а1ие а= ехрг 1»а1ие ) = ехрг 1»а1ие "= ехрг Глава б.
Выражения и операторы Операции сравнения ==, <= и т.д. вырабатывают результат логического типа. Смысл и тип результатов операций, определяемых пользователем, вытекают из их объявления (511.2). Если нет логических препятствий, то результат операции с операндом 1ча1ие совпадает с 1ча1ие, которое операция вырабатывает для этого операнда.
Например: чо!41(1и!х, !псу) ( ои )=х=у! ои* рГ аь«х; !п!* 4=а (х«+); !из* рр= ь (х>у?х:у); /У значением х=у является значение х после присваивания //р указывает на х // ексоьс х++ не есть !ча!ие (это не значение, хранимое в х) У адрес целого с большим значением чо!43'() ( !п! 1=1; мди1е(0<!) !»»; сои!«ч! Ааз бесите пеяайче! " «! « ' ',п '; Эта функция попытается (в итоге) увеличить на единицу максимально возможное целое значение. Результат не определен, но в типичных случаях произойдет перескок к отрицательным значением (на моей машине -214748364б). Также не определен результат деления на нуль, но обычно это заканчивается принудительным остановом программы.
Стандартные исключения (514.10) для деления на нуль и переполнений не генерируются. 6.2.2. Последовательность вычислений Порядок вычисления подвыражений в рамках обьемлющих выражений не определен. В часности, нельзя рассчитывать на то, что выражения вычисляются слева направо. Например: (и! х=/ (2) «я(З) ( /У неизвестно, что будет вызвано первым -~() или яО При отсутствии ограничений на порядок вычисления выражений можно генерировать более эффективный машинный код.
Это же, однако, может приводить к неопределенным результатам. Например, Если второй и третий операнды операции .: являются (ча!це одного и того же типа, то результат операции есть )ча!це того же самого типа, В целом, такой «сохраняющий» стиль обращения с 1ча(це обеспечивает чрезвычайную гибкость операций. Особую важность это приобретает в случаях, когда требуется писать код, одинаково подходящий и эффективный как для встроенных, так и для пользовательских типов данных (например, при написании шаблонов или программ, генерирующих код С++). Результат операции з(гео) есть беззнаковый интегральный тип з(ге 1, определенный в заголовочном файле <сз!44еу».
Типом разности указателей служит знаковый интегральньш тип рпч3Я' г, также определенный в файле <сзаые/». Конкретные реализации С++ не обязаны контролировать арифметическое переполнение и вряд ли какая из них делает это. Например; 6 2 Обзор операций языка С++ т( 1=1; »[1] =1««; Урезул»тат не определен У два аргумента УУ один аргумент Я («[1], 1««); 12( («[1],1«») ); вызов функции31() оперирует двумя аргументами, у[1] и Н», и порядок вычисления аргументов не определен.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
