c++ - 是否有与虚拟模板功能等效的模式？

Question

我正在使用一个监视工具，并且我专注于降低运行时开销和使用简单的API。对于低开销的运行时开/关切换，我选择使用状态模式，并简化模板参数包的用法。

现在，我第一次在将编译时和运行时分开的立场上进行斗争，当然不能使虚拟模板函数正常工作。

考虑到以下限制，我正在寻找解决方法或等效的解决方案:

“禁用”状态

的最低运行时间成本

灵活的API

符合C++ 17之前的要求

如果不可能的话，那也很好...

代码示例:

static struct /*Disabled*/ State
{
    template <typename... Args>
    /*virtual*/ void operator()(const char * category, Args&&... args) { /*noop*/ }
} 
disabled;

static struct Enabled : State
{
    template <typename... Args>
    /*virtual*/ void operator()(const char * category, Args&&... args) { /*processing category and args*/ }
} 
enabled;

struct Monitor
{
    static State* state;

    template <typename... Args>
    static void write(const char * category, Args&&... args)
    {
        state->operator()(category, std::forward<Args>(args)...);
    }
};

State* Monitor::state = &enabled;

int main()
{
    Monitor::write("BulletCount", 42);
    Monitor::write("Spell", "EnergyShield", true);
}

上面的代码可以编译，但是如果没有虚拟继承，我将永远无法达到Enabled状态。删除模板并进行大量的重载就可以做到，但是如果可以避免的话，这将成为一个很好的解决方案。

Answer 1

您可以尝试维护模板的另一种方法(基于合成而不是继承)，如下所示:

enum state_enum
{
    ENABLED_ST,
    DISABLE_ST
};

struct State
{
    state_enum myState;

    State(state_enum theState):myState(theState)
    {}

    template <typename... Args>
    /*virtual*/ void operator()(const char * category, Args&&... args) 
    { 
        if(myState == DISABLE_ST)
        {
         // noop    
        }
        else if(myState == ENABLED_ST)
        {

        }
    }

};

static State enabled = State(ENABLED_ST);
static State disabled = State(DISABLE_ST);

struct Monitor
{
    static State* state;

    template <typename... Args>
    static void write(const char * category, Args&&... args)
    {
        state->operator()(category, std::forward<Args>(args)...);
    }
};

State* Monitor::state = &enabled;