我正在寻找一种从模板参数包中删除(让我们说现在所有的发生)一种类型的方法.最终结果将是一个看起来像这样的结构：
- 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");
- }
