Рекурсивные шаблоны классов

Question

У меня есть два класса, которые нужно сохранить ссылки друг друга следующим образом:

template <typename S> 
class H { 
public: 
    H(const S& s): s_{s} {} 
private: 
    const S& s_; 
} 

А потом

template <typename H> 
class S { 
public: 
    S(const H& h): h_{h} {} 
private: 
    const H& h_; 
} 

Там нет никакого способа, я могу определить что-либо подобное

Service<ItsHandler<Service<....> 

Любая идея?

Answer 1

Как насчет абстрактных базовых классов и полиморфизма ?:

class baseHandler { 
public: 
    virtual func1() = 0; 
    virtual ~baseHandler() = 0; 
}; 

template <typename S> 
class H : public baseHandler { 
public: 
    H(const S& s): s_{s} {} 
private: 
    const S& s_; 
}; 

//template <typename H> 
class S { 
public: 
    S(const baseHandler& h): h_{h} {} 
private: 
    const baseHandler& h_; 
};