如何用标准跨度进行边界检查？

Question

std::vector和几乎所有其他容器都有一种非常方便的边界检查方法:at()。 std::span显然没有这个功能。

• 为什么？
• 有替代者吗？ 除了在()？
推出您自己的 之外




Answer 1

将span引入标准库的论文说:

范围检查和边界安全

对跨域封装的数据的所有访问都在概念上进行范围检查，以确保它们保持在跨域的界限内。 当运行时未能满足SPAN的边界安全约束时，实际发生的是未定义的行为。

也就是说，操作具有狭义的契约，给了实现者自由。

如果您的标准库不允许您将行为控制到适当的粒度。 gsl-lite提供了可配置的合同违反行为的插入替换。 Microsoft GSL以前是可配置的，但现在总是在合同违反时终止，这里讨论（这可能是您想要的）。

Answer 2

很笨重，但像这样:

1. 使用位置

template<class Container>
auto& at(Container&& c, std::size_t pos){
    if(pos >= c.size())
        throw std::out_of_range("out of bounds");
    return c[pos];
}

template<class Iterator, class Container>
auto& at(Container&& c, Iterator&& it){
    if(std::distance(c.begin(), it) >= c.size())
        throw std::out_of_range("out of bounds");
    return *it;
}