Как вычисляется выражение a+++b?

@tolik89u · Регистрация: 27.06.2013

Студворк — интернет-сервис помощи студентам

Здравствуйте.
Как вычисляется выражение a+++b?
Как компилятор понимает, что означает +++: ++ + или + ++? Как он разбивает последовательность из трёх плюсов на два оператора? Есть понятия приоритета операций и ассоциативности, но они применяются уже к определённым операторам. А в данном случае как компилятор понимает, какой оператор использовался?

Добавлено через 2 минуты
Следующий код:

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
void main(void){
    int a,b,c;
    a=10,b=100,c=1000;
    printf("a=10,b=100,c=1000;\na=%d, b=%d, c=%d\n\n",a,b,c);
    c=a+++b;
    printf("c=a+++b;\na=%d, b=%d, c=%d\n\n",a,b,c);
 
    a=10,b=100,c=1000;
    printf("a=10,b=100,c=1000;\na=%d, b=%d, c=%d\n\n",a,b,c);
    c=(a++)+b;
    printf("c=(a++)+b;\na=%d, b=%d, c=%d\n\n",a,b,c);
 
    a=10,b=100,c=1000;
    printf("a=10,b=100,c=1000;\na=%d, b=%d, c=%d\n\n",a,b,c);
    c=a+(++b);
    printf("c=a+(++b);\na=%d, b=%d, c=%d\n\n",a,b,c);
}

я выполнил в онлайн-компиляторе C: http://codepad.org/CtpEfoHy
Вот вывод программы:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
a=10,b=100,c=1000;
a=10, b=100, c=1000
 
c=a+++b;
a=11, b=100, c=110
 
a=10,b=100,c=1000;
a=10, b=100, c=1000
 
c=(a++)+b;
a=11, b=100, c=110
 
a=10,b=100,c=1000;
a=10, b=100, c=1000

Из данного кода ясно, что данный компилятор воспринимает +++ как ++ +. Но объясните: почему? Чем он руководствуется? Оговорено ли это в стандарте C? Или это поведение меняется от компилятора к компилятору?

@Тамика · 28.05.2014, 11:55

C++
1
(a++) + b

.

@tolik89u · 28.05.2014, 11:57 **[ТС]**

Тамика, под моими словами: «Как компилятор понимает, какой оператор использовался»*— я подразумевал не просто: «Какой оператор использовался?»*— а: «Почему компилятор использовал тот или иной оператор?»

@Тамика · 28.05.2014, 12:02

Читая слева направо. Так же, как и человек видит простые примеры. Так как никаких скобок нет, то он воспринимает всё именно так. Видит, что есть переменна, видит два плюса. Всё. На три плюса никаких обработок нет. Потому берет выражение (а++) и обрабатывает его. Но остался еще +b. Потому результат (а++) суммируется с b. Не знаю как Вам ещё это объяснить. Более подробно может расскажут остальные. С удовольствием почитаю.

@tolik89u · 28.05.2014, 12:08 **[ТС]**

Сообщение от Тамика

Более подробно может расскажут остальные. С удовольствием почитаю.

Да, я тоже! Особенно интересно: как должен поступить компилятор согласно стандарта C. Или же это поведение оставлено на волю создателей компилятора и в стандарте не прописано?

Croessmah · 28.05.2014, 12:14

Сообщение от Стефан К. Дьюхэрст "Скользкие места C++"

Добро пожаловать в мир "больших кусков". На одной из ранних стадий трансляции программы на C++ работает так называемый "лексический анализатор", задача которого, разбить входной поток на отдельные лексические единицы или лексемы. Встретив последовательность символов типа ->*, лексический анализатор может выделить три лексемы (-,> и *), две лексемы (-> и *) или одну лексему (->*), и все это будет разумно. Чтобы избежать неоднозначности, анализатор всегда выделяет самую длинную из возможных лексем: "максимальный кусок".

вот так

@tolik89u · 28.05.2014, 12:17 **[ТС]**

Croessmah, это уже близко.

