Почему выводится другое значение вместо ожидаемого?

Question

[gleendo]

Подскажите почему value выводится равное 14 а не 13?

#include <iostream>

inline double square(double x) { return x * x; }

int main()
{
	double value = 13.0;

	std::cout << "value = " << value << ", squared = " << square(value++) << std::endl; // value = 14, squared = 169

	return 0;
}

Answer 1

[HighTechLowLife]

https://en.cppreference.com/w/cpp/language/eval_order

2) If a side effect on a memory location is unsequenced relative to a value computation using the value of any object in the same memory location, the behavior is undefined.

cout << i << i++; // undefined behavior until C++17
a[i] = i++;       // undefined behavior until C++17
n = ++i + i;      // undefined behavior

Answer 2

[Wataru]

Очевидно, потому что оператор value++ (вместе с square) выполнился раньше оператора сдвига <<, которые используются для вывода в поток cout.

Вообще, у меня оно выводит 13.

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

Вообще, использование переменной value в том же выражении, что и она же с постинкриментом - Undefined behavior.

Мне лень искать конкретные пункты стандарта, из которых будет следовать, что это UB, но просто запомните: нельзя использовать перменную и переменную++ в одном и том же выражении.

Comments

[gleendo]

Wataru этот пример взят из книги Прата. Странно что он там вообще описан без упоминания UB

[Wataru]

gleendo, Может там что-то написано по c++17? HighTechLowLife указывает, что в этом стандарте, оказывается, это уже не UB (но все-равно, так писать - полохо).

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

[gleendo]

Wataru, в том издании книги описан стандарт 98 с вкраплениями с++11, но явно никак не 17. Поэтому и странно что в книге приводится такой пример как будто это норма, учитвая что это уже 6 издание книги