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
    Commented 21 июл. 2019 в 4:08
  • Это явно баг компилятора, так как в третьем варианте использования вы должны получить новое значение после каста Commented 21 июл. 2019 в 5:39
  • 1
    stackoverflow.com/q/37969114/6944845
    – tocic
    Commented 21 июл. 2019 в 6:46
  • @Harry, /permissive- уберите, тогда получите.
    – ixSci
    Commented 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? Мы творим ересь с результатом сложения, но на слогаемых она никак не должна отразиться. Commented 21 июл. 2019 в 7:46
  • @ДмитрийЗиненко результат сложения это prvalue выражение.
    – ixSci
    Commented 21 июл. 2019 в 8:00
  • Ощущение такое, что неопределенность поведения все же не должна относиться к самим исходным переменным, нет? Ну, конечно, с одной стороны, UB он и есть U, но не настолько же U :) Т.е. в рамках функции - да, но за ее пределами? А prvalue никак с переменными напрямую не связан... Т.е. с тем же успехом val3 может становиться 42 и при вызове test(val1) или test(0)...
    – Harry
    Commented 21 июл. 2019 в 10:24
  • @Harry, конечно, я увлёкся и написал ерунду. Исправил.
    – ixSci
    Commented 21 июл. 2019 в 10:30

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

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