1

我正在阅读 C++11 书籍之一的建议,以便在向容器中添加项目时更倾向于emplace避免insert创建临时对象(调用被插入对象的构造函数/析构函数)。但我有点困惑,因为有几种可能性可以将对象添加到地图,例如

#include <iostream>
#include <string>
#include <cstdint>
#include <map>

int main()
{
    std::string one     { "one" };
    std::string two     { "two" };

    std::map<uint32_t, std::string> testMap;

    testMap.insert(std::make_pair(1, one));         // 1
    testMap.emplace(2, two);                        // 2
    testMap.insert(std::make_pair(3, "three"));     // 3
    testMap.emplace(4, "four");                     // 4

    using valType = std::map < uint32_t, std::string >::value_type;
    testMap.emplace(valType(5, "five"));            // 5
    testMap.insert(valType(6, "six"));              // 6

    return 0;
}

还有一些底层机制在阅读这样的代码时不会立即可见 - 完美转发,隐式转换......

将项目添加到地图容器的最佳方式是什么?

4

1 回答 1

1

让我们一次考虑一个选项(加上你没有提到的一两个)。

就语义而言,选项 1 和 6 基本相同。theusing和 thepair只是 value_type 的两种不同的拼写方式map。如果您愿意,可以使用 atypedef而不是using语句添加第三​​种方式:

typedef std::map<uint32_t, std::string>::value_type valType;

...并拥有与您的 #6 相当的 C++98/03。不过,这三个最终都做了同样的事情:创建一个该pair类型的临时对象,并将其插入到map.

第 3 版和第 5 版的功能几乎相同。他们使用emplace,但他们传递的已经是mapvalue_type 的对象。到emplace它自己开始执行时,将存储在映射中的对象类型已经构建好了。同样,两者之间的唯一区别在于用于指定该pair类型的语法——而且,再一次,与typedef我上面显示的类似,您可以拥有与当前具有的 C++98/03 等效的using陈述。insert版本 3 使用和版本 5 使用的事实emplace几乎没有真正的区别——在调用任一成员函数时,我们已经创建并传递了一个临时对象。

选项 2 和 4 实际上都emplace更像它的预期用途——传递单个组件,将它们完美转发给构造函数,并value_type就地构造一个对象,因此我们避免在任何时候创建任何临时对象。它们两者之间的主要(唯一?)区别在于我们为 value_type 的组件传递的东西是字符串文字(需要从中创建string临时对象)还是提前创建的对象。std::stringstd::string

这些之间的选择可能很重要。如果(如上所述)你只做一次,它根本不会有任何区别——不管你什么时候创建它,你都是在创建一个字符串对象,然后把它放到map.

因此,要真正有所作为,我们需要预先创建字符串对象,然后将相同的字符串对象重复插入到map. 这本身就很不寻常——在大多数情况下,您将执行诸如将外部数据读取到字符串中,然后将其插入到map. 如果您确实std::string重复插入(构造自)相同的字符串文字,那么任何合理的编译器都很有可能检测到生成的字符串是循环不变的,并将string构造提升出循环,从而产生基本相同的效果。

底线:就其map自身的使用而言,选择 2 和 4 是等价的。在这两者之间,我不会真正努力使用选项 2 而不是选项 4(即预先创建字符串),但它很可能在大多数情况下发生,仅仅是因为将单个字符串文字插入到地图中是很少有用。您放入映射中的字符串将更频繁地来自某些外部数据源,因此您将拥有一个string,因为这是(例如)std::getline当您从文件中读取数据时给您的。

于 2015-01-21T17:01:41.407 回答