范围 v3 any_view & 常量

Question

以下简单代码失败：

#include <vector>
#include <range/v3/all.hpp>

int main()
{
    std::vector<int> const v{ 1, 2, 3, 4 };
    ranges::any_view<int, ranges::category::bidirectional |
                              ranges::category::sized> const a{v};
    ranges::begin(a);
}

但如果在这里删除常量：

 a { v };

一切正常。它是一个错误吗？还是我看不懂any_view的语义。

UPD：这是 MSVC 16.9.0 Preview 1.0 编译器。

Answer 1

ranges::begin(a) 调用

template<typename R>
ranges::_begin_::fn::operator ()(R && r)

需要可修改或右值参数r。

a 声明为 const a{v} 将调用 ranges::_begin_::fn::operator ()<const ranges::any_view<...>>(const ranges::any_view<...> && r)，这是不可能的，因为它将右值 a 绑定到左值参数。