c++ - 如何使派生类在 CRTP 中的基类上模板化

Question

比方说，我有两个引擎类别(基于燃料类型，例如天然气或电力)

template<class Derived>
class ElectricEngine {};

和

template <typename Derived>
class GasEngine {};

现在说我要制作CarEngine和PlaneEngine，每个可以选择上面的基类之一。我还需要做 CRTP(静态多态性)。因此，执行此操作的直接方法如下:

class ElectricCarEngine : public ElectricEngine<ElectricCarEngine> {};
class GasCarEngine : public GasEngine<GasCarEngine> {};

class ElectricPlaneEngine : public ElectricEngine<ElectricPlaneEngine> {};
class GasPlaneEngine : public GasEngine<GasPlaneEngine> {};

上面的代码有效，但是它有很多冗余代码，因为我对每个 CarEngine 类型(即 ElectricCarEngine 和 GasCarEngine)的方法是相同的。 ElectricPlaneEngine 和 GasPlaneEngine 也是如此。

假设像下面这样编译:

template <typename Base>
class CarEngineInterface : public Base<CarEngineInterface<Base> > {};

然后我们可以通过简单的 typedfs 重用这个类来创建任何 CarEngine 类型。 例如:

typedef CarEngineInterface<ElectricCarEngine> ElectricCarEngine;
typedef CarEngineInterface<GasCarEngine> ElectricCarEngine;

然而，由于循环依赖，这失败了。我怎样才能达到类似的效果？

是否有一些特质魔法可以解决这个问题？ (就像用于从 CRTP 中的基类引用派生类 typedef 的那些)

我在使用 C++99，但我可以使用 Boost。我也是 C++ 模板的菜鸟。

如果我需要澄清任何事情，请告诉我。

创意链接:https://ideone.com/uMylVY

Answer 1

模板也可以接受模板作为参数，所以我认为这将用于:

template< class Engine > struct ElectricFueled { };
template< class Engine > struct GasFueled { };

template< template<class> class Fueled > struct CarEngine   : Fueled<CarEngine<Fueled> >   { };
template< template<class> class Fueled > struct PlaneEngine : Fueled<PlaneEngine<Fueled> > { };

CarEngine<ElectricFueled> myTeslaEngine;
PlaneEngine<GasFueled>    myMooneyEngine;

这可能是在结构语法方面分解它的最简单方法，但它只是一种方法。尝试多种变体，看看什么能让以后的生活变得更轻松。