c++ - 确定可变模板参数是编译时间

Question

假设我想定义一个依赖于某些类型的类型:

    struct TimerPump{};
    struct GuiPump{};
    struct NetworkPump{};
    
    template<class... Pumps>
    class DispatcherT{};
    
    using Dispatcher = DispatcherT< TimerPump, GuiPump, NetworkPump >;

我想让 gui 和网络泵成为可选的。可能需要其中之一，或者两者都需要，或者不需要。我可以写一个预处理器宏:

using Dispatcher = DispatcherT< TimerPump
#ifdef GUI_ENABLED
                                , GuiPump
#endif
#ifdef NETWORK_ENABLED
                                , NetworkPump 
#endif
>;

但我正在寻找一种方法来通过特征来控制这些参数

struct Traits
{
    static constexpr bool gui = true;
    static constexpr bool network = false;
};

using Dispatcher = DispatcherT< TimerPump
                                , Traits::gui ? GuiPump : null     <--- need help here
                                , Traits::network ? NetworkPump : null
>;

是否有一种简洁的方法来确定传递给采用可变参数的模板的参数？

Answer 1

基本上，您想要附加可选列表。为此，您首先需要添加列表:

template<typename... Ts>
struct list {
    template<typename T>
    using append = list<Ts..., T>;

    template<bool b, typename T>
    using appendIf = std::conditional_t<b, list<Ts..., T>, list<Ts...>>;

    template<template<class...> LT>
    using applyTo = LT<Ts...>;
};

那么你可以从 list<> 开始(或您肯定拥有的任何类型)，然后在每一步中使用 ::appendIf<condition, type>并以 applyTo<DispatcherT> 结尾.

using Dispatcher = 
    list<TimerPump>
        ::appendIf<Traits::gui, GuiPump>
        ::appendIf<Traits::network, NetworkPump>
        ::applyTo<DispatcherT>;