Почему результат «decltype (i + j)» не является ссылкой на rvalue?

Question

Я пытаюсь привести простой пример для операции, которая приводит к rvalue.

Этот тестовый пример должен был работать, но на удивление (для меня) результатом добавления двух int s является не rvalue (reference). Что мне здесь не хватает?

void test(int i, int j) 
{ 
    // this assert should pass, but fails: 
    static_assert(std::is_same<decltype(i + j), int&&>(), "i + j should be a rvalue"); 
    // this assert passed, but should fail: 
    static_assert(std::is_same<decltype(i + j), int>(), "this assert should fail..."); 
} 

Answer 1

i + j является prvalue expression,

prvalue ("чистый Rvalue") выражение является выражением, которое не имеет идентичность и могут быть перемещены с.

a + b, a% b, a & b, a < < b и все другие встроенные арифметические выражения;

не xvalue,

xvalue («истекающий значение») выражение является выражением, которое имеет идентичность и могут быть перемещены из.

И decltype specifier дает T для prvalue, не T&&.

а), если значение категория выражения xvalue, то decltype дает T & &;
b) если категория значений выражения равна lvalue, тогда decltype дает T &;
с), если значение категории выражения prvalue, то decltype дает Т.

Вы можете сделать это xvalue по std::move:

static_assert(std::is_same<decltype(std::move(i + j)), int&&>(), "std::move(i + j) is a xvalue then this static_assert won't fail"); 

Answer 2

на основе @ songyuanyao-х Answer, я заметил, что моя ошибка проверял неправильную вещь: Мое намерение состояло в том, чтобы проверить, будет ли результат i+jсвязываться с ссылкой rvalue, но я проверил, is a rvalue reference.

decltype выводит тип, основанный на value category, не основаны на том, что reference type значение будет связываются с:

1), если значение категории выражения xvalue, то decltype урожаи T&&;
2) если категория значений выражения равна lvalue, тогда decltype дает T&;
3) если категория значений выражения равна prvalue, тогда decltype дает T.

Как показано в списке, поскольку C++ 11, rvalues не существует в качестве отдельной категории на самом низком уровне. Теперь они представляют собой составную категорию, содержащую как prvalues, так и xvalues. Вопрос, как написано, спрашивает, является ли выражение rvalue reference и проверяет, является ли оно xvalue.

Из вышеприведенного списка ясно, что i+j является prvalue, поэтому применяется третий случай. Это объясняет, почему decltype(i + j) является int, а не int&&. Оба xvalues и prvaluesсвязывать с ссылки rvalue.

Так, проверяя, связывается ли i+j к lvalue reference или rvalue reference подтверждает, что, действительно, связывается сrvalue reference:

void foo(const int& f) 
{ 
    std::cout << "binds to lvalue reference" << std::endl; 
} 

void foo(int&& f) 
{ 
    std::cout << "binds to rvalue reference" << std::endl; 
} 

void test(int i, int j) 
{ 
    foo(i); // lvalue -> lvalue ref 

    foo(std::move(i)); // xvalue -> rvalue ref 
    // (std::move converts the argument to a rvalue reference and returns it as an xvalue) 

    foo(i + j); // prvalue -> rvalue ref 
} 

В заключение:i+j является не ссылка Rvalue , но он привязывается к.