Làm cách nào để trả lại loại lớn nhất trong một danh sách các loại?

Question

Làm cách nào để tạo mẫu lớp trả về loại có sizeof lớn hơn các loại khác. Ví dụ:

typename largest<int, char, double>::type; 

Điều đó sẽ trả lại double. Tôi sẽ làm thế nào?

Answer 1

Bạn có thể thực hiện điều này với việc sử dụng các đối số mẫu variadic và thời gian biên dịch điều kiện:

#include <type_traits> 

template <typename... Ts> 
struct largest_type; 

template <typename T> 
struct largest_type<T> 
{ 
    using type = T; 
}; 

template <typename T, typename U, typename... Ts> 
struct largest_type<T, U, Ts...> 
{ 
    using type = typename largest_type<typename std::conditional< 
      (sizeof(U) <= sizeof(T)), T, U 
     >::type, Ts... 
    >::type; 
}; 

int main() 
{ 
    static_assert(
     std::is_same<largest_type<int, char, double>::type, double>::value, ""); 
} 

Answer 2

Dưới đây là một phiên bản đó sẽ chọn loại lớn nhất, nhưng phá vỡ mối quan hệ có lợi cho loại lần cuối:

template<bool, typename, typename> 
struct pick_type; 
template<typename T, typename U> 
struct pick_type<true,T,U> { 
    typedef T type; 
}; 
template<typename T, typename U> 
struct pick_type<false,T,U> { 
    typedef U type; 
}; 

template<typename...> 
struct largest; 
template<typename T> 
struct largest<T> { 
    typedef T type; 
}; 
template<typename T, typename... U> 
struct largest<T, U...> { 
    typedef typename largest<U...>::type tailtype; 
    typedef typename pick_type< 
      (sizeof(T)>sizeof(tailtype)), 
      T, 
      tailtype 
      >::type type; 
}; 

Dưới đây là mã ví dụ:

#include <iostream> 
using namespace std; 

void foo(double) { cout << "double\n"; } 
void foo(int) { cout << "int\n"; } 
void foo(char) { cout << "char\n"; } 
void foo(bool) { cout << "bool\n"; } 
void foo(float) { cout << "float\n"; } 


int main() { 
    foo(largest<int,double,char,bool,float>::type{}); 
}