声明对象并在C中使用typedef的顺序

struct C{
  bool operator()(A const &a,A const &b){
    return a.compare_variable < b.compare_variable;
  }
};

typedef B<A,vector<A>,C> type;

class A{
  public:
  type container1,container2;
};

重要警告：标准库容器如std :: vector技术上是 do not support incomplete types.使用不完整类型实例化它们是未定义的行为.类型A在A的定义中是不完整的,这意味着您不能可靠地使用例如std :: vector< A>类型的成员.在A的定义中.因此,你想要使用像 one of Boost’s containers那样保证支持不完整类型的东西.

以下讨论假定B和向量支持具有不完整类型的实例化.如果他们不这样做,就不可能做你想做的事.

首先,找出依赖关系：

struct C {
  bool operator()(A const &a,A const &b){
    return a.compare_variable < b.compare_variable;
  }
};

定义C本身,包括声明C :: operator(),只需要A进行前向声明.但是,定义C :: operator()需要A的完整定义,因为函数体引用了A的成员.

typedef B<A,C> type;

定义类型仅需要向前声明A,向量,B和C. typedef本身不会触发模板的实例化.

class A{
public:
    type container1,container2;
};

这触发了B< A,vector< A>,C>的实例化,需要B的完整定义.容器可能还需要C(比较器)是完整类型,因为它们需要存储它的副本.

简而言之：

>定义C需要A的前向声明.定义C :: operator()需要A的完整定义.
>定义类型需要A,B和C的前向声明.
>定义A需要B和C的完整定义.

一旦整理了依赖项,就可以编写代码了.假设B通过包含适当的头来定义：

class A;     // Forward declare A for C's definition
struct C {
  bool operator()(A const &a,A const &b);
};

typedef B<A,C> type;

class A{
public:
    type container1,container2;
};

inline bool C::operator()(A const &a,A const &b){
  return a.compare_variable < b.compare_variable;
}

请注意,您需要在A中实际创建一个compare_variable成员.