初始化列表中的模板替换错误

Question

我知道如何使下面的代码工作：我只是取消注释打印机的第二个构造函数。

这个想法很简单：我想编写一个构造函数/函数，它可以将一些参数存储在一些我可以迭代的abract数据结构中。我希望它至少可以使用向量和列表（它确实），但也可以使用初始化列表（但它没有）。

我使用以下简单的语法（可能比我想要的更通用，我不使用模板模板）所以我不必编写可变参数模板来处理std ::的分配器类型

#include <iostream>
#include <vector>
#include <list>
#include <initializer_list>

using namespace std;

struct Printer
{
    template<class Container>
    Printer(const Container& cont)
    {
        for(const auto & e : cont)
            cout << e << " ";
        cout << endl;
    }

    //template<class T>
    //Printer(const initializer_list<T> & l)//why should I ?
    //{
    //  for(const T & e : l)
    //      cout << e << " ";
    //  cout << endl;
    //}
};

int main()
{
    vector<int> v = {1,2,3};
    Printer pv(v);
    Printer pv2 = v; //ok : not explicit

    list<char> l = {'a', 'b', 'c'};
    Printer pl(l);
    Printer pl2 = l; //ok : not explicit

    Printer pi1 = {4,5,6};      
    Printer pi2 ({4,5,6}); //same as above if explicit      
}

但为什么我应该明确地为初始化列表编写特定的构造函数？错误是“无法将'{4,5,6}'从''转换为'打印机'”。

基本上，它告诉的是替换不适用于初始化列表。但为什么 ？

Answer 1

括号括起的初始化列表（正式地，braced-init-list）不是std::initializer_list。它可以转换为一个，但不是一个。它也不是容器类型。它根本不是一个类型，实际上，它是一个语法结构，由以下符号序列组成：

{initializer-list，opt}

{ }

因此，此语法将无法正常工作：

Printer pi1 = {4,5,6};      
Printer pi2 ({4,5,6}); //same as above if explicit

如果Printer是aggregate，那么它可以执行聚合初始化。

否则，你有点卡住接受一个std::initializer_list，可以用你提供的括号封闭的iniitalizer列表构建。

---

更多信息：

您使用该语法实际执行的操作称为列表初始化，（聚合初始化是一种列表初始化）。只是为了进一步混淆，当用于初始化像T{a, b, c, ...}这样的类型时，它被称为初始化列表。这不要与std::initializer_list混淆。

当在C ++ 11中添加std::initializer_list时，它得到了特殊处理。现在可以使用braced-init-list在构造函数中构造临时std::initializer_list。这就是你看到我们突然能像std::vector<int>那样轻松创建std::vector<int> vec{1, 2, 3, 4, 5, ...};的地方

但是，有一点要警惕的是，std::initializer_list构造函数是“高优先级”构造函数，编译器将选择when you least suspect。

Answer 2

更换

Printer pi1 = {4,5,6};      
Printer pi2 ({4,5,6}); //same as above if explicit      

通过类似的东西

Printer pi1 = vector<int>{4,5,6};      
Printer pi2 (vector<int>{4,5,6}); //same as above if explicit