Sprawdź int lub listę <int>

Question

Czy ktoś może dać mi znać najlepszy sposób, aby to osiągnąć.

Powiedz, mam funkcja szablon jak

template<typename ARGUMENT> 
void get_result(ARGUMENT &ag) 
{ 

// arg can be a single object of a particular object or list of objects of that particular class. 
//rest 

} 

Czy istnieje sposób, że mogę sprawdzić czy & ag jest pojedynczy obiekt lub listę obiektów. Również z danym interfejsem szablonu.

Nie ma znaczenia, czy odpowiedź wynika ze specyfikacji szablonu w jakiś sposób przez interfejs klasy. Jedyną rzeczą jest, że nie chcę określać typu obiektu ani typu listy.

Przykł. ag = int lub ag = lista

CB

Answer 1

Można disambiguate z pewnymi cechami Typ:

#include <type_traits> 

template<typename T> 
T get_result(T arg) 
{ 
    return detail::get_result(arg, typename std::is_arithmetic<T>::type()); 
} 

namespace detail { 
    template<typename T> 
    T get_result(T arg, std::false_type /* dummy */) { } 

    template<typename T> 
    T get_result(T arg, std::true_type /* dummy */) {} 
} 

Zobacz here
Ta cecha wyraźnie tylko wyciąga typów liczbowych, zamiast pojemnika . Typ powrotu zajmie trochę pracy. Są pomysły na wykrycie typu kontenerowego w odpowiedzi here i here

Answer 2

Hmm, może to wszystko, czego potrzebujesz to prosty przeciążenie?

template<typename ARGUMENT> 
void get_result(ARGUMENT& ag); 

template<typename ARGUMENT> 
void get_result(std::list<ARGUMENT>& ag); 

Edit:

Czytając komentarze, mam wrażenie, że próbujesz overdesign swoją funkcję i dać go do wielu obowiązków.

Wydaje mi się, że najlepiej będzie z pierwszym przeciążeniem. Kiedykolwiek musisz zastosować funkcję do całego zakresu, użyj for_each.

Answer 3

Masz na myśli to?

template<typename ARGUMENT> 
void get_result(ARGUMENT &ag) 
{ 
    std::cout<<typeid(ARGUMENT).name(); //Check the value 

/*This returns a name of the type in question. 
It may satisfy your criteria.*/ 
} 
//Header :#include <typeinfo> 

Więc

int x=12; 
list <int> l; 
get_result<list<int>>(l); // Outputs: St4listIiSaIiEE 

get_result<int>(x); //Outputs: i 

Answer 4

SFINAE:

template<typename T> 
T get_result(T arg, typename T::value_type* = 0) 
{ 
    // Container. 
} 

template<typename T> 
T get_result(T arg, ...) 
{ 
    // Not a container. Vararg overloads rank lower in overload resolution. 
}