范圍 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 值參數r 。

a聲明為const a{v}將調用ranges::_begin_::fn::operator ()<const ranges::any_view<...>>(const ranges::any_view<...> && r)即不可能，因為它會將 r 值a綁定到 l 值參數。