BGL无向图出边迭代器的源/目标节点属性是否有官方保障？

我定义了如下无向BGL图：

typedef boost::adjacency_list<boost::setS, boost::listS, boost::undirectedS, VProp, EProp> Graph;

在代码中我使用如下循环访问节点v的出边：

OutEdgeIter out_i;
OutEdgeIter out_end;

for (boost::tie(out_i, out_end) = out_edges(v, g);  out_i != out_end; ++out_i)
{
  Edge curEdge = *out_i;
  Vertex curNeighbor = boost::target(curEdge, g);

  // Other stuff here.
}

我发现一个特殊现象：无论哪个节点v，其出边的source始终是v本身，target始终是邻居节点。这在有向图中合理，但我的图是无向图，从定义上无法明确无向边的源/目标节点。

请问该特性是否是BGL有文档记录的、有保障的行为？我编写的单元测试均验证了该特性，但未在BGL文档中找到相关说明。

补充：设置边属性时，边的“方向”不影响结果，比如设置(u, v)的权重为5，boost::edge(v, u, g)返回的权重也为5，底层似乎只有一个边对象。

这个行为是BGL无向图实现中有保障的既定行为，虽然文档未在out_edges的直接说明里强调，但可以从BGL的设计逻辑和无向图的接口约定推导出来：

• 无向图的out_edges(v, g)返回的迭代器序列，本质是所有与v关联边的"视图"——每条边会被包装成以v为源节点、邻居为目标节点的形式返回，目的是让无向图的边遍历接口和有向图保持一致，降低代码适配成本。
• 无向图底层仅存储一份边数据，source()和target()的返回值会根据遍历的起始节点动态调整：从u遍历出边时，边被视为u→v；从v遍历出边时，同一条边被视为v→u。
• 该行为是BGL测试套件和官方示例中的默认预期行为，可以放心依赖，不会因版本更新改变。

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