ericniebler / range-v3

Range library for C++14/17/20, basis for C++20's std::ranges
Other
4.05k stars 437 forks source link

cannot create any_view from empty_view #1796

Open eroller opened 9 months ago

eroller commented 9 months ago

It seems like empty_view is missing something that is needed to use with any_view?

As a workaround I can first create a ref_view using ranges::views::all and then create an any_view from that,

ranges::any_view all_empty = ranges::views::all(ranges::views::empty<int>);  // OK
ranges::any_view empty = ranges::views::empty<int>;                          // ERROR 
<source>:5:45: error: class template argument deduction failed:
    5 |     ranges::any_view empty = ranges::views::empty<int>;                          // ERROR
      |                                             ^~~~~~~~~~
<source>:5:45: error: no matching function for call to 'any_view(const ranges::empty_view<int>&)'

https://godbolt.org/z/rWorsefM5