需要定義時避免循環類相關性

Question

template <class T=A> 
struct B { 
    T a; 
}; 

struct A { 
    B<A> foo(){ 
     B<A> result; 
     return result; 
    } 
}; 

如何避免必須使用模板（介意默認參數以查看其用法）。 問題是兩個類都需要對方的定義。但是模板解決方案所顯示的沒有「真正的」循環依賴。

Answer 1

你可以利用一個事實，即向前聲明的情況下，你的價值迴歸（如與A::foo的情況下）足夠：

struct B; 

struct A { 
    B foo(); 
}; 

struct B { 
    A a; 
}; 

B A::foo() { 
    B result; 
    return result; 
}