Форум программистов, компьютерный форум CyberForum.ru

Загвоздка в значении переменной - C++

Восстановить пароль Регистрация
 
 
Рейтинг: Рейтинг темы: голосов - 12, средняя оценка - 4.83
Bringoff
СуперМодулятор
 Аватар для Bringoff
132 / 131 / 15
Регистрация: 03.11.2012
Сообщений: 974
29.12.2012, 17:22     Загвоздка в значении переменной #1
C++
1
2
int i = 5;
i = ++i + ++i;
Чему будет равно i?
Помню, в Страуструпе что-то похожее было, но не вспомню.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
29.12.2012, 17:22     Загвоздка в значении переменной
Посмотрите здесь:

C++ Загвоздка С++
C++ Загвоздка...
C++ Простая загвоздка)
C++ Загвоздка
Ошибка в значении переменной, передаваемой в функцию C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 3
29.12.2012, 23:45     Загвоздка в значении переменной #21
fasked, ну я же говорю показалось)
C++
1
f(foo1(x), foo2(x));
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
ZaMaZaN4iK
Мой лучший друг-отладчик!
 Аватар для ZaMaZaN4iK
163 / 163 / 9
Регистрация: 24.06.2012
Сообщений: 662
Записей в блоге: 5
Завершенные тесты: 1
29.12.2012, 23:49     Загвоздка в значении переменной #22
да что тут споры разводить - результат неопределен стандартом.всё зависит очень сильно от компилятора.почитайте про точки следования.

P.S. taras atavin такую задачку недавно давал в теме mind games.
P.S.S. Ну если каптча для прогерского сайта - то правильный ответ явно должен быть undefined behavior)
prazuber
108 / 108 / 3
Регистрация: 29.04.2010
Сообщений: 240
30.12.2012, 00:12     Загвоздка в значении переменной #23
Тема - древнейший боян, в интернете потрудились бы поискать вначале, что ли.

Даже на лурке об этом написано.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11845 / 6824 / 771
Регистрация: 27.09.2012
Сообщений: 16,919
Записей в блоге: 2
Завершенные тесты: 1
30.12.2012, 00:19     Загвоздка в значении переменной #24
Сообщение было отмечено автором темы, экспертом или модератором как ответ
Цитата Сообщение от fasked Посмотреть сообщение
У бинарного оператор "+" все четко. Ассоциативность определена как слева-направо.
Однако, gcc возвращает 24, а студия 36.
Дело тут далеко не в ассоциативности.
Легче, наверное, пояснить на таком примере:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
int & foo1(int &x){
    return x+=1;
}
 
int & foo2(int &x){
    return x*=3;
}
 
int main()
{
    int x=5;
    x=foo1(x) + foo2(x)+foo1(x) + foo2(x);
    std::cout<<x;
    return 0;
}
результат: gcc = 100, VS2012 = 112;
ассоциативность оператора не определяет порядок вызова своих операндов (хотя есть операторы, которые определяют, но сложение к ним не относится).
То есть в выражении a+b+c+d ассоциативность определяет, что будет построено дерево ((((a)+(b))+(c))+(d)), а не (a)+((b)+((c)+(d))) (или наоборот че то я запутался...тут же нет разности...ну не суть, допустим сделалось первое дерево)
А порядок прохода по этому дереву определяется компилятором, а, следовательно, и порядок "вычисления подвыражений".
в первом случае может быть, например так:
a,b,x1=(a+b),c,x2=(x1+c),d,rezult=(x2+d)
а может и так, если сначала компилятор проверяет другую ветвь дерева:
d,c,b,a,x1=(a+b),x2=x1+c,rezult=x2+d
fasked
Эксперт C++
 Аватар для fasked
4925 / 2505 / 180
Регистрация: 07.10.2009
Сообщений: 4,306
Записей в блоге: 1
30.12.2012, 09:14     Загвоздка в значении переменной #25
Croessmah, а я и не говорил, что дело в ассоциативности. Конкретно в данном примере, ассоциативность утверждает лишь то, что функции будут вызваны в определенном порядке (foo1 -> foo2 -> foo1 -> foo2).
Причина же в том, что в выражении просто отсутствуют точки следования.

