Порядок вычисления выражения в msvc c++

@ZaMaZaN4iK · Регистрация: 24.06.2012

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

Доброго дня всем. Понимаю, что компил оффтопик, но всё же. Пусть у нас есть выражение a = foo() + bar();

Известно, что стандарт плюсов не регулирует, какая функция выполниться раньше - порядок вычисления тут неопределён.

Но мне сказали, что именно в компиле вижлы считается слева направо и нет никакой неопределенности. Так ли это?

@TheCalligrapher · 05.03.2016, 18:25

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

Но мне сказали, что именно в компиле вижлы считается слева направо и нет никакой неопределенности. Так ли это?

Нет, разумеется. Ни спецификация языка C++, ни данный компилятор не документирует порядок вычисления выражений в таком случае. Поэтому порядок вычисления не определен и не предсказуем.

Кто-то может быть пытался "проверять" это на практике, перепробовал массу разных вариантов и конфигураций, и пришел к выводу, что в данном компиляторе вычисления всегда делаются слева направо... Но это была не более чем наивная и бессмысленая трата времени. Доказать стабильность порядка вычисления через практические эксперименты невозможно.

@ZaMaZaN4iK · 05.03.2016, 18:38 **[ТС]**

TheCalligrapher, я осознаю, что не определено. А контрпример можете подсказать?

@TheCalligrapher · 05.03.2016, 18:43

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

А контрпример можете подсказать?

Не, не могу. Нет у меня под руками контрпримера.

@DrOffset · 05.03.2016, 20:09

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

Но мне сказали, что именно в компиле вижлы считается слева направо

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

А контрпример можете подсказать?

Пожалуйста, в данном конкретном варианте посчитал справа налево.

C++

#include <iostream>
 
struct A {};
 
A foo()
{
    std::cout << "foo ";
    return A();
}
A bar()
{
    std::cout << "bar ";
    return A();
}
 
int operator+(A const & a1, A const & a2)
{
    return 42;
}
 
int main()
{
    int v = foo() + bar();
}

Онлайн тест в VC++: http://rextester.com/DAC99552

@ZaMaZaN4iK · 05.03.2016, 21:46 **[ТС]**

DrOffset, спасибо большое за интересный пример! А можно ли заставить примерно такой код выполняться не слева направо в вижловском компиляторе?

C++

#include <iostream>
 
using namespace std;
 
int foo()
{
    cout << "foo";
    return 42;
}
 
int bar()
{
    cout << "bar";
    return 30;
}
 
int main()
{
    int var = foo() + bar();
    return 0;
}

Может знаете какие-нибудь ещё контрпримеры?

@ZaMaZaN4iK Мой лучший друг-отладчик! 167 / 167 / 30 Регистрация: 24.06.2012 Сообщений: 662 Записей в блоге: 5
		1
	Порядок вычисления выражения в msvc c++ 05.03.2016, 16:13. Показов 479. Ответов 5 Метки нет (Все метки) Доброго дня всем. Понимаю, что компил оффтопик, но всё же. Пусть у нас есть выражение a = foo() + bar(); Известно, что стандарт плюсов не регулирует, какая функция выполниться раньше - порядок вычисления тут неопределён. Но мне сказали, что именно в компиле вижлы считается слева направо и нет никакой неопределенности. Так ли это? 0

@TheCalligrapher Вездепух 11696 / 6375 / 1724 Регистрация: 18.10.2014 Сообщений: 16,071
	05.03.2016, 18:25	2
	Сообщение от ZaMaZaN4iK Но мне сказали, что именно в компиле вижлы считается слева направо и нет никакой неопределенности. Так ли это? Нет, разумеется. Ни спецификация языка C++, ни данный компилятор не документирует порядок вычисления выражений в таком случае. Поэтому порядок вычисления не определен и не предсказуем. Кто-то может быть пытался "проверять" это на практике, перепробовал массу разных вариантов и конфигураций, и пришел к выводу, что в данном компиляторе вычисления всегда делаются слева направо... Но это была не более чем наивная и бессмысленая трата времени. Доказать стабильность порядка вычисления через практические эксперименты невозможно. 1

@ZaMaZaN4iK Мой лучший друг-отладчик! 167 / 167 / 30 Регистрация: 24.06.2012 Сообщений: 662 Записей в блоге: 5
	05.03.2016, 18:38 [ТС]	3
	TheCalligrapher, я осознаю, что не определено. А контрпример можете подсказать? 0

@TheCalligrapher Вездепух 11696 / 6375 / 1724 Регистрация: 18.10.2014 Сообщений: 16,071
	05.03.2016, 18:43	4
	Сообщение от ZaMaZaN4iK А контрпример можете подсказать? Не, не могу. Нет у меня под руками контрпримера. 0

	05.03.2016, 21:46