c++ - 为什么 std::{container}::emplace 不推断其参数类型？

Question

假设我有这段代码:

#include <string>
#include <unordered_set>

struct command_node {
    std::string key, value;
};

bool operator==(const command_node &x, const command_node &y) {
    return x.key == y.key;
}

namespace std {
    template<>
    struct hash<command_node> {
        typedef command_node argument_type;
        typedef size_t result_type;
        size_t operator()(const command_node &x) const {
            return std::hash<std::string>()(x.key);
        }
    };
}

using command_set = std::unordered_set<command_node>;

int main(int argc, char **argv)
{
    command_set commands;

    commands.emplace(
        command_node{"system", "running"}
    );

    return EXIT_SUCCESS;
}

它只是创建一个 command_node 结构的 unordered_list。该代码仅供说明。

问题:在主要方面，这是可行的(如上所示):

    commands.emplace(
        command_node{"system", "running"}
    );

但这不是:

    commands.emplace(
        {"system", "running"}
    );

然而，如果我将 emplace 替换为 insert，无论哪种方式都有效。换句话说，这有效:

    commands.insert(
        {"system", "running"}
    );

为什么 emplace 不推断 command_node？

Answer 1

这是因为基于转发引用的完美转发因花括号初始化列表而失败:对于编译器来说，这是一个“非推导上下文”。相反，将参数传递给容器的基础值类型构造函数。

插入方法不同:它们接受 const value_type& 左值引用或右值引用 (value_type&&)。因此，传递一个初始化类型的花括号初始化列表效果很好。