Разрешение круговой зависимости между шаблонными классами - PullRequest
Новая
       9

Разрешение круговой зависимости между шаблонными классами

20 голосов
/ 28 июля 2010

У меня есть два класса, Foo<T> и Bar<T>, полученные из Base.Каждый переопределяет метод virtual Base* convert(ID) const, где ID - это экземпляр типа, который уникальным образом идентифицирует конкретное создание экземпляра Foo или Bar (представьте, что это enum).Проблема в том, что Foo::convert() должен иметь возможность возвращать экземпляр Bar, а также Bar::convert() должен иметь возможность создавать экземпляр Foo.Поскольку оба они являются шаблонами, это приводит к круговой зависимости между Foo.h и Bar.h.Как мне решить эту проблему?

Редактировать: Форвардное объявление не работает, потому что реализация каждого метода нуждается в конструкторе другого класса:

Foo.h:

#include <Base.h>

template<class T> class Bar;

template<class T>
class Foo : public Base { ... };

template<class T>
Base* Foo<T>::convert(ID id) const {

    if (id == BAR_INT)
        return new Bar<int>(value); // Error.

    ...

}

Bar.h: 

#include <Base.h>

template<class T> class Foo;

template<class T>
class Bar : public Base { ... };

template<class T>
Base* Bar<T>::convert(ID id) const {

    if (id == FOO_FLOAT)
        return new Foo<float>(value); // Error.

    ...

}

Ошибка, естественно, «неверное использование неполного типа».

Ответы [ 4 ]

21 голосов
/ 28 июля 2010

Что вам нужно сделать, это отделить объявления класса от реализации. Так что-то вроде 

template <class T> class Foo : public Base
{
    public:
    Base* convert(ID) const;
}

template <class T> class Bar : public Base
{
    public:
    Base* convert(ID) const;
}

template <class T> Base* Foo<T>::convert(ID) const {return new Bar<T>;}
template <class T> Base* Bar<T>::convert(ID) const {return new Foo<T>;}

Таким образом, у вас есть полные определения классов, когда определены функции.

12 голосов
/ 28 июля 2010

Вы должны использовать предварительные объявления класса шаблона в любом из заголовков 

template <class T>
class X;

- это очень хорошее форвардное объявление класса шаблона.

12 голосов
/ 28 июля 2010

(Обновлено) Вы должны быть в состоянии справиться с этим так же, как с не шаблонными классами. Напишите свой Bar.h как это. (И аналогично для Foo.h) 

#if !defined(BAR_H_INCLUDED)
#define BAR_H_INCLUDED

template <class T>
class Foo;

template <class T>
class Bar
{
    /// Declarations, no implementations.
}    

#include "Foo.h"

template <class T>
Base* Bar<T>::Convert() {  /* implementation here... */ }
#endif
8 голосов
/ 18 июля 2011

Ответ Джеймса Керрана - находка.Вообще говоря, идея Джеймса состоит в том, чтобы ограничить включение необходимых заголовочных файлов до того момента, пока не потребуются члены («объявления»), поступающие из включенных заголовочных файлов.Например:

t1.hh 

#ifndef S_SIGNATURE
#define S_SIGNATURE

struct G; // forward declaration

template<typename T>
struct S {
  void s_method(G &);
};

#include "t2.hh" // now we only need G's member declarations

template<typename T>
void S<T>::s_method(G&g) { g.g_method(*this); }

#endif

t2.hh 

#ifndef G_SIGNATURE
#define G_SIGNATURE

template<typename T>
struct S; // forward declaration

struct G {
  template<typename T>
  void g_method(S<T>&);
};

#include "t1.hh" // now we only need S' member declarations

template<typename T>
void G::g_method(S<T>& s) { s.s_method(*this); }

#endif

t.cc 

#include "t1.hh"
#include "t2.hh"

S<int> s;
G g;

int main(int argc,char**argv) {
  g.g_method(s); // instantiation of G::g_method<int>(S<int>&)
}
...