为什么 unordered_map::equal_range upper_bound 如果键小于第一个映射元素，则返回

Why unordered_map::equal_range upper_bound returns end if a key is less than first map element

本文关键字：映射 第一个 小于 元素 返回 bound map unordered equal range 为什么      更新时间：2023-10-16

我注意到如果传递的键小于 map 的第一个键，unordered_map：：equal_range upper_bound(第一个)返回 end

#include <iostream>
#include <map>
#include <tr1/unordered_map>
using namespace std;
int main ()
{
{
std::map<char,int> mymap;
mymap['c'] = 60;
std::map<char,int>::iterator itup = mymap.equal_range('a').first;
std::cout << "map::itup " << itup->first << std::endl;
}
{
tr1::unordered_map<char, int> mymap;
mymap['c'] = 60;
mymap['d'] = 70;
tr1::unordered_map<char, int>::iterator itlo = mymap.equal_range('a').first;
tr1::unordered_map<char, int>::iterator itup = mymap.equal_range('a').second;
cout << "unordered_map::itup " << (itup == mymap.end() ? "END" : "NOT END") << std::endl;
cout << "unordered_map::itlo " << (itlo == mymap.end() ? "END" : "NOT END") << std::endl;
}
return 0;
}

输出为：

map::itup c
unordered_map::itup END
unordered_map::itlo END

请注意，地图和unordered_map的行为是不同的 - 任何原因还是unordered_map的问题？

发生这种情况是因为unordered_map是无序的，这并不奇怪。

参见§22.2.7 [unord.req]，表70，关于equal_range的要求：

返回：包含键等效于k的所有元素的范围。 如果不存在此类元素，则返回make_­pair(b.end(), b.end())。

这与有序关联容器(如std::map)的要求不同，其中equal_range是根据lower_bound和upper_bound定义的。

std::unordered_map没有lower_bound和upper_bound，原因很明显。

您请求了一个包含unordered_map中键为'a'的所有元素的范围。您的无序地图不包含此类元素。因此，范围为空。

map案也是如此。但是，表示此条件的方式因容器而异(尽管不是真的;请继续阅读)。容器std::map和std::unordered_map不是一回事(因此它们有不同的名称)。前者是有序的，而后者不是，因此出于逻辑实现原因，它的工作方式略有不同：

unordered_map

返回值
std::pair包含一对定义所需范围的迭代器。如果没有这样的元素，则返回结束(见end())迭代器作为对的两个元素。

map

返回值
std::pair包含一对定义所需范围的迭代器：第一个指向不小于key的第一个元素，第二个指向大于key的第一个元素。 如果没有不小于键的元素，则返回结束(见end())迭代器作为第一个元素。类似地，如果没有大于key的元素，则返回过去结束迭代器作为第二个元素。

这种差异无关紧要。无论哪种情况，您都应该简单地迭代(first，second]来检查范围内的元素(如果存在)，就像处理任何迭代器范围一样。

在您的代码中，您没有检查map案例中返回的对的两个部分。如果你这样做，你会发现first == second(再次，表示一个空范围)。

map代码有效地取消引用返回范围的"过去结束"迭代器。 

#include <iostream>
#include <map>
#include <unordered_map>
using namespace std;
int main ()
{
{
std::map<char,int> mymap;
mymap['c'] = 60;
std::map<char, int>::iterator itlo = mymap.equal_range('a').first;
std::map<char, int>::iterator itup = mymap.equal_range('a').second;
// This compares each range extent to the map's end, which is not really useful
cout << "map::itup " << (itup == mymap.end() ? "END" : "NOT END") << 'n';
cout << "map::itlo " << (itlo == mymap.end() ? "END" : "NOT END") << 'n';
// This examines the range itself
cout << "map range empty: " << (itlo == itup ? "YES" : "NO") << 'n';
cout << "map range size: " << std::distance(itlo, itup) << 'n';
}
{
std::unordered_map<char, int> mymap;
mymap['c'] = 60;
mymap['d'] = 70;
std::unordered_map<char, int>::iterator itlo = mymap.equal_range('a').first;
std::unordered_map<char, int>::iterator itup = mymap.equal_range('a').second;
// This compares each range extent to the map's end, which is not really useful
cout << "unordered_map::itup " << (itup == mymap.end() ? "END" : "NOT END") << std::endl;
cout << "unordered_map::itlo " << (itlo == mymap.end() ? "END" : "NOT END") << std::endl;
// This examines the range itself
cout << "unordered_map range empty: " << (itlo == itup ? "YES" : "NO") << 'n';
cout << "unordered_map range size: " << std::distance(itlo, itup) << 'n';
}
}
// Output:
// 
// map::itup NOT END
// map::itlo NOT END
// map range empty: YES
// map range size: 0
// unordered_map::itup END
// unordered_map::itlo END
// unordered_map range empty: YES
// unordered_map range size: 0

(现场演示)

相关文章：