Следовательно в момент сложения (foo1(x) + foo2(x)) неизвестно какое значение подставить вместо foo1:
- которое было вычислено после вызова foo1
- которое было вычислено после вызова foo2
- и т.д.

С одной стороны одна переменная и один адрес, с другой стороны компилятору не запрещают результат foo1(x) положить во временное хранилище.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11845 / 6824 / 771
Регистрация: 27.09.2012
Сообщений: 16,919
Записей в блоге: 2
Завершенные тесты: 1
30.12.2012, 09:22     Загвоздка в значении переменной #26
Цитата Сообщение от fasked Посмотреть сообщение
Причина же в том, что в выражении просто отсутствуют точки следования.
Именно. пока нет точек следования - компилятор "считает это одним выражением" (взял в кавычки из-за не точного использования, но думаю суть высказывания ясна)
taras atavin
Ушёл с форума.
 Аватар для taras atavin
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
30.12.2012, 09:31     Загвоздка в значении переменной #27
Цитата Сообщение от Izaron Посмотреть сообщение
Ну сначала i декрементом увеличивается,
Во-первых декремент уменьшает, а во-вторых здесь его нет.
fasked
Эксперт C++
 Аватар для fasked
4925 / 2505 / 180
Регистрация: 07.10.2009
Сообщений: 4,306
Записей в блоге: 1
30.12.2012, 09:32     Загвоздка в значении переменной #28
Цитата Сообщение от Croessmah Посмотреть сообщение
Не будут. Как они будут вызываться зависит от компилятора.
Еще раз повторяю, правила ассоциативности стандартных операторов определены стандартом. Вот выдержка из:
[Note: operators can be regrouped according to the usual mathematical rules only where the operators really are associative or commutative.11) For example, in the following fragment
int a , b;
/∗ . . . ∗/
a = a + 32760 + b + 5;
the expression statement behaves exactly the same as
a = ((( a + 32760) + b ) + 5);
due to the associativity and precedence of these operators.
При этом я не веду речи о переопределенных операторах, потому что они по определению стандарта не могут быть ассоциативными или коммутативными и рассматриваются уже как аргументы обычной функции (т.е. порядок вызова не определен). А до тех пор, пока не переопределен бинарный operator+ для целых чисел, то порядок вычисления его аргументов строго определен стандартом.
taras atavin
Ушёл с форума.
 Аватар для taras atavin
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
30.12.2012, 09:36     Загвоздка в значении переменной #29
Цитата Сообщение от fasked Посмотреть сообщение
А в каком из примеров и у какой функции Вы видите несколько аргументов?
К комутативным операторам это тоже относится.

Добавлено через 1 минуту
Цитата Сообщение от fasked Посмотреть сообщение
У бинарного оператора "+" все четко стандартизировано. Ассоциативность определена как слева-направо.
Слева на право выполняется сам плюс, но не вычисление его операндов. Не надо путать ++i + ++i и i+i+i.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11845 / 6824 / 771
Регистрация: 27.09.2012
Сообщений: 16,919
Записей в блоге: 2
Завершенные тесты: 1
30.12.2012, 09:40     Загвоздка в значении переменной #30
Сообщение было отмечено автором темы, экспертом или модератором как ответ
Скрин страницы в книге (просто djvu)
Загвоздка в значении переменной
Скользкие места C++.
© Стефан К. Дьюхэрст, 2003
fasked
Эксперт C++
 Аватар для fasked