Но всё-таки как ни понимай +++: либо ++ +, либо + ++, всё равно получается один двухплюсовый кусок и один одноплюсовый. Ни в одном из двух вариантов куски не больше второго. Куски одинаковые, просто местами меняются. Может, имеется в виду, что «левосторонние» лексические анализаторы ищут большие куски слева?

@CheshireCat · 28.05.2014, 12:48

Такое поведение компилятора жестко определено Стандартом: например, [C99, 6.4/4] или [C++11, 2.5/3].

@taras atavin · 28.05.2014, 13:02

Сообщение от tolik89u

Здравствуйте.
Как вычисляется выражение a+++b?
Как компилятор понимает, что означает +++: ++ + или + ++? Как он разбивает последовательность из трёх плюсов на два оператора? Есть понятия приоритета операций и ассоциативности, но они применяются уже к определённым операторам. А в данном случае как компилятор понимает, какой оператор использовался?

Согласно жадному алгоритму, в первый из двух операторов попадёт максимально возможное количество символов, получится

C++
1
(a++)+b

. Но я бы поставил скобки, чтоб избавиться от необходимости учитывать алгоритмы трансляции.

Добавлено через 52 секунды

Сообщение от tolik89u

«Почему компилятор использовал тот или иной оператор?»

Потому что жадина.

Добавлено через 3 минуты

Сообщение от Тамика

итая слева направо. Так же, как и человек видит простые примеры.

Нет. Человек в этом месте видит:
1.

C++
1
a+++b

, где +++ - один оператор.
2.

C++
1
(a+)+(+b)

.
3.

C++
1
(a++)+b)

.
4.

C++
1
a+(++b)

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

Добавлено через 4 минуты

Сообщение от tolik89u

Но всё-таки как ни понимай +++: либо ++ +, либо + ++, всё равно получается один двухплюсовый кусок и один одноплюсовый. Ни в одном из двух вариантов куски не больше второго.

Не надо сравнивать сумму, или среднее кусков, важно, где больше первый кусок.

@Тамика · 28.05.2014, 13:04

Сообщение от taras atavin

Нет. Человек в этом месте видит:

Я говорила о ПРОСТЫХ примерах и речь шла о направлении "чтения" выражения. Если я напишу а+б, разве Вы увидите в этом +аб или ба+ ? Нет. Увидите слева направо а+б. А потом уже описывала, что будет дальше.

@tolik89u · 28.05.2014, 13:08 **[ТС]**

Сообщение от CheshireCat

Такое поведение компилятора жестко определено Стандартом: например, [C99, 6.4/4] или [C++11, 2.5/3].

Спасибо! Чётко и по существу! Меня больше интересовал чистый C, поэтому я ограничился прочтением первой ссылки. Для всех интересующихся — вот что там сказано:

Сообщение от C99, 6.4/4-6

4 If the input stream has been parsed into preprocessing tokens up to a given character, the
next preprocessing token is the longest sequence of characters that could constitute a
preprocessing token. There is one exception to this rule: header name preprocessing
tokens are recognized only within #include preprocessing directives and in
implementation-defined locations within #pragma directives. In such contexts, a
sequence of characters that could be either a header name or a string literal is recognized
as the former.
5 EXAMPLE 1 The program fragment 1Ex is parsed as a preprocessing number token (one that is not a
valid floating or integer constant token), even though a parse as the pair of preprocessing tokens 1 and Ex
might produce a valid expression (for example, if Ex were a macro defined as +1). Similarly, the program
fragment 1E1 is parsed as a preprocessing number (one that is a valid floating constant token), whether or
not E is a macro name.
6 EXAMPLE 2 The program fragment x+++++y is parsed as x ++ ++ + y, which violates a constraint on
increment operators, even though the parse x ++ + ++ y might yield a correct expression.

В частности, в параграфе 6 чётко прописано пояснение на примере, разъясняющем конкретно мой случай.
Ещё раз убеждаюсь в истинности одного изречения, с которым меня давно ознакомил один админ. В этом изречении сокрыта вековая мудрость программистов-предков:

Читайте маны: они — рулёз!

Спасибо, CheshireCat!

@taras atavin · 28.05.2014, 13:11

Сообщение от Тамика

