从可变类型列表中获取最大类型

Question

我试图从可变参数模板类型列表中获取最大类型。我得到意想不到的结果：

// Bigger between two types 
template<typename T1, typename T2> 
using Bigger = std::conditional_t<sizeof(T1) >= sizeof(T2), T1, T2>; 

// Recursion helper 
template<typename...> 
struct BiggestHelper; 

// 2 or more types 
template<typename T1, typename T2, typename... TArgs> 
struct BiggestHelper<T1, T2, TArgs...> 
{ 
    using Type = Bigger<T1, BiggestHelper<T2, TArgs...>>; 
}; 

// Exactly 2 types 
template<typename T1, typename T2> 
struct BiggestHelper<T1, T2> 
{ 
    using Type = Bigger<T1, T2>; 
}; 

// Exactly one type 
template<typename T> 
struct BiggestHelper<T> 
{ 
    using Type = T; 
}; 

template<typename... TArgs> 
using Biggest = typename BiggestHelper<TArgs...>::Type; 

这里的结果的一个例子：

sizeof(double) -> 8 
sizeof(Biggest<int, char, long, std::string, long long, double>) -> 4 

我在做什么错？我希望返回一个大于4的数字。

Answer 1

类型应该是T1越大，最大剩余类型的，而不是T1和BiggestHelper</*...*/>（它是一个空的结构）就越大。此外，为了记录，列表中最大的类型几乎可以是std::string，而不是double。

template<typename T1, typename T2, typename... TArgs> 
struct BiggestHelper<T1, T2, TArgs...> 
{ 
    using Type = Bigger<T1, typename BiggestHelper<T2, TArgs...>::Type>; 
          //^^^^^^^^^       ^^^^^^ 
}; 

Demo。