- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我最近一直在研究 CRTP,并产生了使用 CRTP 创建通用基模板类的想法。
// 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! \n");
}
};
}
我的目标是使用基类对象来访问派生类的函数,同时通过仅包含基类的头文件并将派生类声明为模板参数来分离基类和派生类的实现.
我知道我可以用不完整的类型做什么的基础知识,但我似乎找不到关于模板的信息。
转发声明类 TDerived 参数而不包含头文件是否有效?
// 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 类时,我不断收到编译错误(可能是因为我没有完全意识到的命名空间问题)。
任何建议或这种设计是否有效和有效?
最佳答案
我不太确定这里的设计目标是什么,但是关于不完整类型的规则以同样的方式适用,无论你是否在谈论模板,你只需要考虑模板在哪里被实例化。
在您的情况下,您试图避免在 SomeFile.cpp 中包含 AsArgument.h。但是,您使用 AsArgument 类实例化 Example 类模板。这意味着当您编译 SomeFile.cpp 时,该翻译单元对 AsArgument 类一无所知(因为它在 .h 文件中看不到它的声明),只知道它存在。
但是,如您所料,如果您只知道一个类存在,您将无法对它做很多事情。你甚至不能按值(value)持有它,因为你不知道它的大小。您不能使用它的任何界面。在您的示例中,编译器无法知道 AsArgument::DoThat 甚至存在(它不一定需要知道它做了什么,可以留给链接器)。请记住,Example 是在 SomeFile.cpp 中实例化的,因此编译器需要知道 DoThat 存在的位置。
所以你需要 AsArgument.h。对于普通类,您可以将声明放在 .h 文件中,并将定义(实现)放在 .cpp 文件中。但是 AsArgument 是一个模板类,所以一般情况下你不能那样做。如果您在预先知道的有限数量的类上进行模板化,并且愿意在所有这些类上明确地进行模板化,那么您只能对模板执行此操作。
我不能对大局发表太多评论,因为我不知道你想做什么。我不确定 CRTP 是否适合您。 CRTP 在某些方面很有用,但它并不是我真正使用的第一个工具。其实现在想想:我很少用。在大多数情况下,如果我要使用基于模板的多态性,我可以直接持有“ child ”并完全跳过基础,在很多情况下我觉得基础对我来说不够。
我建议在以后的 SO 问题中包括您遇到的任何编译器错误。祝你好运!
关于c++ - CRTP (Curiously Recurring Template Pattern) 使用通用基模板类而不是派生类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31151795/
我有一个无法理解的奇怪编译问题。 //I know, you should never derive from the STL Library template class SharedClass :
我是一个刚开始学习 Haskell 的菜鸟,所以如果我问愚蠢的问题,请耐心等待。 最近我在 SO 中遇到了演示如何导出函数和表达式的类型和实现的问题(诸如 How can I understand "
如何自动派生此 GADT 的 Read 实例: {-# LANGUAGE GADTs, StandaloneDeriving #-} data TypeDec a where TypeDecInt
我遇到了我想要的情况 Deal class要注意它DealDetail type反之亦然,我想 DealDetail注意Deal type .将来我想有很多 Deal 的后代和 DealDetails
我是 C# 新手,所以请多多包涵。 好的,所以我在不同的程序集中有两个类需要相互引用: namespace AssemblyA { class A { private B MyB {
简而言之,我已经实现了一个派生自 SynchronizationContext 的类,以便 GUI 应用程序可以轻松地使用在 GUI 线程以外的线程上引发的事件。我非常感谢对我的实现的评论。具体来说,
我正在设计一个小型系统,想知道如何为派生类分配内存的细微差别。 如果我有两个类(class) class foo { public: int a; Foo(): a(0) {}; }; class
我正在尝试编写一个派生 PartialEq 的枚举,其中包含一个手动执行此操作的特征对象。我使用了解决方案 here为了强制 Trait 的实现者编写相等方法。这无法编译: trait Trait {
以下代码可以编译(特别是 MyError 被识别为具有调试特性): use std::str; use std::fmt; #[derive(Debug)] enum MyError where F:
是否有一种简单的方法来注释结构中的字段,以便在派生 PartialEq 特征时忽略它们?例如: #[derive(PartialEq,Eq)] pub struct UndirectedGraph {
我正在编写代码来处理“Foo”类型的对象。 foo 是一种容器,为了提供对其元素的高效和抽象访问,它提供了 Element 类型的嵌套类。 Element 包装对象在容器中的位置。 现在,“Foo”可
假设如下: class child : public parent { public: fun1(parent * obj); //somewhere on the child class
我有几个模板类 template class Transition { public: virtual Cost getCost() = 0; }; template class St
我正在尝试使用自定义 QSortFilterProxyModel . 这是我的标题: #include class QSortFilterProxyModel_NumbersLast : publi
我正在使用 C# 和 mvc3。我在解决方案中添加了一个项目。我想创建一个新 Controller 并让它从我添加的项目中的 Controller 派生。我该怎么做? 最佳答案 在 Visual St
我在 python 中有一个对象,它派生自 QtGui.QGraphicsPixmapItem,具有一些基本属性和方法。在对此对象的引用上调用 deepcopy 后,当我尝试使用该副本时收到一条错误消
由于只能给FixedDocument添加页面,所以我写了一个派生类: public class CustomFixedDocument : FixedDocument { public voi
我在自定义 QMainWindow 时遇到了很大的问题,因为我不知道如何实现以下内容: 在 QMainWindow 文档中,QMainWindow 有一些用于工具栏、停靠小部件、状态栏和其他的特殊区域
我想感受一下QT,决定写一个小的十六进制编辑器。为此,我需要一个允许滚动的小部件。经过一番研究,我发现 QTextEdit 为此目的派生自 QAbstractScrollArea。在阅读 QAbstr
我正在寻找一种可以从已经发生的洗牌过程中派生出 key 的算法。 假设我们有被打乱的字符串“Hello”: "hello" -> "loelh" 现在我想从中导出一个 key k,我可以用它来撤销洗牌
我是一名优秀的程序员,十分优秀!