C++で相互依存型テンプレートを宣言/定義する方法は？

Question

通常、C++ではクラス間の依存関係が必要なときに、ヘッダーファイルで前方宣言を使用し、両方のヘッダーファイルを各cppファイルに含めます。

ただし、テンプレートを使用して作業する場合、この方法は壊れます。テンプレートは完全にヘッダファイルに入っている必要があります（コードをcppに入れ、のそれぞれについてtemplate class A<T>;を列挙した場合はカウントされません）。Tがラムダの場合など、常に実現可能なわけではありません。

C++で相互依存するテンプレートを宣言/定義する方法はありますか？

コード例

template<typename T> struct B; 
template<typename T> struct A { 
    void RunA(B<T> *pB) { 
    // need to do something to B here 
    } 
}; 

template<typename T> struct B { 
    void RunB(A<T> *pA) { 
    // need to do something to A here 
    } 
}; 

私はRunA()でBに何かをやって起動した場合、私はBの唯一の前方宣言がコンパイルされた時間RunA()によって提供されていますので、私は「行方不明の定義」エラーを取得すると思います。

おそらく、ヘッダーファイルを整理するためのいくつかのトリックがあります。各ヘッダをクラス定義ファイルとメソッド定義ファイルに分割し、それらをいくつかの素晴らしい方法で含めることによって、または、何かが第3 /第4クラスを介して行われるかもしれません。しかし、私はこれを具体的に行う方法を想像することはできません。

C++ 11/14/17はokです（具体的には、MSVC++ 2017、toolset v141）。

Answer 1

あなたはきめ細かいヘッダを利用することができます

// A.forward.hpp 
template<typename T> struct A; 

// A.decl.hpp 
#include "A.forward.hpp" 
#include "B.forward.hpp" 

template<typename T> struct A 
{ 
    void RunA(B<T> *pB); 
}; 

// A.impl.hpp 
#include "A.decl.hpp" 
#include "B.hpp" 

template<typename T> void A<T>:: 
RunA(B<T> *pB) 
{ 
    // need to do something to B here 
} 

// A.hpp // this one should be included by code using A 
#include "A.decl.hpp" 
#include "A.impl.hpp" 

// B.forward.hpp 
template<typename T> struct B; 

// B.decl.hpp 
#include "B.forward.hpp" 
#include "A.forward.hpp" 

template<typename T> struct B 
{ 
    void RunB(A<T> *pA); 
}; 

// B.impl.hpp 
#include "B.decl.hpp" 
#include "A.hpp" 

template<typename T> void B<T>:: 
RunB(A<T> *pA) 
{ 
    // need to do something to A here 
} 

// B.hpp // this one should be included by code using B 
#include "B.decl.hpp" 
#include "B.impl.hpp" 

もちろん、これらすべてのヘッダーのも、私は省略し、ヘッダーガードのいくつかの並べ替えを必要としますここに。 重要なお知らせ：.impl.hppヘッダーは外部コードで使用しないでください.、.decl.hpp、および.hppはどこでも使用できます。

このアプローチでは、循環インクルードの依存関係が導入されますが、これは問題にはなりません。ヘッダーを含むコード構造によって、コード部分が前方宣言、クラス定義、メソッド定義の順番で確実に含まれます。

Answer 2

クラスの宣言と定義を分けることができます。したがって、テンプレートクラスの宣言と定義を分けることができます。

クラスメソッドの宣言と定義を分けることができます。したがって、あなたは、テンプレートクラスのメソッドの宣言と定義を分離することができます：

template<typename T> struct B;  // declaration 

template<typename T> struct A {  // definition 
    void RunA(B<T> *pB); // declaration 
}; 

template<typename T> struct B {  // definition 
    void RunB(A<T> *pA); // declaration 
}; 

// definition 
template<typename T> 
void A<T>::RunA(B<T> *pB) { 
    // need to do something to B here 
    } 

// definition  
template<typename T> 
void B<T>::RunB(A<T> *pA) { 
    // need to do something to A here 
    }