[英]CRTP + variadic template + extract CRTP subclass parameters
我目前正在实现一个通用事件类。 事件处理程序具有sender参数和可变数量的事件args。 所以事件类的声明如下:
template<typename SENDER , typename... ARGS>
class event;
为了允许某些实现细节,我需要一个事件的CRTP,如下所示:
template<typename SENDER , typename... ARGS>
class event : public CRTPBase<event<SENDER,ARGS...>> { ... };
CRTP基础需要知道事件参数。 所以我尝试了模板模板参数:
template<typename SENDER , template<typename SENDER , typename... ARGS> class EVENT, typename ARGS>
class CRTPBase { ... };
但这不起作用(我使用GCC 4.8.1)。
那么: 提取CRTP参数的可变参数和非可变参数模板参数的最佳方法是什么?
编辑:另一种方法是直接通过CRTP模板提供事件参数( template<typename EVENT , typename EVENT_SENDER , typename... EVENT_ARGS> class CRTPBase;
),但我认为有一种方法可以直接执行此操作,而无需写入参数以明确的方式。
您可以保留CRTPBase
的主模板:
template<typename T> class CRTPBase;
然后以这种方式部分专门化:
template<template<typename, typename...> class TT,
typename SENDER, typename... ARGS>
class CRTPBase<TT<SENDER, ARGS...>>
{
// ...
};
这是一个简单的程序,显示可以在CRTPBase
检索的类型参数:
#include <tuple>
#include <type_traits>
template<typename T> class CRTPBase;
template<template<typename, typename...> class TT,
typename SENDER, typename... ARGS>
class CRTPBase<TT<SENDER, ARGS...>>
{
using type = std::tuple<SENDER, ARGS...>;
};
template<typename SENDER , typename... ARGS>
class event : public CRTPBase<event<SENDER,ARGS...>>
{
// ...
};
struct X { };
int main()
{
event<X, int, double> e;
// This assertion will not fire!
static_assert(std::is_same<
decltype(e)::type,
std::tuple<X, int, double>
>::value, "!");
}
这是相应的实例 。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.