Kiểm tra int hoặc danh sách <int>

Question

Ai cũng có thể cho tôi biết cách tốt nhất để thực hiện việc này.

Nói, tôi có một hàm template như

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 

} 

Có cách nào mà tôi có thể kiểm tra xem & ag là một đối tượng duy nhất hoặc danh sách các đối tượng. Ngoài ra, với giao diện mẫu đã cho.

Không quan trọng nếu câu trả lời là do đặc tả mẫu theo cách nào đó bởi giao diện lớp học. Chỉ có điều là tôi không muốn chỉ định loại đối tượng hoặc loại danh sách.

Ví dụ: ag = int hoặc ag = list

CB

Answer 1

Bạn có thể disambiguate với một số đặc điểm loại:

#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 */) {} 
} 

Xem here
đặc điểm này rõ ràng chỉ kéo ra các loại số, chứ không phải là một container . Loại trả về sẽ mất một số công việc. Có những ý tưởng để phát hiện một loại thùng chứa trong các câu trả lời here và here

Answer 2

Hmm, có lẽ tất cả những gì bạn cần là quá tải đơn giản?

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

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

Edit:

Đọc ý kiến ​​của bạn, tôi có cảm giác bạn đang cố gắng overdesign chức năng của bạn và đưa nó cho nhiều trách nhiệm.

Tôi nghĩ bạn chỉ nên thực hiện tốt nhất với quá tải đầu tiên. Bất cứ khi nào bạn cần áp dụng hàm này cho toàn bộ phạm vi, hãy sử dụng for_each.

Answer 3

Bạn có ý nghĩa này không?

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> 

Vì vậy,

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