2

Есть такой код:

#include <iostream>

void test(const int& val)
{
    const_cast<int&>(val) = 42;   
}

int main()
{
    int   val1 = 0, val2 = 0, val3 = 0;

    test(val1);
    test(val2 + 0);
    test(static_cast<int>(val3)); //Интересная строка;

    std::cout << val1 << " " << val2 << " " << val3 << std::endl;

    return 0;
}

Вывод GCC:

42 0 0

Вывод MS Visual Studio:

42 0 42

Кто прав и почему?

4
  • Забавно, но на VC++ 2017 (19.16.27032.1 для x64) никак не удается получить 42 - только 0...
    – Harry
    21 июл 2019 в 4:08
  • Это явно баг компилятора, так как в третьем варианте использования вы должны получить новое значение после каста 21 июл 2019 в 5:39
  • 1
    stackoverflow.com/q/37969114/6944845
    – tocic
    21 июл 2019 в 6:46
  • @Harry, /permissive- уберите, тогда получите.
    – ixSci
    21 июл 2019 в 6:52

1 ответ 1

5
  1. static_cast<int>(val3), согласно [expr.static.cast]p1, является rvalue-выражением.

  2. Согласно [dcl.init.ref]p5.3, инициализация константной ссылки rvalue-выражением проводит материализацию prvalue, создавая константный временный объект и привязывая ссылку к нему.

  3. [dcl.type.cv]p4 явно запрещает нам модифицировать константные объекты.

Исходя из всех этих пунктов, правильный ответ будет 42 0 0, но т.к. во втором и третьем случае мы имеем неопределённое поведение, то и вывод может быть любым. В результате, разговор о правильном ответе, в целом, не имеет смысла.

Тем не менее студия выводит 42 0 42 не из-за UB, а потому что без флага /permissive- срабатывает её расширение, которое игнорирует static_cast, когда тип не меняется. В результате в третьем случае передается lvalue, а не rvalue. Но это поведение противоречит стандарту и является расширением MSVC, которое, я полагаю, существует для некоторой обратной совместимости.

4
  • Почему второе это UB? Мы творим ересь с результатом сложения, но на слогаемых она никак не должна отразиться. 21 июл 2019 в 7:46
  • @ДмитрийЗиненко результат сложения это prvalue выражение.
    – ixSci
    21 июл 2019 в 8:00
  • Ощущение такое, что неопределенность поведения все же не должна относиться к самим исходным переменным, нет? Ну, конечно, с одной стороны, UB он и есть U, но не настолько же U :) Т.е. в рамках функции - да, но за ее пределами? А prvalue никак с переменными напрямую не связан... Т.е. с тем же успехом val3 может становиться 42 и при вызове test(val1) или test(0)...
    – Harry
    21 июл 2019 в 10:24
  • @Harry, конечно, я увлёкся и написал ерунду. Исправил.
    – ixSci
    21 июл 2019 в 10:30

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.