Префиксный инкремент

[marenko.lilia]

ну почему 10? )) у меня получается 9 и все...

#include <iostream>
using namespace std;

int main()
{
	setlocale(LC_ALL, "rus");

	int variable = 1;
	int a = 0;

	a = ++variable + 1 + ++variable * 2;

	cout << "a = " << a << endl;

	return 0;
}

Распишете пошагово, пожалуйста: a = ++variable + 1 + ++variable * 2;

[waleri]

Так понятней?
a = ++variable + 1 + (++variable * 2);

Чему равно (++variable * 2) и почему?

[Stilet]

a = ++variable + 1 + ++variable * 2;

1) ++variable - дает variable = 2
2) ++variable вторая - дает variable = 3
3) variable * 2 дает 2*3=6
4) 3+1+6 дает 10

[marenko.lilia]

ясно - спасибо

[Somebody]

Выражение в C++ не обязано считаться слева направо или ещё как-то. Тут undefined behavior.

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

1) ++variable - дает variable = 2
2) ++variable вторая - дает variable = 3
3) variable * 2 дает 2*3=6
4) 3+1+6 дает 10

Данные рассуждения верны для C# и Java, но не C и C++.

[f.hump]

но не C и C++.

и как же это будет на С/С++?

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

[BDA]

f.hump, http://en.cppreference.com/w/cpp/language/eval_order:

Order of evaluation of the operands of any C++ operator, including the order of evaluation of function arguments in a function-call expression, and the order of evaluation of the subexpressions within any expression is unspecified (except where noted below). The compiler will evaluate them in any order, and may choose another order when the same expression is evaluated again.

[f.hump]

это, конечно, ужос.

[Somebody]

На cppreference ещё мягко сказано про unspecified. В C++11/14 (абзац 1.9.0.15):

Except where noted, evaluations of operands of individual operators and of subexpressions of individual expressions are unsequenced.

Unsequenced - это ещё круче, чем indeterminately sequenced (unspecified order). Пример из стандарта, тот же абзац:

f(i = -1, i = -1); // the behavior is undefined

[Stilet]

Somebody

Да я вообще-то в дизассемблер глянул )
Ну а че нет?