Mitgliedertyp Variable sollte

Question

Ich versuche, abhängig vom Typ des Konstruktorargument eine Klasse A wie folgt zu definieren:

template< typename T > 
class A 
{ 
    public: 
    A(T elem) 
     : _elem(elem) 
    {} 

    private: 
    TYPE _elem; // "TYPE" should be either "T" in case "elem" is an r-value or "T&" in case "elem" is an l-value. 
}; 

Hier möchte ich _elem entweder den Typ T haben, falls dass das Argument der Konstruktor elem eine ist r-Wert oder der Typ T& im Fall elem ist ein I-Wert.

Weiß jemand, wie dies implementiert werden kann?

Answer 1

Bis wir template argument deduction for class templates erhalten, müssen Sie eine Hilfsfunktion für diesen Einsatz:

template <typename T> 
auto make_a (T&& elem) { 
    return A<T>{std::forward<T>(elem)}; 
} 

Diese Weiterleitungs Referenz verwendet, um folgern, ob das Argument ein L-Wert oder R-Wert ist und konstruiert die A durch perfekt Forwarding das Argument. Nehmen wir als Beispiel int, wenn ein lvalue übergeben wird, T wird int&, und wenn ein rvalue übergeben wird, T wird int sein.

Ihre A Vorlage wie folgt aussehen nur sollte:

template< typename T > 
class A 
{ 
    public: 
    A(T elem) 
     : _elem(elem) 
    {} 

    private: 
    T _elem; 
}; 

Sie könnten make_a ein Freund und machen den Konstruktor privat machen, wenn Sie Bau von der Factory-Methode zulassen möchten.