2

换句话说，std::span在 span 实例被销毁后，迭代器是否失效？

我有一个需要用不同布局迭代的向量。我试图std::span避免编写大量迭代器样板文件或引入外部库依赖项。简化示例：

#include <iostream>
#include <span>
#include <vector>

template <size_t N>
struct my_view {
  std::vector<int> vec;

  auto as_span() {
    return std::span<int[N]>((int(*)[N])vec.data(), vec.size() / N);
  }

  auto begin() {
    return as_span().begin();
  }

  auto end() {
    return as_span().end();
  }
};

int main() {
  std::vector vec {1, 2, 3, 4, 5, 6};
  my_view<2> pairs {std::move(vec)};
  for (auto pair : pairs) {
    std::cout << pair[0] << " " << pair[1] << std::endl;
  }
  my_view<3> triplets {std::move(pairs.vec)};
  for (auto triplet : triplets) {
    std::cout << triplet[0] << " " << triplet[1] << " " << triplet[2] << std::endl;
  }
  return 0;
}

https://godbolt.org/z/n1djETane

4

1 回答 1

3

我很欣赏这个问题连续问同一个问题的正面和负面版本。因此...

std::span迭代器可以比创建它们的 span 对象更长寿吗？

是的。

std::spanspan 实例销毁后迭代器是否失效？

不。

这就是您在[span.syn]中看到的原因：

template<class ElementType, size_t Extent>
  inline constexpr bool ranges::enable_borrowed_range<span<ElementType, Extent>> = true;

其中，来自[range.range]/5：

E给定这样的表达式,仅当从 表示的对象获得的迭代器的有效性与该对象的生命周期无关decltype((E))时才建模。TTborrowed_­rangeE

[注2：由于迭代器的有效性与模型类型对象的生命周期无关，因此borrowed_­range函数可以按值接受这种类型的参数并返回从它获得的迭代器，而没有悬空的危险。——尾注]

如果 aspan的迭代器与 的生命周期相关联span，那么这样做是无效的——span必须是非借用的（例如，vector<T>显然不是借用的）。

gsl::span的迭代器用于保留指向 的指针span（这显然会导致迭代器无效），但这在 2020 年 2 月发生了变化（我没有查看评论以找到那里的讨论，但那个符合标准行为）。

于 2021-08-11T20:24:48.827 回答