C++ rvalue reference behavior (конкретный пример)

Question

В настоящее время я пытаюсь получить libC++ для компиляции и запуска с помощью MSVC. При этом я столкнулся с неприятной ошибкой (по крайней мере, я думаю, это ошибка), которая заставила меня подождать. У меня есть следующий код: REPRO

int globalInt = 666; 

class mini_move_iterator 
{ 
public: 

    mini_move_iterator(int* i) : __i(i){} 

    int&& operator*() const 
    { 
     return static_cast<int&&>(*__i); 
    } 

    int* __i; 
}; 

void foo(int&& rval) 
{ 
    // Smash stack 
    char stackUser[1000]; 
    for (int i = 0; i < 1000; ++i) 
     stackUser[i] = 0xff; 

    rval += 1; 
} 

int main() 
{ 
    mini_move_iterator mmi(&globalInt); 
    foo(*mmi); 
    return 0; 
} 

У меня есть несколько вопросов:

1) Является ли это законное, т.е. я избегал отклоняясь в сферу неопределенного поведения (это, безусловно, синтаксический юридический)?

2) Что такое ожидаемое значение глобальной переменной globalInt после возврата foo (неопределенный может быть приемлемым ответом)?

EDIT:

мне дали понять, что это не работает в VS с MSVC 12. В обув переменная RVAL наведен на временное на стек и, таким образом, глобальный переменная никогда не увеличивается.

Временное создаётся в int & & оператор *() const. Если я заменяю:

return static_cast<int&&>(*__i); 

с

return std::move(*i); 

то все хорошо. Использование C-cast также создает временное создание.

Answer 1

1) Является ли это законным, т.е. я избегал отклоняясь в сферах неопределенного поведения (это, конечно, синтаксически юридическое)?

Вы так, так близко. __i является зарезервированным идентификатором, и преобразование 0xff в char, скорее всего, будет определяться реализацией. Кроме этого, этот код действителен и поведение корректно определено.

2) Что такое ожидаемое значение глобальной переменной globalInt после Foo возвращается (не определено, может быть приемлемым ответом)?

667. Ссылка, возвращаемая static_cast<int&&>(*__i), связывается непосредственно с *__i - то есть, globalInt. Временного не должно быть создано. Соответствующее правило в [expr.static.cast]/p3 остается практически неизменным с C++ 11, поэтому вы определенно видите ошибку компилятора здесь.

Похоже, что эта ошибка была исправлена ​​в следующей версии VC++, основанной на тестировании на http://webcompiler.cloudapp.net/.

Answer 2

В ++ Язык программирования C (4-е издание), Страуструп состояния (§7.7.2, стр 195).:

[...] стандартная библиотека предоставляет функцию move(): move(x) означает static_cast<X&&>(x), где X - тип x.

Более точно, от стандарта C++ 11 (iso.20.2.3):

template <class T> typename remove_reference<T>::type&& move(T&& t) noexcept; Возвращает: static_cast<typename remove_reference<T>::type&&>(t).

Если ваш тип T является ИНТ, std::move() и static_cast<int&&>() точно то же самое.

Итак, если MSVC дает разные результаты при переключении с одного на другой, это явно ошибка.