boost bimap空容器迭代器begin与end不相等问题求助

问题场景 #

定义类成员：

boost::bimaps::bimap<std::filesystem::path, int> mRowIndexes = {};

执行测试代码：

PB::printDebug("mRowIndexes %d\n", mRowIndexes.size());
if (mRowIndexes.empty())
{
  PB::printDebug("Bimap empty\n");
}
if (mRowIndexes.left.begin() != mRowIndexes.left.end())
{
  PB::printDebug("F1\n");
}
if (mRowIndexes.begin() != mRowIndexes.end())
{
  PB::printDebug("F2\n");
}

得到输出：

[Debug] mRowIndexes 0
[Debug] Bimap empty
[Debug] F1
[Debug] F2

疑问：为何空容器的迭代器begin()与end()不相等？该迭代器问题的原因是什么？

问题原因 #

这是Boost.Bimap的实现细节导致的特殊行为，和标准STL容器逻辑不同：

• Boost.Bimap底层节点结构中，即使容器为空，begin()（包括左右视图的begin()）返回的迭代器可能指向内部的空占位节点，而非直接等于end()指向的尾后标记位置，因此两者比较结果为不相等。
• 这种空迭代器是无效的，尝试解引用会触发未定义行为，因为容器内没有实际元素。

正确处理方式 #

判断Boost.Bimap是否为空时，必须优先使用empty()方法，这是容器提供的可靠状态判断接口，能准确反映容器是否包含有效元素，不要依赖迭代器的比较结果来判断容器状态。

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