这两行中的第一行无法编译,第二行在 MSVC 2017 中编译:
// std::cout << sizeof(decltype(++std::declval<int>())) << "\n"; //error. expression must be a modifiable lvalue.
std::cout << sizeof(decltype(++std::declval<int&>())) << "\n";
错误消息是“表达式必须是可修改的左值”。
我知道这declval
会增加一个右值引用。因此,在第一行中,编译器认为(不是吗?)std::declval<int>()
作为右值引用的结果。在第二行中std::declval<int&>()
,由于折叠规则,编译器将结果视为左值引用。
为什么右值引用不是可修改的左值,而左值引用是?