Question

我有两个std::map对象，它们使用相同的数据填充，但是顺序不同：

using TMap = std::map<int, std::wstring>;
using TSourceData = std::vector< std::pair<int, std::wstring> >;

TSourceData gen_source_data(int size)
{
    TSourceData result;
    result.reserve(size);

    for(int i = 0; i < size; ++i)
    {
        result.push_back( std::make_pair(i, std::to_wstring(i)) );
    }

    return result;
}

TMap fill_map(const TSourceData& source)
{
    TMap result;

    auto randomized = source;
    std::random_shuffle(randomized.begin(), randomized.end());

    for(const auto &e : randomized)
    {
        result[e.first] = e.second;
    }

    return result;
}

int main()
{
    auto source = gen_source_data(1000);

    auto m1 = fill_map(source);
    auto m2 = fill_map(source);

    std::wcout << (m1 == m2) << std::endl;
}

在VS2017中，似乎总是打印1，因此无论两个地图的填充顺序如何，它们都是相等的。但是可以保证是这样吗？如果是这样，你能解释为什么吗？

Answer 1

...因此，无论两个地图以什么顺序填充，它们都是相等的。但是可以保证是这样吗？

是的，因为std::map是一个排序的关联容器（通常实现为二叉树），所以可以保证其元素都可以排序（无论其实现如何）。

Answer 2

std::map是一个关联容器。顺序容器和关联容器之间的区别在于：

sequential container可让您确定元素的位置
associative container本身确定元素的位置

此外，由于std::map是一个排序的容器，因此所有键只能有一个可能的顺序，因此在没有重复项的情况下，std::map的插入顺序并不重要。同样，std::unordered_map内部的排序由每个键的哈希决定，并且再次不依赖于插入顺序。

请注意，您洗牌vector（顺序容器），然后将值复制到map中。由于您无法控制元素map的位置，因此无法对其进行“混洗”。

当两个std :: map对象相同时

2 个答案: