为何Boost grid_graph中boost::num_vertices调用失败，using命名空间却可行？

问题背景 #

创建5×6的二维网格图时，直接用boost::num_vertices(g)编译报错：

error: ‘num_vertices’ is not a member of ‘boost’

但添加using namespace boost;后可正常运行，而boost::adjacency_list等类型无此问题，以下针对三个疑问逐一解答：

1. 命名空间运作原理 #

核心原因是**ADL（实参依赖查找）**机制的作用：

• 对于boost::adjacency_list这类图类型，num_vertices函数直接定义在boost顶层命名空间，因此boost::num_vertices能直接找到。
• 而grid_graph的num_vertices是模板函数，其实现依赖ADL触发查找：当你传入boost::grid_graph类型的参数时，编译器会自动去该类型所在的boost命名空间中匹配函数；但如果显式写boost::num_vertices，编译器只会在boost顶层命名空间查找，而该函数并未直接暴露在顶层，因此找不到。
• 添加using namespace boost;后，全局命名空间包含了boost下的所有名字，结合ADL就能正确匹配到对应的模板函数。

2. 是Bug还是预期行为？ #

这是预期行为，属于Boost图库（BGL）的设计习惯：
BGL的部分辅助函数（如num_vertices）采用ADL机制调用，目的是适配不同图类型的模板实现，同时保持接口一致性——用户只需统一调用num_vertices(g)，编译器会自动根据参数类型找到对应实现，无需关注函数所在的具体命名空间层级。
adjacency_list的num_vertices支持boost::前缀调用，是因为它额外在boost顶层提供了显式重载，属于兼容写法。

3. 不使用using指令的调用方法 #

有两种可行方案：

• 利用ADL直接调用：无需加boost::前缀，编译器会通过参数类型自动查找对应函数：

#include <boost/graph/grid_graph.hpp>
#include <iostream>

int main()
{
    typedef boost::grid_graph<2> Graph;
    Graph g({5, 6});
    std::cout << "Num vertices: " << num_vertices(g) << std::endl;

    return 0;
}

• 单独引入目标函数：只引入num_vertices而非整个boost命名空间：

#include <boost/graph/grid_graph.hpp>
#include <iostream>

using boost::num_vertices;

int main()
{
    typedef boost::grid_graph<2> Graph;
    Graph g({5, 6});
    std::cout << "Num vertices: " << num_vertices(g) << std::endl;

    return 0;
}

内容的提问来源于stack exchange，提问作者badboul