c++ - 初始值设定项列表的模板替换错误

Question

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

想法很简单:我想编写一个构造函数/函数，它可以采用存储在一些我可以迭代的抽象数据结构中的多个参数。我希望它至少适用于 vector 和列表(确实如此)，但也适用于初始化列表(但它不适用)。

我使用以下简单语法(可能比我想要的更通用，我不使用模板模板)所以我不必编写可变参数模板来处理 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

A brace-enclosed initializer list(正式地，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。可以根据您提供的大括号括起来的初始化列表构建。

---

更多信息:

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

当 std::initializer_list是在 C++11 中添加的，它得到了特殊对待。 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 .