为什么`std :: prev`不会在`std :: unordered_set`的迭代器中引发错误？

Question

我的问题与下面链接的问题有关。 unordered_map中的双向迭代器？

由于我不知道std::unordered_set不支持双向迭代器，因此我碰巧编写了与此类似的代码。

int main(){
    unordered_set<int> y{4};
    std::cout << *(std::prev(y.end())) << std::endl;
}

该程序已编译，但是代码的最后一行使该程序崩溃。 对此感到困惑，我遇到了链接的问题。 但是，我仍然不明白为什么要编译此程序，而不是抛出错误消息，而无法编译链接代码（即boost::unordered_set ）中的代码。 你能澄清一下吗？

仅供参考，我正在将Miningw64与g ++ 4.8.2 / Windows 7/64位环境一起使用。

Answer 1

std::prev仅为双向迭代器产生已定义的行为。

---

GNU ISO C ++库（由GCC 4.8.2使用）使用std::advance来实现std::prev ，而std::advance本身是这样实现的：

• 对于随机访问迭代器：

   __i += __n; 

• 对于双向迭代器：

   if (__n > 0) while (__n--) ++__i; else while (__n++) --__i; 

• 对于所有其他迭代器：

   while (__n--) ++__i; 

因此，您可以看到，对于unordered_set的迭代器，该函数实际上不使用operator--在链接的另一个问题中会产生编译器错误。

---

您有责任确保传递给std::prev的迭代器是双向的。 如果不是这种情况，则C ++标准不会为您提供任何保证。 GCC选择只是默默地忽略它，但是它也有可能使您的程序崩溃。

Answer 2

std::prev可能使用std::advance ，其中，当参数（输入迭代器）不是双向的时，行为是不确定的。