继承模板类的循环依赖

Question

我遇到了循环依赖问题。基本上我有两个类，第一个是一个模板类，它使用了我第二个类的一些功能。第二个类继承自我的模板类。

下面是一个简化的结构：

// Foo.h
#pragma once
#include "Bar.h"

template <class T> class Foo
{
     public:
        void DoSomething();
};

template <class T> void Foo<T>::DoSomething()
{
     Bar::GetInstance()->LogEvent();
}


//Bar.h
#pragma once
#include "Foo.h"

class Bar : public Foo<Bar>
{
    public:
        static Bar* GetInstance();
        void LogEvent();
};


//Bar.cpp
#include "Bar.h"

Bar* Bar::GetInstance()
{
     // return instance of Bar singleton class
}

void Bar::LogEvent()
{
     // log some event in a file
}

现在的问题是，当我编译代码时，我在 bar.h 中收到以下错误

Bar.h() : error C2504: 'Foo' : base class undefined
Bar.h() : error C2143: syntax error : missing ',' before '<'

据我所知，这绝对是一个依赖问题。如果我从“DoSomething”中删除对“LogEvent”的调用，并从 Foo.h 中删除引用“Bar.h”，问题就会消失。

但这并不是真正的解决方案，因为 Foo 需要包含在 Bar 中的功能，相反，bar 继承自 Foo 并且需要包含对 Foo.h 的引用。

那么 - 我该如何解决这个问题？我浏览了有关循环引用的其他帖子，但我无法解决问题。

谢谢

Answer 1

根据您发布的代码，foo.h 不需要包含 bar.h，如果不包含，问题就会消失。

重要的是编译器在看到 Bar 之前先看到 Foo，如果 #include "bar.h" 位于 foo.h 的顶部，这可能不会发生（取决于 foo.h 和 bar.h 的顺序是 #include在消费模块中编辑）。

也就是说，如果一个基类需要假设一个特定的派生类并通过名称调用它，那么似乎可能存在设计问题（基类中的虚函数会起作用吗？）。但是我不能在没有看到全貌的情况下做出这样的判断。

基于下面的cmets，我想你可以通过添加第三个文件来解决眼前的问题：

// LogEvent.h

void LogEvent(...);

// LogEvent.cpp
#include "bar.h"

void LogEvent(...)
{
   Bar::GetInstance()->LogEvent(...);
}

然后修改foo.h如下：

// Foo.h
#pragma once
#include "LogEvent.h"

template <class T> class Foo
{
     public:
        void DoSomething();
};

template <class T> void Foo<T>::DoSomething()
{
   LogEvent(...);
}

除非还有其他问题，否则至少应该让你编译。

Answer 2

你的问题是函数的定义：

template <class T> void Foo<T>::DoSomething()
{
     Bar::GetInstance()->LogEvent();
}

这里不需要写Bar类名。

使用：

template <class T> void Foo<T>::DoSomething()
{
     T::GetInstance()->LogEvent();
}

这样，当你写 Foo<Bar> Bar 将替换 T。

我使用您发布的代码测试了更改并且它有效。

编辑：

我找到了一个使用模板专业化的解决方案。

将此添加到您的Foo.h：

template <>
class Foo<Bar>
{
     public:
        void DoSomething()
        {
             Bar::GetInstance()->LogEvent();
        }
};

这解决了你所有的问题。使用模板特化，如果模板 Foo 使用 Bar 类型作为参数进行实例化，您将实例化上面定义的类，而不是原始的 Foo。

因此，您不必再担心其他类没有方法GetInstance。您可以使用这种方法来扩展您的代码，并根据需要使用尽可能多的 Foo 特化。