4925 / 2505 / 180
Регистрация: 07.10.2009
Сообщений: 4,306
Записей в блоге: 1
30.12.2012, 09:51     Загвоздка в значении переменной #31
Croessmah, Эх-да, тут мой косяк, не прав. Увлекся спором
taras atavin
Ушёл с форума.
 Аватар для taras atavin
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
30.12.2012, 09:51     Загвоздка в значении переменной #32
Цитата Сообщение от fasked Посмотреть сообщение
правила ассоциативности стандартных операторов определены стандартом. Вот выдержка из:
Правила ассоциативности здесь вообще не причём. Здесь:
C++
1
h=a*b+c*d+e*f;
ассоциативность плюса говорит о том, что сначала будет вычислено a*b+c*d, а потом вся сума, но не сначала c*d+e*f и потом вся сума и, тем более, не сначала a*b+e*f, а потом вся сумма, но не говори о том, в каком порядке будут вычислены произведения. Конкретный вид частичной суммы - это ассоциативность оператора сложения, а порядок вычисления слагаемых-произведений - это точки следования, которых в сложении нет. Да, последнее произведение не может быть вычислено первым, так как это операнд второго по порядку оператора +, но можно вычислить сначала a*b, потом c*d, потом сложить их, потом вычислить e*f и сложить с частичной суммой, а можно сначала c*d, потом a*b, потом сложить их, потом вычислить e*f и сложить с частичной суммой. То же самое относится и к инкременту с той только разницей, что из-за влияния всех операторов на один и тот же адрес порядок их выполнения влияет на результат.
Croessmah
30.12.2012, 09:55
  #33

Не по теме:

Цитата Сообщение от fasked Посмотреть сообщение
Эх-да, тут мой косяк, не прав. Увлекся спором
Да это бывает

Dima_c8
 Аватар для Dima_c8
4 / 4 / 0
Регистрация: 17.12.2011
Сообщений: 148
30.12.2012, 09:56     Загвоздка в значении переменной #34
Будет 13!

выражение можно заменить на это
2i +3 or i+1+i+2
2 потому что первый раз мы прибавили к переменной единицу и мы ее добавляем еще раз
Izaron
7 / 6 / 1
Регистрация: 29.12.2012
Сообщений: 41
30.12.2012, 10:13     Загвоздка в значении переменной #35
Цитата Сообщение от Dima_c8 Посмотреть сообщение
Будет 13!
Cмотря какой компилер используете. В C и С++ может выдать и 14, и 13, и вообще черт знает что.

В других же ЯП четко определено, чему равно ++i + ++i.
Bringoff
СуперМодулятор
 Аватар для Bringoff
132 / 131 / 15
Регистрация: 03.11.2012
Сообщений: 974
30.12.2012, 15:46  [ТС]     Загвоздка в значении переменной #36
Цитата Сообщение от Izaron Посмотреть сообщение
В других же ЯП четко определено, чему равно ++i + ++i.
В каких и каким значением?
Izaron
7 / 6 / 1
Регистрация: 29.12.2012
Сообщений: 41
30.12.2012, 17:37     Загвоздка в значении переменной #37
Цитата Сообщение от Izobara Посмотреть сообщение
В каких и каким значением?
C# - 13
Java - 13
ActionScript - 13
Perl - 14
PHP - 13
JavaScript - 13
Bash - 13
Python - 10 (не в счет, ибо инкремент там не работает)
Bringoff
СуперМодулятор
 Аватар для Bringoff
132 / 131 / 15
Регистрация: 03.11.2012
Сообщений: 974
30.12.2012, 17:41  [ТС]     Загвоздка в значении переменной #38
И где это определено? Официально.
Izaron
7 / 6 / 1
Регистрация: 29.12.2012
Сообщений: 41
30.12.2012, 17:47     Загвоздка в значении переменной #39
Цитата Сообщение от Izobara Посмотреть сообщение
И где это определено? Официально.
Официально нигде, просто разные компиляторы по-разному высчитывают значение ++i + ++i.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
30.12.2012, 17:49     Загвоздка в значении переменной
Еще ссылки по теме:

Загвоздка с присвоением C++
C++ Загвоздка с объявлением переменной
C++ a,b и c.Присвоить максимальное из них переменной a,минимальное-переменной c,среднее переменной b

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Catstail
Модератор
 Аватар для Catstail
21501 / 10254 / 1670
Регистрация: 12.02.2012
Сообщений: 17,139
30.12.2012, 17:49     Загвоздка в значении переменной #40
Ну, а ++i + i++ чему равно будет?
Yandex
Объявления
30.12.2012, 17:49     Загвоздка в значении переменной
Ответ Создать тему
Опции темы

Текущее время: 22:49. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru