C++ Variadic 템플릿 반영 표준 버전 : min() 및 std :: max()

Question

std::min, std::max의 C++ 11 가변 버전에 대한 구현이 반영되어야합니다. 여기 std::max 그냥 std::max와 std::min를 대체하여 유사하게 구현 std::min 내 두 가지 대안은 다음과 같습니다

/*! Multi-Type Minimum of \p a. */ 
template <LessThanComparable T> const T & multi_type_min (const T & a) { return a; } // template termination 
/*! Multi-Type Minimum of \p a and \p args. */ 
template <class T, class ... R > 
//requires SameType <T , Args >... 
T multi_type_min(const T & a, const R &... b) 
{ 
    return std::min(a, multi_type_min(b...)); 
} 

/*! Minimum of \p a. */ 
template <LessThanComparable T> const T & common_type_min(const T & a) { return a; } // template termination 
/*! Minimum of \p a and \p args. */ 
template <class T, class ... R, class C = typename boost::common_type<T, R...>::type > 
C common_type_min(const T & a, const R &... b) 
{ 
    return std::min(static_cast<C>(a), static_cast<C>(common_type_min(b...))); 
} 

우리가 전혀 common_type_min을 필요로하는 경우 핵심 문제은? 이것은 하나의 인수로 min()을 호출 할 수 있음에 유의하십시오. 이것이 혼란이나 문제를 일으킬 수 있습니까?

Answer 1

두 개의 매개 변수에서 멈출 때까지 재귀 적으로 작성할 수 없습니까?

/*! Multi-Type Minimum of \p a and \p args. */ 
template <class T, class U > 
//requires SameType <T , U >... 
T multi_type_min(const T & a, const U & b) 
{ 
    return std::min(a, b); 
} 

/*! Multi-Type Minimum of \p a and \p args. */ 
template <class T, class U, class ... R > 
//requires SameType <T , U, Args >... 
T multi_type_min(const T & a, const U & b, const R &... c) 
{ 
    return std::min(a, multi_type_min(b, c...)); 
} 

내가 여러 일반적인 유형이있는 경우 common_type_min 변형이 필요 같은데요 :

은 여기 (안된) 조각입니다. short과 long 값을 비교해보십시오. 형식 승격으로 인해 short은 long으로 변환되어 비교됩니다. 그러나 일부 응용 프로그램 제한 조건이나 불변성은 두 값이 모두 short으로 표시 될 수 있음을 알려줍니다. 이 경우 common_type_min<short>(a,b)을 원할 수 있습니다.