C++03 用模板元编程替换预处理器指令

问：

我有一个嵌入式 C++03 代码库，它需要支持不同的小工具供应商，但一次只能支持一个。大多数功能在几个小工具之间重叠，但有一些独家功能，这些独家功能正在产生我需要解决的问题。

下面是一个使用预处理器条件的笨拙代码示例：

#define HW_TYPE1    0
#define HW_TYPE2    1

#define HW_TYPE HW_TYPE1

struct  GadgetBase  {
    void    FncA();
    // Many common methods and functions
    void    FncZ();
};
#if HW_TYPE==HW_TYPE2
struct  Gadget  :   public  GadgetBase  {
    bool    Bar()       {return(true);}
};
#else
struct  Gadget  :   public  GadgetBase  {
    bool    Foo()       {return(false);}
};
#endif

Gadget  A;

#if HW_TYPE==HW_TYPE2
bool    Test()  {return(A.Bar());}
#else
bool    Test()  {return(A.Foo());}

这是我尝试在没有预处理器指令的情况下将上述代码转换为 C++ 模板的尝试。 由于在我的特定平台上定义错误，以下代码无法编译，因为 either 或 未定义取决于 的值。Test()Foo()Bar()Type

enum    TypeE   {
    eType1,
    eType2
};

const TypeE Type= eType1; // Set Global Type

// Common functions for both Gadgets
struct  GadgetBase  {
    void    FncA();
    // Many common methods and functions
    void    FncZ();
};

// Unique functions for each gadget
template<TypeE  E=  eType1>
struct  Gadget  :   public  GadgetBase          {
    bool    Foo()       {return(false);}
};
template<>
struct  Gadget<eType2>  :   public  GadgetBase  {
    bool    Bar()       {return(true);}
};

Gadget<Type>    A;
template<TypeE  E=  eType1>
bool    Test()  {return(A.Foo());}
template<>
bool    Test()  {return(A.Bar());}

我想使用模板来执行此操作，以便在添加新类型或其他函数时减少代码更改的数量。目前有五种类型，预计很快至少还会有两种。预处理器实现代码散发着恶臭，我想在它变得笨拙之前清理它。

小工具代码只占总代码库的一小部分，因此将每个小工具分解整个项目也可能不理想。

即使每个项目只使用一种类型，未使用的类型仍然需要编译，我如何使用 C++03 最好地设计它（没有 constexpr、const if 等）？我是完全错误地处理这个问题吗？我愿意做一次彻底的检修。

编辑：Tomek 下面的解决方案让我怀疑它是否违反了 LSP。实际上，另一种看待这个问题的方法是成为需要实现的接口的一部分。因此，可以像下面这样重新考虑该示例：Test()

struct  GadgetI    {
    virtual bool Test()=0;
};
template<TypeE  E=  eType1>
struct  Gadget  :   public  GadgetBase, public GadgetI  {
    bool    Foo()       {return(false);}
    bool    Test()      {return Foo();}
};
template<>
struct  Gadget<eType2>  :   public  GadgetBase, public GadgetI  {
    bool    Bar()       {return(true);}
    bool    Test()      {return Bar();}
};
template<>
struct  Gadget<eType3>  :   public  GadgetBase, public GadgetI  {
    bool    Test()      {} // Violation of LSP?
};

或者与编辑后的示例类似：

template<typename T>
bool Test(T& o)              {}  // Violation?
template<>
bool Test(Gadget<eType1> &o) {return(o.Foo());}
template<>
bool Test(Gadget<eType2> &o) {return(o.Bar());}

Test(A);

我可能想多了，我只是不想让现在糟糕的设计以后咬我。