c++ - 为什么在 graph_traits<> 中使用模板化类型定义时 g++ 会报错？

Question

当我尝试编译这段代码时:

struct BasicVertexProperties
{
    Vect3Df position;
};

struct BasicEdgeProperties
{
};

template < typename VERTEXPROPERTIES, typename EDGEPROPERTIES >
class Graph
{
    typedef adjacency_list<
        setS, // disallow parallel edges
        vecS, // vertex container
        bidirectionalS, // directed graph
        property<vertex_properties_t, VERTEXPROPERTIES>,
        property<edge_properties_t, EDGEPROPERTIES>
    > GraphContainer;

    typedef graph_traits<GraphContainer>::vertex_descriptor Vertex;
    typedef graph_traits<GraphContainer>::edge_descriptor Edge;
};

g++ 在“typedef graph_traits<>”行中提示以下错误:

error: type 'boost::graph_traits<boost::adjacency_list<boost::setS, boost::vecS, 
boost::bidirectionalS, boost::property<vertex_properties_t, VERTEXPROPERTIES, 
boost::no_property>, boost::property<edge_properties_t, EDGEPROPERTIES, 
boost::no_property>, boost::no_property, boost::listS> >' is not derived from type 
'Graph<VERTEXPROPERTIES, EDGEPROPERTIES>'

我发现编译器似乎不知道我的模板参数是类型，但在属性定义中将“typename”放在它们之前没有帮助。

怎么了？我只是想要一个模板化的 Graph 类，以便能够使用我喜欢的任何属性，派生自上面定义的基本属性结构，这样我就可以在这个 Graph 中拥有对基本属性进行操作的方法。

Answer 1

这些行:

    typedef graph_traits<GraphContainer>::vertex_descriptor Vertex;
    typedef graph_traits<GraphContainer>::edge_descriptor Edge;

应该是:

    typedef typename graph_traits<GraphContainer>::vertex_descriptor Vertex;
    typedef typename graph_traits<GraphContainer>::edge_descriptor Edge;

原因是编译器无法判断 vertex_descriptor 是一种类型，直到您定义 GraphContainer 是什么(因为一个可能根据另一个定义)。

此标准要求您指定这是一个类型而不是静态成员变量。