爲什麼可變參數函數不能「吃」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));