筛选参数包的类型
Filter the types of a parameter pack
我想知道是否可以过滤传递给变元模板的类型(基于谓词模板),以生成另一个包含满足谓词的类型的变元模板:
/** Filter a parameter pack */
template <template <class> class,
template <class...> class,
class...>
struct filter;
template <template <class> class Pred, template <class...> class Variadic>
struct filter<Pred, Variadic> : Variadic<>
{};
template <template <class> class Pred,
template <class...> class Variadic,
class T, class... Ts>
struct filter<Pred, Variadic, T, Ts...>
{
// FIXME: this just stops at first T where Pred<T> is true
using type = typename std::conditional<
Pred<T>::value,
Variadic<T, Ts...>, // can't do: Variadic<T, filter<...>>
filter<Pred, Variadic, Ts...> >::type;
};
正如您所看到的,我还没有找到从其他过滤类型中"提取"参数包的方法。
提前感谢!
这应该是相当直接的。在核心,你应该有这样的东西:
template <typename...> struct filter;
template <> struct filter<> { using type = std::tuple<>; };
template <typename Head, typename ...Tail>
struct filter<Head, Tail...>
{
using type = typename std::conditional<Predicate<Head>::value,
typename Cons<Head, typename filter<Tail...>::type>::type,
typename filter<Tail...>::type
>::type;
};
您只需要Cons<T, Tuple>
,它将T, std::tuple<Args...>
转换为std::tuple<T, Args...>
,并且您需要传递谓词(左侧为练习)。Cons
可能是这样的:
template <typename, typename> struct Cons;
template <typename T, typename ...Args>
struct Cons<T, std::tuple<Args...>>
{
using type = std::tuple<T, Args...>;
};
filter<Args...>::type
的结果将是std::tuple<Brgs...>
,其中Brgs...
是仅由Args...
中谓词适用的那些类型组成的包。
相关文章:
- 在 c++ 中的模板实例化中使用带有构造函数的类作为类型参数
- 如何解决一元"*"(有"字符")错误的无效类型参数?
- "std::shared_ptr":不是参数"_Ty"的有效模板类型参数
- 具有可变参数非类型参数的模板专用化
- 函数类型参数的模板参数推导
- PowerShell 使用结构类型参数调用 C++ DLL 的导出函数
- 对于非常量指针类型的参数,未调用具有常量指针模板类型参数的功能
- 为模板传递非类型参数 agument
- 为什么带有类型参数的运算符 () 可以应用于 result_of 上下文中的类型?
- 使用其他模板类型参数作为要在函数签名中使用的类型别名声明
- 如何避免具有相同类型参数的函数中的错误
- 将内置类型变量传递给只有一个类类型参数的"+"运算符函数时自动类型转换的构造函数
- c++非类型参数包扩展
- 如何实现对参数顺序不可知的std::same_as的广义形式(即对于两个以上的类型参数)
- 在不同的模板参数包之间分发非类型参数包
- 如何在使用容器和字符串时强制使用显式分配器类型参数
- 错误:一元"*"的类型参数无效(具有"int"):使用 mergesort 计算
- EXPECT_CALL具有 unique_ptr 引用类型参数的模拟函数
- 作为模板类型参数,为什么 type[N] 与其专用版本不匹配----模板<类 T>类 S<T[]>
- C++ 模板:重载时找不到基类类型参数方法