如何在C ++中强制使用奇怪的重复模板模式

How to force use of curiously recurring template pattern in C++

我有以下基本模板类。

1
2
3
4
5
6

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

它是用来作为一个奇怪的重复模板模式。它应该像class B : public Base一样被继承。它不能像class B : public Base那样被继承。我想静态地执行这个要求。如果有人使用这个错误，我希望在编译阶段出现错误。

我要做的是把一个static_cast(*this)放在do_something()中。这样，继承模板的类就是或继承自作为模板参数提供的类。对不起，这句话让人困惑。在普通英语中，它要求B是或继承自class B : public Base中的SomeoneElse。

我不知道这是否是实现这一目标的最佳方式。我觉得很恶心。

但是我想做的更多。我想确保B是SomeoneElse本身。我该怎么做？

相关讨论

(P)如果你的阶级包含了一些代码说：(p)字母名称(P)如果EDOCX1的英文字母1不符合EDOCX1的英文字母0，它们将成为一个汇编错误。(p)(P)This kind of check is formased in C++11 so you don't have to write it by hand and can get helpful mistake messages：(p)字母名称(P)As to ensuring that EDOCX1 penographic 0's type parameter is exactly the class that is deriving from it，that seems conceptually flawed.a class that is acting as a base class can't"talk about"the type that is inhering it.It may be inherited more than once through multiple inheritance，or not at all.(p)