c++ - 为什么我不能构造一个带有大括号括起来的初始化列表的 gsl::span

Question

根据C++ Core Guidelines ，我应该use a gsl::span to pass a half-open sequence .

我认为这意味着与其编写如下函数:

void func(const std::vector<int>& data) {
    for (auto v : data) std::cout << v << " ";
}

我应该更喜欢:

void func(gsl::span<const int> data) {
    for (auto v : data) std::cout << v << " ";
}

它的优点是它不会假设调用者在 vector 中有他们的数据，或者强制他们构造一个临时的 vector。例如，他们可以传递 std::array。

但是一个常见的用例是传递一个大括号括起来的初始化列表:

func({0,1,2,3})

这适用于采用 std::vector 的函数，但对于采用 gsl::span 的函数我收到错误消息:

error C2664: 'void func(gsl::span)' : cannot convert argument 1 from 'initializer-list' to 'gsl::span'

它看起来像gsl::span has a templated constructor设计用于携带任何容器。

这只是 Microsoft GSL 实现中缺少的东西，还是有充分的理由阻止这种做法？

Answer 1

当您调用 vector 版本时，初始化列表用于创建临时 std::vector ，然后通过 const 引用传递给函数。这是可能的，因为 std::vector有一个构造函数，需要一个 std::initializer_list<T>作为论据。
然而，gsl::span没有这样的构造函数和 {0,1,2,3}没有类型，它也不能被您提到的模板化构造函数接受(除此之外，std::initializer_list<T> 无论如何都不能满足容器概念)。

一个(丑陋的)解决方法当然是显式创建一个临时数组:

func(std::array<int,4>{ 0,1,2,3 });

我没有看到特别的原因，为什么 gsl::span不应有采用 std::initializer_list 的构造函数，但请记住，这个库还很新，并且正在积极开发中。所以也许这是他们忽略的事情，没有时间实现，不确定如何正确地做或者确实有一些细节，这会使该结构变得危险。最好直接在 github 上询问开发人员。

---

编辑:
正如@Nicol Bolas 在他的评论中解释的那样，这是 by design因为像 {0,1,2,3} 这样的初始化列表(和其中的元素)是一个临时对象，作为 gsl::span本身不是容器(它不拥有元素的所有权)，他们认为意外创建 gsl::span 太容易了包含对这些临时元素的悬挂引用。

所以，虽然这没问题:

func({ 0,1,2,3 });

因为初始化列表的生命周期在函数完成后结束，像这样的东西会创建一个悬空引用:

gsl::span<const int> data{ 0,1,2,3 };
func(data);