C++11 中的最小和最大可变参数模板变体？

Question

我在阅读标准时是否正确，从 min 和 max （以及 minmax 就此事而言）有新的 initializer_list 变体，但没有 Variadic Template 变体？

因此，这是可以的：

int a = min( { 1,2,a,b,5 } );

但这不是：

int b = min( 1,2,a,b,5 ); // err!

我想，很多人会期望可变参数模板可以轻松实现这一点，因此他们可能会感到失望。

我想说，使用 VT 来表示 min 和 max 有点过分了，

• 可变参数模板能够处理多种类型
• 初始化列表 em> 检查所有类型的设计是否相同，

因此 IL 更适合该任务。

我的解释正确吗？

Answer 1

你的解释是正确的。 N2772 包含更深入的基本原理。

Answer 2

这是我的解决方案，使用带或不带 Boost Concepts Common Type Traits 的可变参数模板进行 min 在 GCC 4.6 上测试。不过，我不确定 common_type 是否需要。

#define LessThanComparable class
#include <boost/type_traits/common_type.hpp>


/*! 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, \p b and \p args. */
template <class T, class ... R >
//requires SameType <T , Args >...
T multi_type_min(const T & a, const T & b, const R &... args)
{
    return multi_type_min(a < b ? a : b, args...);
}

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

Answer 3

是的，我认为可以公平地说，让所有值都具有兼容类型使得列表成为此功能的良好候选者。这并不是说您不能编写自己的可变参数模板版本。

Answer 4

通过结合可变参数模板和initializer_list，我们可以让函数 int b = min( 1,2,a,b,5 ); 无需递归展开即可工作。

template <class T>
T _real_min_(T a, std::initializer_list<T> s) {
    T *res = &a;
    for (auto it = s.begin(); it != s.end(); ++it) {
        *res = *(it) < *res ? *it : *res;
    }
    return *res;
}

template <class T, class... ArgTypes>
T min(T a, ArgTypes... args) {
  return _real_min_(a, {args...});
}