介绍

随着即将推出的 Ranges 库，用两个迭代器表示范围的需要几乎消失了。例如，代替

if (std::equal(begin(foo), end(foo), begin(bar), end(bar)))

we have

if (std::ranges::equal(foo, bar))

后者可以说是优越的，不仅因为它简洁，而且因为它防止了省略的常见陷阱end(bar)并欢迎绑定错误。

Problem

下面的代码怎么样？

std::vector<int> vec{begin(foo), end(foo)};

where foo是一个范围。对于范围，我希望将其简化为

std::vector<int> vec{foo};

但是，我在其中找不到任何提及它的内容[vector] http://eel.is/c++draft/vector or [容器.要求] http://eel.is/c++draft/container.requirements。 Ranges 库也没有引入一组新的容器。

为什么 Ranges 库不支持范围内的容器初始化？理由是什么？

C++20 的目标是获取范围！在此之前，需要克服几个障碍，但一旦克服了这些障碍，委员会很可能认为最好引入一个功能可能不完整的可用范围库，而不是根本没有范围。

这并不是说这个功能是不可取的，只是还剩下一些关于它的悬而未决的问题，但它仍在开发中（请参阅p1206 https://wg21.link/p1206).

如果有人阅读该论文第 1 版的基本原理，它会提到向标准容器添加构造函数被证明是行不通的。可能是因为标准容器对其初始化进行了如此多的改造，导致重载解析成为一场噩梦。