c – CRTP可变参数模板提取CRTP子类参数

发布时间：2020-12-16 09:46:04 所属栏目：百科来源：网络整理

导读：我目前正在实现一个通用事件类.事件处理程序具有sender参数和可变数量的事件args.所以事件类的声明如下： templatetypename SENDER,typename... ARGSclass event; 为了允许某些实现细节,我需要一个事件的CRTP,如下所示： templatetypename SENDER,typename..

我目前正在实现一个通用事件类.事件处理程序具有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模板提供事件参数(模板< typename EVENT,typename EVENT_SENDER,typename ... EVENT_ARGS>类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,ARGS...>>
{
    using type = std::tuple<SENDER,ARGS...>;
};

template<typename 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,double>
        >::value,"!");
}

这是相应的live example.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!