关于c ++：CRTP（奇怪的重复模板模式）使用通用基础模板类而不是派生类

CRTP (Curiously Recurring Template Pattern) using a generic base template class instead of the derived class

我最近一直在研究crtp，并想出了一个使用crtp创建通用基本模板类的想法。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

// Example.h
namespace A {
template <class TClass, typename T>
class Example {
public:
Example(T &someStruct) : m_someStruct_(someStruct)
{
}

~Example()
{
DoThis();
}

public:
void DoThis()
{
static_cast<TClass*>(this)->DoThat(m_someStruct_);
}

private:
T m_someStruct_;
};
}

// AsArgument.h
namespace A {
class AsArgument : public Example <AsArgument, SomeStruct> {
friend class Example <AsArgument, SomeStruct>;
private:
void DoThat(SomeStruct &someFun)
{
// Do something to someFun object.
// yehey(someFun);
printf("I want to do that!
");
}
};
}

我的目标是使用基类对象访问派生类的函数，同时通过只包含基类的头文件并将派生类作为模板参数转发来分离基类和派生类的实现。

我知道如何处理不完整类型的基本知识，但似乎找不到有关模板的信息。

转发声明类TDerived参数而不是包含头文件是否有效？

1
2
3
4
5
6
7
8
9
10
11
12

// SomeFile.cpp
#include"Example.h"

class A::AsArgument; // Forward declare this instead of including the AsArgument.h header file

namespace B {
void SomeClass::DoSomething()
{
SomeStruct fun;
Example <AsArgument, SomeStruct> example(fun);
}
}

我不确定在创建通用的基本模板类时，这是否是一个好的设计，但是我在创建基本类之后的目标是轻松地从中创建派生类，并在编译时定义基本类实现。它实际上是RAII和CRTP的某种组合。

实际上，我可以通过将"asargument.h"文件包含在"example.h"中来实现这一点，但是基础和实现之间的分离将丢失。当我试图转发声明asargument类时，我总是会得到编译错误(可能是因为我不完全知道的名称空间问题)。

有什么建议，或者这种设计是否有效？