Empirisch Wertkategorie von C++ 11 Ausdruck bestimmen?

Question

Jeder Ausdruck in C++ 11 hat eine Wertkategorie. Einer von Lvalue, xvalue oder prvalue.

Gibt es eine Möglichkeit, einen Makro zu schreiben, der bei jedem Ausdruck als Argument die Zeichenfolge "lvalue", "xvalue" oder "prvalue" erzeugt?

Zum Beispiel:

int main() 
{ 
    int x; 

    cout << VALUE_CAT(x) << endl; // prints lvalue 
    cout << VALUE_CAT(move(x)) << endl; // prints xvalue 
    cout << VALUE_CAT(42) << endl; // prints prvalue 
} 

Wie kann VALUE_CAT umgesetzt werden?

Answer 1

decltype kann den deklarierten Typ einer Entität (daher der Name) zurückgeben, kann aber auch verwendet werden, um den Typ eines Ausdrucks abzufragen. Im letzteren Fall wird der resultierende Typ jedoch entsprechend der Wertkategorie dieses Ausdrucks 'angepasst': Ein lvalue-Ausdruck führt zu einem lvalue-Referenztyp, einem xvalue in einem rvalue-Referenztyp und einem prvalue nur zum Typ. Wir können dies zu unserem Vorteil nutzen:

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 

Answer 2

Sie auch Classification Funktion mit der Klirren API könnten versuchen, die Kategorie des Ausdrucks von einem Klirren AST mit dem Ausdruck zurückzukehren. Dies ist natürlich viel komplexer als @ Lucs Lösung, da es die Erzeugung des tatsächlichen AST durch Klängen erfordert.