Позволять
int a = 0;
Тогда является ли (int)a rvalue в стандартном C++?
Разные компиляторы показывают разные результаты для этого кода:
#include <iostream>
using namespace std;
void f(int& x)
{
cout << "l value" << endl;
}
void f(int&& x)
{
cout << "r value" << endl;
}
int main()
{
int a = 0;
f((int)a);
}
компиляторы с разными результатами:
Должно быть rvalue, но веб-компилятор работает под управлением Visual Studio, а Visual Studio имеет расширение, позволяющее привязывать временные объекты к неконстантным ссылкам lvalue. ошибка/расширение, из-за которой в данном случае генерируется lvalue. Как указывает Игорь выше, это можно отключить с помощью /Za (посмотреть вживую).
Мы видим, что это должно быть rvalue(в частности, prvalue) из черновика стандартного раздела C++ 5.4 параграф Явное преобразование типов (нотация приведения) 1, в котором говорится (выделено мной):
Результат выражения (T) cast-expression имеет тип T. Результатом является lvalue, если T является ссылочным типом lvalue, или ссылка rvalue на тип функции, и xvalue, если T является ссылкой rvalue на тип объекта; в противном случае результатом будет значение prvalue.[ Примечание: если T является типом, не относящимся к классу, но с уточнением cv, квалификаторы cv игнорируются при определении типа результирующего значения prvalue; см. 3.10. -конец примечания]
Как gcc, так и clang приводит к rvalue, что является ожидаемым результатом.
Кроме того, я бы рекомендовал использовать rextester поверх веб-компилятора, поскольку rextester позволяет вам программа, а также имеет живой обмен.
Обновить
Бен Фойгт указывает на этот отчет об ошибке, поэтому кажется, что Visual Studio действительно создает lvalue. Так что это не просто случай расширения , которое позволяет привязывать временные объекты к неконстантным ссылкам lvalue.
Как указывает dyp, gcc также имел приведение к расширению lvalue.
Обновление 2
Компания Mgetz отправила отчет об ошибке. В ответ было сказано, что это исправлено с помощью /Zc:rvalueCast флаг, описание флага выглядит следующим образом :
Если указан параметр /Zc:rvalueCast, компилятор правильно определяет ссылочный тип rvalue как результат операции приведения в соответствии со стандартом C++11. Если параметр не указан, поведение компилятора такое же, как в Visual Studio 2012. По умолчанию параметр /Zc:rvalueCast отключен. Для соответствия и устранения ошибок при использовании приведения рекомендуется использовать /Zc:rvalueCast.
Неясно, будет ли этот флаг включен по умолчанию в будущих версиях.
/Za исправляет это, так что это больше не похоже на поведение по умолчанию, и на самом деле, когда я использую /Za, это (int)a = 2 ; является ошибкой. Я добавлю вашу ссылку к моему ответу.
- person Shafik Yaghmour; 23.10.2014
gcc раньше имело, а MSVC все еще имеет.
- person Shafik Yaghmour; 23.10.2014
(char) i = 5; удобнее писать, чем *((char*)&i) = 5; (на C). Вы можете найти некоторое обсуждение при поиске cast-as-lvalue. Например. кажется, это было в ранних проектах C89.
- person dyp; 23.10.2014
В стандартном С++ int(a) и (int)a являются значениями r (другие ответы содержат стандартные ссылки).
В вашем примере кода используется ошибка/расширение в MSVC, но не то, что кажется на первый взгляд. Как видно из этого кода, который работает в MSVC:
#include <iostream>
int main()
{
int x = 0;
(int)x = 1;
std::cout << x << std::endl;
}
MSVC обрабатывает (int)x как lvalue.
Несмотря на то, что MSVC имеет расширение, позволяющее привязывать rvalue к неконстантным ссылкам; это расширение по-прежнему делает ссылки на rvalue более подходящими, чем ссылки на lvalue для rvalue.
Да, результатом приведения к типу объекта является rvalue, как указано в C++11 5.4/1:
Результатом является значение lvalue, если
Tявляется ссылочным типом lvalue, или ссылкой rvalue на тип функции, и значением x, если T является ссылкой rvalue на тип объекта; в противном случае результатом будет prvalue.
T к T.
- person Lightness Races in Orbit; 22.10.2014
/Za. - person Igor Tandetnik schedule 22.10.2014