我似乎在的MacOS / AppleClang上使用boost::container::flat_multimap(Boost 1.66.0)出现问题,发布模式(-O3)。我在Ubuntu 17.10 / GCC7.2和Oracle Linux / GCC7.2.1中进行了测试,但该问题并未出现在此处。

下面是一个最小的可复制示例。

码:

#include <iostream>
#include <vector>

#include <boost/container/flat_map.hpp>

using multimap = boost::container::flat_multimap<int *, int>;

int main(int argc, char **argv)
{
    multimap map;
    std::vector<std::pair<int *, int>> key_value_pairs;

    for (int k = 0; k < 2; k++) {
        int * new_int = new int;
        *new_int = k;
        map.emplace(new_int, k);
        key_value_pairs.emplace_back(new_int, k);
    }

    for (auto it = map.begin(); it != map.end();) {
        if (it->first == key_value_pairs[0].first) {
            it = map.erase(it);
        } else {
            ++it;
        }
    }

    // Should only be one map element left (key_value_pairs[1])
    auto it = map.find(key_value_pairs[1].first);
    if (it == map.end()) {
        throw std::logic_error("Could not find key");
    }

    std::cout  << "Success!" << std::endl;
    return EXIT_SUCCESS;
}

lang版
hoc$ clang --version
Apple LLVM version 9.0.0 (clang-900.0.39.2)
Target: x86_64-apple-darwin17.4.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

在此示例中,我们生成2个int指针,并将它们作为键插入到boost::container::flat_multimap中。然后,我们遍历 map 并通过识别密钥来擦除其中一项。随后,我们尝试按键查找未擦除的元素,但有时找不到(有时触发第31行的std::logic_error)。

我的代码中有错误吗?还是容器?

最佳答案

我的代码实际上看不到/错误/任何内容。

有很多代码味道-这里的“等效”程序是否显示相同的问题?

Live On Coliru

#include <boost/container/flat_map.hpp>
#include <iostream>
#include <vector>

using multimap = boost::container::flat_multimap<int *, int>;

int main() {
    int ks[] = { 0, 1 }; // allocation pool outlives map and key_value_pairs

    multimap map;
    for (int &k : ks)
        map.emplace(&k, k);

    std::vector<multimap::value_type> const key_value_pairs(map.begin(), map.end());

    map.erase(key_value_pairs[0].first);

    assert(map.size() == 1);
    assert(map.begin()->first == key_value_pairs[1].first);

    assert(map.count(&ks[0]) == 0);
    assert(map.count(&ks[1]) == 1);
}

09-10 00:41
查看更多