为什么variadic函数不能"吃掉"C++ 11中的list-initialization参数？

Question

示例代码是:

#include <unordered_map>

int main() {
    std::unordered_map<int, std::pair<int, int>> map;

    map.emplace(1, {1, 1});

    return 0;
}

哪里emplace()有签名,如:

template <class... _Args>
pair<iterator, bool> emplace(_Args&&... __args);

该gcc说的功能expectes 0参数- 2提供的.该clang说,函数需要1个参数- 2提供的.

我甚至不明白 - 这段代码有什么问题？

Answer 1

问题是它{1, 1}不是表达式而且没有类型.由于它没有类型,因此无法推断到模板参数列表中.它们都不正确,因为问题与提供的参数数量无关.

Answer 2

我甚至不明白 - 这段代码有什么问题？

出于某些不明原因,initializer-list参数是一个非推导的上下文,请参阅initializer_list和模板类型推导.这是因为C++ 11标准的§14.8.2.5/ 5这样说.我不知道这种看似不一致和违反直觉的行为的理由,但我们并不孤单:

• 1564.从初始化列表中扣除模板参数

• C++类型演绎和为什么你关注 Scott Meyers,从37:00开始

• 如果支持的初始化者没有类型,为什么委员会如此坚持为他们推断一个呢？

至于你的情况,也许最简单的解决方法是:

map.emplace(1, std::make_pair(1, 1));