我正在寻找一种从模板参数包中删除(让我们说现在所有的发生)一种类型的方法.最终结果将是一个看起来像这样的结构：
template<typename T,typename...Ts>
struct RemoveT
{
using type = /* a new type out of Ts that does not contain T */
}
让我们说边缘案例RemoveT< int,int>将通过返回void来处理(未在下面的代码中处理).我的初始设计如下所示：
// --------------------------------------------------------------
// 1. A "way" of typedefing variadic number of types ------------
template<typename...Ts>
struct pack {
using type = Ts;
};
// --------------------------------------------------------------
// --------------------------------------------------------------
template<typename T,typename...Ts> struct RemoveT;
template<typename T,typename T1,typename...Ts>
struct RemoveT {
using type = typename pack<T1,typename RemoveT<T,Ts...>::type>::type;
};
template<typename T,typename T1>
struct RemoveT<T,T1> {
using type = T1;
};
template<typename T,typename...Ts>
struct RemoveT<T,T,Ts...> {
using type = typename RemoveT<Ts...>::type;
};
// --------------------------------------------------------------
现在我甚至不能开始测试这个代码,因为the pack structure is not valid C++
重述
为了防止这样做有助于解决问题
人们可以认为,这个包根本就没有用处.我们可以绕过RemoveT结构,创建一个只包含所需类型的新的RemoveT.然后,在从结构体中提取类型时,该问题将转换
>我们可以创建类型对,模仿类型列表的行为,并采取更递归的方法.
底线
对于各种类型的Ts和一个类型T：我可以创建我们的Ts ommit T吗？
解决方法
以下提供了一种非递归和直接的方法来从Ts …删除T,并且像Jarod42的解决方案一样,产生一个std :: tuple< Us ...>但不需要使用typename … :: type：
#include <tuple>
#include <type_traits>
template<typename...Ts>
using tuple_cat_t = decltype(std::tuple_cat(std::declval<Ts>()...));
template<typename T,typename...Ts>
using remove_t = tuple_cat_t<
typename std::conditional<
std::is_same<T,Ts>::value,std::tuple<>,std::tuple<Ts>
>::type...
>;
int main()
{
static_assert(std::is_same<
remove_t<int,int,char,float,int>,std::tuple<char,float>
>::value,"Oops");
}