Вы увидите в этом +аб или ба+ ? Нет.

Ну как где у меня + перенесён через операнд? И не путай случай единичного оператора-символа с последовательсностью символов, даже в примере a++b сначала человек видит:
1. a++b, где ++ - единый бинарный оператор,
2. (a+)(+b), где между опендами-результатами вообще нет оператора, а оба имеющихся оператора унарны, причём, первый ещё и постфиксный.
3. (a+)+b, где только второй плюс бинарный, а первый - унарный и постфиксный.
4. a+(+b), где только первый плюс бинарный, а второй - унарный и префиксный.
И только потом говорит: "Бредятина".

@SatanaXIII · 28.05.2014, 13:11

Не по теме:

Хорошо, что тс не спросил еще про a+++++b.

@tolik89u · 28.05.2014, 13:14 **[ТС]**

Сообщение от SatanaXIII

Хорошо, что тс не спросил еще про a+++++b.

А вот "a+++++b", как сказано в цитате стандарта выше, не вычисляется. Хотя можно было бы и так вопрос поставить, конечно. Главное*— теперь я узнал этот новый для меня принцип, который taras atavin назвал «жадным алгоритмом».

@taras atavin · 28.05.2014, 13:20

Жадина из этого сделает

C++
1
((a++)++)+b

. Не вычисляется из-за того, что инкремент не инкермируется? А можно было бы вычислить, если разбить иначе, например,

C++
1
(a++)+(++b)

. Но так c++ не копмилит.

@tolik89u · 28.05.2014, 13:25 **[ТС]**

Не по теме:

Сообщение от taras atavin

Ну как где у меня + перенесён через операнд? И не путай случай единичного оператора-символа с последовательсностью символов, даже в примере a++b сначала человек видит:
1. a++b, где ++ - единый бинарный оператор,
2. (a+)(+b), где между опендами-результатами вообще нет оператора, а оба имеющихся оператора унарны, причём, первый ещё и постфиксный.
3. (a+)+b, где только второй плюс бинарный, а первый - унарный и постфиксный.
4. a+(+b), где только первый плюс бинарный, а второй - унарный и префиксный.
И только потом говорит: "Бредятина".

Вы пропустили ещё (a++)(b) и (a)(++b)

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .

@tolik89u 157 / 2 / 0 Регистрация: 27.06.2013 Сообщений: 21
	28.05.2014, 11:57 [ТС]
	Тамика, под моими словами: «Как компилятор понимает, какой оператор использовался»— я подразумевал не просто: «Какой оператор использовался?»— а: «Почему компилятор использовал тот или иной оператор?» 0

@Тамика Котовчанин 942 / 482 / 200 Регистрация: 16.02.2010 Сообщений: 3,338 Записей в блоге: 35
	28.05.2014, 12:02
	Читая слева направо. Так же, как и человек видит простые примеры. Так как никаких скобок нет, то он воспринимает всё именно так. Видит, что есть переменна, видит два плюса. Всё. На три плюса никаких обработок нет. Потому берет выражение (а++) и обрабатывает его. Но остался еще +b. Потому результат (а++) суммируется с b. Не знаю как Вам ещё это объяснить. Более подробно может расскажут остальные. С удовольствием почитаю. 0

@tolik89u 157 / 2 / 0 Регистрация: 27.06.2013 Сообщений: 21
	28.05.2014, 12:17 [ТС]
	Croessmah, это уже близко. Но всё-таки как ни понимай +++: либо ++ +, либо + ++, всё равно получается один двухплюсовый кусок и один одноплюсовый. Ни в одном из двух вариантов куски не больше второго. Куски одинаковые, просто местами меняются. Может, имеется в виду, что «левосторонние» лексические анализаторы ищут большие куски слева? 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	28.05.2014, 12:48
	Сообщение было отмечено tolik89u как решение Решение Такое поведение компилятора жестко определено Стандартом: например, [C99, 6.4/4] или [C++11, 2.5/3]. 1

@SatanaXIII
	28.05.2014, 13:11
	Не по теме: Хорошо, что тс не спросил еще про a+++++b. 0

Как вычисляется выражение a+++b?

Решение