template<typename T>
class Base {
  public:
    void do_something() {
    }
};

它旨在用作奇怪的重复模板模式.它应该像B类一样继承：public Base< B>.它不能像B类一样继承：public Base< SomeoneElse>.我想静态地执行这个要求.如果有人使用了这个错误,我预计编译阶段会出错.

我正在做的是在do_something()中放入static_cast< T const&>(* this).这样,继承模板的类是继承自作为模板参数提供的类.抱歉这个令人困惑的表情.在简单的英语中,它要求B是或继承自B类中的SomeoneElse：public Base< SomeoneElse>.

我不知道这是否是实现这一目标的最佳方式.看起来很粗鲁.

但是我想做更多.我想确保B是SomeoneElse本身.我怎样才能做到这一点？