迭代器的统一初始化

Question

我是C ++ 11的新手，迭代器和统一初始化存在问题，我不明白。

请考虑以下示例，该示例无法编译：

#include <iostream>
#include <vector>

int main() {

    std::vector<int> t{1, 2, 3, 4, 5};
    auto iter{t.begin()};                   

    for (; iter != t.end(); ++iter) {
        std::cout << *iter;
    }

    return 0;
}

在第6行中，使用统一初始化初始化向量。 在第7行中，我尝试使用迭代器执行相同的操作。 这是行不通的。 将第7行更改为auto iter = t.begin() 。 我知道我可以简单地使用“基于范围”，但问题是：为什么统一初始化不适用于迭代器，但对于基本类型（如int i{0}; ？

Answer 1

当您使用初始化列表作为auto的初始化程序时，声明的变量将被推导为初始化列表。 换句话说， iter被声明为std::initializer_list<vector<int>::iterator> ，而不是你vector<int>::iterator 。

将其更改为auto iter = t.begin()是继续进行的最佳方式。

Answer 2

C ++ 11有一个特殊的auto和支撑初始化规则，它被推断为std::initializer_list 。 在您的情况下，您的选择是以下之一：

auto iter(t.begin());
auto iter = t.begin();

行为描述于：

§7.1.6.4/ 7 auto说明符[dcl.spec.auto]

令T为函数的变量或返回类型的声明类型 。 如果占位符是自动类型说明符，则使用模板参数推导的规则确定推导的类型。 如果扣除是针对return语句而初始化器是braced-init-list（8.5.4），则程序格式错误。 否则，通过用新发明的类型模板参数U 替换auto的出现来获得P，或者如果初始化器是braced-init-list，则用std :: initializer_- list替换 。 使用函数调用（14.8.2.1）中的模板参数推导规则来推导U的值，其中P是函数模板参数类型，初始化器是相应的参数。 如果扣除失败，则声明格式不正确。 否则，通过将推导的U代入P来获得为变量或返回类型推导出的类型。

（强调我的）。

Scott Meyer最近提出了一个关于这个问题的讨论。 我建议观看视频。