为什么我不能用大括号括起来的初始化列表构造 gsl::span

Question

根据C++ Core Guidelines, I should 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

当您调用矢量版本时，初始化列表用于创建一个临时的 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);

Answer 2

跨度是非拥有的。不拥有存储空间。它是指针运算的替代品，而不是存储 class.

你需要把你的数据放在一个存储中class，然后如果你想用指针算法做一些聪明的事情，你可以用跨度做一些聪明的事情。

您不能使用初始化列表初始化跨度，因为没有地方可以放置数据。

Answer 3

这现在适用于 absl::Span。下面的例子是从https://abseil.io/tips/93复制过来的：

void TakesSpan(absl::Span<const int> ints);

void PassALiteral() {
  // Span does not need a temporary allocation and copy, so it is faster.
  TakesSpan({1, 2, 3});
}

为什么我不能用大括号括起来的初始化列表构造 gsl::span

Why can't I construct a gsl::span with a brace-enclosed initializer list

c++

c++11

cpp-core-guidelines