使用 C++ 模板有条件地插入方法的主体

Question

我对元编程完全是个菜鸟，我的问题很简单，但我还没有找到简单的答案。here 回答了类似的问题，但我无法将其转化为我的需要。

我有这样的课

class Program {

 public:

   Program(){}

   SetMatrixUniform(){

      CallSomeMethodX();

   }

    ~Program(){}

};

但我有这样的场景，我需要具有相同方法的同一个类，但在它们的主体中调用不同的函数。像这样：

 class Program {

 public:

   Program(){}

   SetMatrixUniform(){

      CallSomeMethodY();

   }

    ~Program(){}

};

我想要一个带有“true”参数的类的模板接口来选择在编译时放入类成员方法中的内容，而不是维护2个这样的类。

类似这样的：

  Program<true> myProg;   ///expands    CallSomeMethodX(); into  SetMatrixUniform()

同时：

  Program<false> myProg;   ///expands    CallSomeMethodY(); into  SetMatrixUniform()

我已经看到了声明类变体然后通过特化最终类扩展其中一个的示例。我想在不使用继承的情况下这样做，因为性能在这里非常重要。

Answer 1

这可以使用模板专业化

来解决

我们首先将Programm 声明为带有布尔参数的模板：

template<bool B>
struct Programm
{
    struct SetMatrixUniform()
    {
         std::cout << "General / Generic Implementation" << std::endl;
    }
};

现在我们可以为更具体的情况提供另一种实现/专业化，例如B == true

template<>
struct Programm<true>
{
    void SetMatrixUniform()
    {
       std::cout << "Sepcific Implementation For B == true" << std::endl;
    }
};

由于bool只能保持两种状态：true和false，如果模板实例化为false，则使用第一个实现，如果模板实例化为true，则使用第二个实现。

---

然而，这个解决方案有点冗长，需要两个人重新实现大部分功能。如果只是在某些方法上需要不同的行为，也可以直接比较B。例如：

template<bool B>
struct Programm
{
    void SetMatrixUniform()
    {
        if(B == true)
            //...
        else
            //...
    }
};