приоритет операций. опять(снова)

@HerrSchneider · Регистрация: 08.07.2017

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

C++

int main()
{
char str[6]={0,1,2,3,4,5};
char *x=str;
char y=-1;
 
y=*x++;
printf("%d\n",y);
 
y=*(x++);
printf("%d\n",y);
 
y=(*x++);
printf("%d\n",y);
 
y=*++x;
printf("%d\n",y);
}

при запуске выводит
0
1
2
4

Почему такой приоритет? Видел несколько таблиц приоритетов, присваивание приоритет 15.
постфиксный инкремент - 2, (в некоторых таблицах - 3) ,но ассоциативность все равно справа налево!
разыменование - 3.
По логике так и так получается, сначала инкремент, потом разыменование, потом взятие значение по вычисленному адресу и
присваивание.
а на практике GCC компилятор сначала берет значение по адресу! проверил.
И только префиксный инкремент сначала вычисляется а потом за ним разыменование.
То есть, я думал, что при первом выводе будет уже единица на выходе!

Объясните, где я ошибаюсь...

@TheCalligrapher · 20.07.2020, 18:53

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

По логике так и так получается, сначала инкремент, потом разыменование, потом взятие значение по вычисленному адресу и
присваивание.

"Приоритет операций" и "ассоциативность" описывают процесс синтаксического разбора текста выражения.

Приоритет операций не имеет никакого отношения к порядку вычисления выражения, т.е. никакого отношения к тому, что будет "сначала", а что "потом".

@TheCalligrapher · 20.07.2020, 19:03

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

То есть, я думал, что при первом выводе будет уже единица на выходе!

С чего бы это вдруг? Приоритеты операций говорят, что выражение y=*x++ разбирается синтаксическим анализатором как ( y ) = (* (x++) ). То есть ++ относится к x, а * относится к результату x++, а = стоит между y и результатом *. На этом задача приоритетов заканчивается. Про приоритеты можно теперь забыть - они нам больше не нужны.

А дальше мы идем в определение постфиксного инкремента и видим, что результатом постфиксного инкремента является старое значение x (до инкремента). То есть оператор * будет применяться к старому значению x и результатом его будет именно нулевой элемент массива str.

Ваши второе и третье выражения полностью эквивалентны первому - дополнительные скобки ни на что не влияют, ибо приоритеты операций и так дают точно такой же синтаксический разбор.

@HerrSchneider · 20.07.2020, 21:57 **[ТС]**

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

идем в определение постфиксного инкремента и видим, что результатом постфиксного инкремента является старое значение x (до инкремента).

Раньше где то читал такое объяснение. А после стал думать, что это всего лишь мнемоника, когда увидел таблицу приоритетов. думал что от нее надо отталкиваться. А сейчас погуглил, и нашел, что, в общем-то знал.
Спасибо. напомнили.

@Kuzia domovenok · 20.07.2020, 22:27

HerrSchneider, *x++ вполне валидная конструкция. Оператор x++ всегда возвращает значение ДО инкремента. То что у него приоритет выше разыменования - роли не играет. Приоритет может и выше, но возвращаемое значение, к которому применится * будет "до".

C++

char str[6]={0,1,2,3,4,5};
char *x=str; 
y=*x++;
//переместить указатель на единицу
//вернуть в выражение значение указателя на 0
//разыменовать 
//в качестве аналогии можно привести
x=str;
y = *((x=x+1) - 1);

@TheCalligrapher Вездепух 12792 / 6669 / 1795 Регистрация: 18.10.2014 Сообщений: 16,876
	20.07.2020, 18:53	2
	Сообщение от HerrSchneider По логике так и так получается, сначала инкремент, потом разыменование, потом взятие значение по вычисленному адресу и присваивание. "Приоритет операций" и "ассоциативность" описывают процесс синтаксического разбора текста выражения. Приоритет операций не имеет никакого отношения к порядку вычисления выражения, т.е. никакого отношения к тому, что будет "сначала", а что "потом". 1

@TheCalligrapher Вездепух 12792 / 6669 / 1795 Регистрация: 18.10.2014 Сообщений: 16,876
	20.07.2020, 19:03	3
	Сообщение было отмечено HerrSchneider как решение Решение Сообщение от HerrSchneider То есть, я думал, что при первом выводе будет уже единица на выходе! С чего бы это вдруг? Приоритеты операций говорят, что выражение `y=x++` разбирается синтаксическим анализатором как `( y ) = ( (x++) )`. То есть `++` относится к `x`, а `` относится к результату `x++`, а `=` стоит между `y` и результатом ``. На этом задача приоритетов заканчивается. Про приоритеты можно теперь забыть - они нам больше не нужны. А дальше мы идем в определение постфиксного инкремента и видим, что результатом постфиксного инкремента является старое значение `x` (до инкремента). То есть оператор `*` будет применяться к старому значению `x` и результатом его будет именно нулевой элемент массива `str`. Ваши второе и третье выражения полностью эквивалентны первому - дополнительные скобки ни на что не влияют, ибо приоритеты операций и так дают точно такой же синтаксический разбор. 1

@HerrSchneider 13 / 11 / 4 Регистрация: 08.07.2017 Сообщений: 103
	20.07.2020, 21:57 [ТС]	4
	Сообщение от TheCalligrapher идем в определение постфиксного инкремента и видим, что результатом постфиксного инкремента является старое значение x (до инкремента). Раньше где то читал такое объяснение. А после стал думать, что это всего лишь мнемоника, когда увидел таблицу приоритетов. думал что от нее надо отталкиваться. А сейчас погуглил, и нашел, что, в общем-то знал. Спасибо. напомнили. 0

	20.07.2020, 22:27

приоритет операций. опять(снова)

Решение