Question

我似乎在MacOS / AppleClang上的发布模式（-O3）中遇到了boost :: container :: flat_multimap（Boost 1.66.0）的问题。我在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;
}

Clang版

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中。然后我们遍历地图并通过识别密钥擦除其中一个条目。随后我们尝试按键找到非擦除元素，但有时找不到（有时会触发第31行的std :: logic_error）。

我的代码中是否有错误？还是容器？

Answer 1

我没有看到任何实际/错误的代码。

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

<强> 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);
}

在发布模式下，OSX / AppleClang上的boost :: container :: flat_multimap崩溃

1 个答案: