c++ - 为什么不是 std::declval() 当 std::declval 时为左值（） 是？

Question

这两行中的第一行无法编译，第二行在 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&>()，由于折叠规则，编译器将结果视为左值引用。

为什么右值引用不是可修改的左值，而左值引用是？

标签： c++decltypedeclval