小心使用指针当做 unordered_set / unordered_map 的键

当我们试图使用指针作为哈希的键时, 要小心下面的情况:

#include <set>
#include <map>
#include <vector>
#include <memory>
#include <utility>
#include <iostream>
#include <unordered_set>
#include <unordered_map>
using namespace std;

int main()
{
    unordered_set<shared_ptr<int> > s1;
    s1.insert(make_shared<int> (5));
    s1.insert(make_shared<int> (5));
    cout << s1.size() << endl;
    
    unordered_set<int *> s2;
    s2.insert(new int(5));
    s2.insert(new int(5));
    cout << s2.size() << endl;

}

他们的输出结果, 都会是 2

为什么呢?

因为make_shared 和 new 创建了一个新的对象

当然make_shared内部也是包装了new

new的调用过程包括:

1. 调用operator new分配一块新的内存
2. 在其中调用构造函数进行初始化

甚至其重载版本placement new可以在指定内存上调用构造函数, 而不进行任何内存的分配

也就是说, 你的指针可能是指向了不同的内存, 所以是不同的键 (显而易见的, 即使他们值一样)