为什么可变参数函数不能“吃”C++ 11中的列表初始化参数？

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 and template type deduction。这是因为C++ 11标准的§14.8.2.5/5这样说。我不知道这个看似不一致，违反直觉的行为的理由要么，但我们并不孤单：

• 1564. Template argument deduction from an initializer list

• C++ Type Deduction and Why You Care斯科特迈尔斯，从37:00

• If braced initializers have no type, why is the committee so insistent on deducing one for them?开始

至于你的情况，也许最简单的修复方法是：

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