时间戳

首页 > 解决方案 > 递归别名模板

c++ - 递归别名模板

问题描述

我正在创建一个邻接列表来对有向加权图进行建模，并且我想知道递归别名模板是否可行。我试过这样的东西

template<class edge_data>
using graph_test = std::set<std::map<std::set<graph_test>::const_pointer, edge_data>>;

（集合的每个条目是一个映射，每个映射代表一个顶点。映射的每个条目都是边：键是指向其他顶点的指针，值是权重。指针在插入时不会失效）

这会产生一个错误：'graph_test': undeclared identifier。

我知道我可以用std::any它来避免这个问题，但它看起来有点“危险”，即使我知道我在做什么。

你有什么建议/想法可以解决这个问题吗？

编辑 1：正如Igor Tandetnik指出的那样，我创建const_pointer的方式不正确。我想出了这段代码（斜体修改）：

template<class edge_data>
    using graph_test = std::set<std::map<graph_test<edge_data>::const_pointer, edge_data>>;

问题和错误仍然存​​在，但至少修复了一个错误。

编辑 2：我查看了非常相关的bipll的解决方案，以及Dani的评论，显示可能缺少typedef关键字。我想出了这段代码，它编译：

template<class edge_data> struct graph_test
    : std::set<typename std::map<typename graph_test<edge_data>::const_pointer, edge_data>> {
    using std::map<typename graph_test<edge_data>::const_pointer, edge_data>::map;
};

我会将问题标记为已解决，非常感谢您的时间和帮助:)

标签： c++c++11graphc++17adjacency-list

解决方案

在您的定义中，graph_test缺少模板参数，并且typename缺少 a。此外，一个类型不能是它自己的别名，它的扩展会创建一个无限的依赖图。您可以将其设为真实类​​型，而不是别名：

template<class edge_data> struct graph_test
    :std::set<
        typename std::map<typename std::set<graph_test<edge_data>>::const_pointer, edge_data>>
{
    using std::map<typename std::set<graph_test<edge_data>>::const_pointer, edge_data>>::map;
};

推荐阅读