需要定义时避免循环类相关性

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; 
}