通过模板生成排列

Question

我想要一个函数或函数对象，它可以根据编译时指定的排列生成其输入的排列。需要明确的是，我并不是要生成所有排列，而是要生成一个特定的排列。例如，permute<1,4,3,2>( a, b, c, d ) 将返回 (a,d,c,b)。显然，使用特定长度的排列来做到这一点很简单，例如2、像这样

#include <boost/tuple.hpp>
template< unsigned a, unsigned b>
struct permute {
    template< class T >
    boost::tuple< T, T > operator()( T ta, T tb ) {
        boost::tuple< T, T > init = boost::make_tuple( ta, tb );
        return boost::make_tuple( init.get< a >(), init.get< b >() );
    }
};

但是，对于任意长度的排列，我该如何做呢？另外，是否有更简洁的方法来编写上述代码？是的，上面的代码不限于进行排列，因为permute<2,2>(a,b) 是允许的，但我不认为这是一个缺陷。但是，是否可以限制为只允许实际排列？

Answer 1

C++0x 提供了可变参数模板，您应该能够使用它来处理任意长度的排列。之所以专门添加它们，是因为当前版本的 C++ 没有一种干净的方式来处理此类问题。