int x, y;
int main() {
x++ + ++y;
x+++ ++y;
x++ +++y;
x +++++ y;
}
Почему эта программа не выдаёт ошибок для 1 и 2 строки, но выдаёт их для 3 и 4?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуПервая строка будет разбита на токены следующим образом:
x
, ++
, +
, ++
, y
, ;
.
Что в итоге даст expression statement
с валидным выражением (постфиксный инкремент x
, префиксный инкремент y
и бинарный оператор сложения).
Вторая строка разобьётся на токены аналогично первой строке, потому что preprocessing tokens
† вычисляются по принципу maximal munch, а максимальным валидным предварительным токеном будет ++
, а не +++
.
If the input stream has been parsed into preprocessing tokens up to a given character:
- ...
- ...
- Otherwise, the next preprocessing token is the longest sequence of characters that could constitute a preprocessing token, even if that would cause further lexical analysis to fail, except that a header-name is only formed within a #include directive.
Третья строка будет разбита на токены следующим образом:
x
, ++
, ++
, +
, y
, ;
.
Отличие от первой и второй строки потому, что после 3 базового символа +
нет white space
, который в предыдущих случаях разделял предварительные токены +
и ++
.
В итоге получаем expression statement
с невалидным выражением, т.к. к результату постфиксного инкремента применяется постфиксный инкремент.
... The operand shall be a modifiable lvalue. ... The result is a prvalue. ...
Четвёртая строка разобьётся на токены аналогично третьей строке, потому что:
white space
после x
и перед y
не влияет на вычисление предварительных токенов;white space
после 2 базового символа +
не влияет на вычисление предварительных токенов аналогично 1 и 2 строкам.† Подробнее о фазах трансляции можно почитать тут. Тогда станет понятно, зачем разделять предварительные и обычные токены.