如何使类与采用范围的 std::span 构造函数兼容？

Question

我希望能够将我的自定义容器传递给这个 std::span 构造函数：

template< class R >
explicit(extent != std::dynamic_extent)
constexpr span( R&& range );

我需要向我的自定义类添加什么以使其满足能够将其传递给接收范围的std::span 构造函数的要求？

例如，使用std::vector，我们可以这样做：

std::vector<int> v = {1, 2, 3};
auto span = std::span{v};

我已经将这些添加到我的自定义类中：

Type* begin()
{
    return m_Data;
}

Type* end()
{
    return m_Data + m_Length;
}

const Type* data() const
{
    return m_Data;
}

size_t size() const
{
    return m_Length;
}

...这反过来又允许我使用基于范围的循环，以及std::data(my_container) 和std::size(my_container)。我错过了什么，以便我也可以将我的容器传递给 std::span 构造函数？是否需要实现更复杂的迭代器？

Answer 1

这是因为你的Container不满足contiguous_range，定义为：

template<class T>
  concept contiguous_­range =
    random_­access_­range<T> && contiguous_­iterator<iterator_t<T>> &&
    requires(T& t) {
      { ranges::data(t) } -> same_­as<add_pointer_t<range_reference_t<T>>>;
    };

requires子句中ranges::data(t)的返回类型为const Type*，与add_pointer_t<range_reference_t<T>>的返回类型为Type*不同。

解决方法是将非const data() 添加到您的Container 中，返回Type*：

Type* data()  { return m_Data; }