C variadic模板：在索引处删除/替换类型

1)删除索引处的项目：

// Removes item at index N,e.g. Remove<2,a,b,c,d> results in <a,d>
template<std::size_t N,typename ...Args>
struct Remove {
    // ???
};

2)替换索引处的项目：

// Replaces item at index N with T,e.g. Replace<2,x,typename T,typename ...Args>
struct Replace {
    // ???
};

3)更换范围内的物品

// Replaces items in range [N1,N2] with T,e.g. ReplaceRange<2,3,x>
template<std::size_t N1,std::size_t N2,typename ...Args>
struct ReplaceRange {
    // ???
};

我想让它像这样使用

class is_true {
public:
    bool operator()() const { return true; }
};


class is_false {
public:
    bool operator()() const { return false; }
};

class And {
};

class Or {
};

Filter f<is_true,And,is_true,Or,is_false>();

现在,我想将其折叠为：

< FilterOr < FilterAnd <is_true,is_true>,is_false > >

哪里

template<typename Lhs,typename Rhs>
class FilterAnd {
public:
    bool operator()() const { return Lhs() && Rhs(); }
};

template<typename Lhs,typename Rhs>
class FilterOr {
public:
    bool operator()() const { return Lhs() || Rhs(); }
};

所以,我正在尝试执行以下操作：

class Filter {
public:
    template <typename ...Args>
    void apply() {
        holder_ = FilterHolder<typename FoldOperator<Or,FilterOr,typename FoldOperator<And,FilterAnd,Args...>::type >::type >();
    }
}

FoldOperator基本上删除了运算符参数,并用Filter类替换运算符,例如对于参数< is_true,我想删除参数(is_true)并用Filter替换运算符(And)：FilterAnd< is_true,is_true>其中参数与从列表中删除的参数相同.所以,我需要替换/删除模板来执行它.

提前致谢.