Шаблоны не всегда предполагают типы списков инициализаторов

#include <initializer_list>
#include <utility>

void foo(std::initializer_list<std::pair<int,int>>) {}
template <class T> void bar(T) {}

int main() {
    foo({{0,1}});  //This works
    foo({{0,1},{1,2}});  //This works
    bar({{0,1}});  //This warns
    bar({{0,1},{1,2}});  //This fails
    bar(std::initializer_list<std::pair<int,int>>({{0,1},{1,2}}));  //This works
}

Это не компилируется в gcc 4.5.3, это выдает предупреждение для отмеченной строки, говорящейdeducing ‘T’ as ‘std::initializer_list<std::initializer_list<int> >’ и ошибка для отмеченной строки, говорящейno matching function for call to ‘bar(<brace-enclosed initializer list>)’, Почему gcc может определить тип первого вызова bar, а не второго, и есть ли способ исправить это, кроме длинного и некрасивого приведения?

Ответы на вопрос(2)

Ваш ответ на вопрос