C++ "not working" 中两个 `unordered_set` 在 class 方法中但与 `set` 一起工作时的交集？

Question

我这里有两个“地图”，xs 和 ys，我用它们在网格中存储“点”。我还有一个数组 std::pair<int,int> arr，这样 xs[x] return 中 arr 中的所有索引的 x 坐标 x 和 ys[y] returns y 坐标为 y.

的所有索引

让我们有以下内容：

std::unordered_map<int, std::unordered_set<size_t>> xs {
    {3, {2, 0}},
    {11, {1}}
};
std::unordered_map<int, std::unordered_set<size_t>> ys {
    {2, {2 ,1}},
    {10, {0}}
};

std::unordered_set<size_t> intersection;
std::set_intersection(xs[3].begin(), xs[3].end(),
    ys[2].begin(), ys[2].end(),
    std::inserter(intersection, intersection.begin()));
std::cout << intersection.size() << std::endl; // should return 1

intersection.clear();
std::set_intersection(xs[11].begin(), xs[11].end(),
    ys[2].begin(), ys[2].end(),
    std::inserter(intersection, intersection.begin()));
std::cout << intersection.size() << std::endl; // should return 1

他们 return 1 和 1。没有惊喜。

现在让我们在函数中隔离交集计数器：

size_t count_intersection(const std::pair<int,int>& pt,
        const std::unordered_map<int, std::unordered_set<size_t>>& xs,
        const std::unordered_map<int, std::unordered_set<size_t>>& ys) {
    
    const int x = pt.first, y = pt.second;

    // Omitted some error checking

    std::unordered_set<size_t> intersection;
    std::set_intersection(xs.at(x).begin(), xs.at(x).end(),
        ys.at(y).begin(), ys.at(y).end(),
        std::inserter(intersection, intersection.begin()));

    return intersection.size();
}

std::cout << count_intersection({3, 2}, xs, ys) << std::endl;
std::cout << count_intersection({11, 2}, xs, ys) << std::endl;

到目前为止，还不错。

现在，让我们将所有这些隔离在 class:

class Counter {

    std::vector<std::pair<int,int>> _pts;
    std::unordered_map<int, std::unordered_set<size_t>> _xs;
    std::unordered_map<int, std::unordered_set<size_t>> _ys;

public:
    void add(const std::pair<int,int>& pt) {
        const int x = pt.first, y = pt.second;
        const size_t ind = _pts.size();

        _pts.push_back(pt);
        _xs[x].insert(ind);
        _ys[y].insert(ind);
    }

    size_t count(const std::pair<int,int>& pt) {
        std::unordered_set<size_t> intersection;
        const int x = pt.first, y = pt.second;

        std::set_intersection(_xs[x].begin(), _xs[x].end(),
            _ys[y].begin(), _ys[y].end(),
            std::inserter(intersection, intersection.begin()));
        return intersection.size();
    }
};

int main() {
    Counter c;
    c.add({3,10}); // ind == 0
    c.add({11,2}); // ind == 1
    c.add({3,2});  // ind == 2

    // By this point,
    // _xs == {3: {0, 2}, 11: {1}}
    // _ys == {10: {0}, 2: {1,2}}
    std::cout << c.count({3,2}) << std::endl;  // Should return 1
    std::cout << c.count({11,2}) << std::endl; // Should return 1
}

相反，我得到的是

1
0

但是，当我将 std::unordered_set 替换为 std::set 时，结果符合预期。

std::unordered_set怎么了？

对了，我编译的命令是

g++ -Wall -Wextra -Werror -O3 -std=c++17 -pedantic -fsanitize=address -o main.out main.cpp && ./main.out

我的 g++ --version 是 g++ (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0。

Answer 1

std::set_intersection 需要有序元素。

unordered_map 和 _set 不提供有序元素。

C++ "not working" 中两个 `unordered_set` 在 class 方法中但与 `set` 一起工作时的交集？

Intersection of two `unordered_set`s in C++ "not working" when in a class method but works with `set`?

c++

set

unordered-set

c++11