Тип переменной-члена должно зависеть от типа аргумента конструктора в

Question

я пытаюсь определить класс A следующим образом:

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. 
}; 

Здесь я хочу _elem иметь либо тип T в случае, когда аргумент конструктора elem является r-значение или тип T& в случае, если elem является l-значением.

Кто-нибудь знает, как это можно реализовать?

Answer 1

Пока мы не получим template argument deduction for class templates, вы должны будете использовать вспомогательную функцию для этого:

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

Это использует ссылку переадресации, чтобы вывести, является ли аргумент именующим или Rvalue и строите A по совершенно экспедиторским Аргумент. Принимая в качестве примера int, если передано lvalue, T будет int&, и если передается rvalue, T будет int.

Ваш A шаблон должен просто выглядеть следующим образом:

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

    private: 
    T _elem; 
}; 

Вы могли бы сделать make_a друга и сделать конструктор приватным, если вы хотите разрешить строительство с заводским способом.