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

Question

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

想法很简单：我想编写一个构造函数/函数，它可以采用存储在一些我可以迭代的抽象数据结构中的多个参数。我希望它至少可以与向量和列表一起使用（它可以），但也可以与初始化列表一起使用（但它不能）。

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

但是为什么我要明确地为初始化列表编写一个特定的构造函数？错误是 "could not convert ‘{4, 5, 6}’ from ‘’ to ‘Printer’"。

基本上，它告诉我们替换不适用于初始值设定项列表。但是为什么？

Answer 1

替换

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

Answer 2

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 可以从您提供的 brace-enclosed initalizer 列表 构造。

更多信息：

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

混淆

在 C++11 中添加 std::initializer_list 时，它得到了特殊处理。 braced-init-list 现在可用于在构造函数中构造临时 std::initializer_list。在这里您看到我们突然能够像 std::vector<int> vec{1, 2, 3, 4, 5, ...};

一样轻松地创建 std::vector<int>

但是，需要注意的一件事是 std::initializer_list 构造函数是编译器将选择的“高优先级”构造函数 you least suspect.

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

Template substitution error with initializer list

c++

templates

initializer-list