如何解决为什么 view_interface::data const 重载需要额外检查 const D 是否满足 range::range?
根据[view.interface],非常量和const重载的data
函数定义如下:
template<class D>
requires is_class_v<D> && same_as<D,remove_cv_t<D>>
class view_interface : public view_base {
private:
constexpr D& derived() noexcept { // exposition only
return static_cast<D&>(*this);
}
constexpr const D& derived() const noexcept { // exposition only
return static_cast<const D&>(*this);
}
public:
constexpr auto data() requires contiguous_iterator<iterator_t<D>> {
return to_address(ranges::begin(derived()));
}
constexpr auto data() const
requires range<const D> && contiguous_iterator<iterator_t<const D>> {
return to_address(ranges::begin(derived()));
}
};
为什么 data() const
还需要满足 const D
是 ranges::range
?
iterator_t<const D>
不是已经受到限制,因此 const D
必须是 ranges::range
吗?
requires range<const D>
在这里的真正目的是什么?是否存在 D
是 ranges::range
而 const D
不是 ranges::range
的情况?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。