Как distiguish между RValue и RValue ссылки в качестве параметра функции

Question

Когда передается параметр, я хотел бы провести различие между этими двумя случаями в качестве параметра функции, например:

int rvalue(); 
int&& rvalue_ref(); 

f(rvalue()); 
f(rvalue_ref()); 

Однако, когда я пытаюсь с переадресацией таких ссылок:

int rvalue() 
{ 
    return 1; 
} 

int&& rvalue_ref(int i) 
{ 
    return std::move(i); 
} 

template<class T> 
void f(T&& x) 
{ 
    if (std::is_rvalue_reference<T>()) 
    { 
     std::cout << "Rvalue reference" << std::endl; 
    } 
    else if (std::is_lvalue_reference<T>()) 
    { 
     std::cout << "Lvalue reference" << std::endl; 
    } 
    else 
    { 
     std::cout << "Not a reference" << std::endl; 
    } 
} 

int main() 
{ 
    f(rvalue()); // Should print "Not a reference" 
    f(rvalue_ref(1)); // Should print "Rvalue reference" 
} 

В обоих случаях печатается «Не ссылка». Есть ли способ отличить оба случая от C++?

Answer 1

Я не вижу, как это можно использовать исключительно с помощью параметра функции. Различие между значениями x и prvalue может быть потеряно в вызове функции.

Но вы можете сделать это с помощью макроса, который вызывает аргумент decltype, прежде чем вызывать функцию. Вот пример, который вызывает вашу функцию с соответствующей информацией в качестве второго параметра. Я позаимствовал код у this thread.

#include <iostream> 

int rvalue() 
{ 
    return 1; 
} 

int&& rvalue_ref(int &&i) // Modified signature to avoid return reference to local variable (ty. user657267) 
{ 
    return std::move(i); 
} 

template<typename T> 
struct value_category { 
    // Or can be an integral or enum value 
    static constexpr auto value = "prvalue"; 
}; 

template<typename T> 
struct value_category<T&> { 
    static constexpr auto value = "lvalue"; 
}; 

template<typename T> 
struct value_category<T&&> { 
    static constexpr auto value = "xvalue"; 
}; 

// Double parens for ensuring we inspect an expression, 
// not an entity 
#define VALUE_CATEGORY(expr) value_category<decltype((expr))>::value 

#define f(X) f_(X, VALUE_CATEGORY(X)) 

template<class T> 
void f_(T&& x, char const *s) 
{ 
    std::cout << s << '\n'; 
} 

int main() 
{ 
    f(rvalue()); // Should print "Not a reference" 
    f(rvalue_ref(1)); // Should print "Rvalue reference" 
    int j; f(j); 
} 

Выход:

prvalue 
xvalue 
lvalue 

Конечно, вы можете тривиальное изменить строки в костюм, или заменить их перечисления и т.д.

Answer 2

Причины, почему ваш код сказал: «Не ссылка» является что вы прошли T по std::std::is_lvalue_reference<> и std::std::is_rvalue_reference<>. Вы должны использовать decltype(), чтобы получить его оригинальный тип.

template<class T> 
void f(T&& x) 
{ 
    if (std::is_lvalue_reference< decltype(x) >()) 
    { 
     std::cout << "Lvalue reference" << std::endl; 
    } 
    else if (std::is_rvalue_reference < decltype(x) >()) 
    { 
     std::cout << "Rvalue reference" << std::endl; 
    } 
    else 
    { 
     std::cout << "Not a reference" << std::endl; 
    } 
}