Блог

Я экспериментировал с диапазонами C 20 и получил следующее странное поведение при компиляции с GCC 11.1.0 и CMake 3.20.3. В частности, следующий код не компилируется:

 auto Foo() {
    std::vector<long int> x{1, 2, 3, 4, 5, 6};
    return std::views::all(x) | std::views::take(x.size());
    // return std::views::all(x) | std::views::take(static_cast<int>(x.size()));
}
 

в результате появляются очень длинные сообщения об ошибках, такие как

 [...] error: no match for ‘operator|’ (operand types are ‘std::ranges::ref_view<std::vector<long int> >’ and ‘std::ranges::views::__adaptor::_Partial<std::ranges::views::_Take, long unsigned int>’)
[build]   230 |     return std::views::all(x) | std::views::take(x.size());
[build]       |            ~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
[build]       |                           |                     |
[build]       |                           |                     std::ranges::views::__adaptor::_Partial<std::ranges::views::_Take, long unsigned int>
[build]       |                           std::ranges::ref_view<std::vector<long int> >
 

и

 [build] /usr/include/c  /11/ranges:739:13:   required for the satisfaction of ‘__adaptor_invocable<_Self, _Range>’ [with _Self = std::ranges::views::__adaptor::_Partial<std::ranges::views::_Take, long unsigned int>; _Range = std::ranges::ref_view<std::vector<long int, std::allocator<long int> > >]
[build] /usr/include/c  /11/ranges:740:9:   in requirements  [with _Args = {std::ranges::ref_view<std::vector<long int, std::allocator<long int> > >}; _Adaptor = std::ranges::views::__adaptor::_Partial<std::ranges::views::_Take, long unsigned int>]
[build] /usr/include/c  /11/ranges:740:44: note: the required expression ‘declval<_Adaptor>()((declval<_Args>)()...)’ is invalid, because
[build]   740 |       = requires { std::declval<_Adaptor>()(declval<_Args>()...); };
[build]       |                    ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
[build] /usr/include/c  /11/ranges:740:44: error: use of deleted function ‘constexpr auto std::ranges::views::__adaptor::_Partial<_Adaptor, _Arg>::operator()(_Rangeamp;amp;) const amp;amp; [with _Range = std::ranges::ref_view<std::vector<long int> >; _Adaptor = std::ranges::views::_Take; _Arg = long unsigned int]’
[build] /usr/include/c  /11/ranges:862:9: note: declared here
[build]   862 |         operator()(_Rangeamp;amp; __r) const amp;amp; = delete;
[build]       |         ^~~~~~~~
[build] In file included from /usr/include/c  /11/streambuf:41,
[build]                  from /usr/include/c  /11/bits/streambuf_iterator.h:35,
[build]                  from /usr/include/c  /11/iterator:66,
[build]                  from /usr/include/c  /11/ranges:43,
[build]                  from ../mmpc/test/parametric_controller.test.cpp:27:
[build] /usr/include/c  /11/bits/ios_base.h:87:3: note: candidate: ‘constexpr std::_Ios_Fmtflags std::operator|(std::_Ios_Fmtflags, std::_Ios_Fmtflags)’
[build]    87 |   operator|(_Ios_Fmtflags __a, _Ios_Fmtflags __b)
[build]       |   ^~~~~~~~
[build] /usr/include/c  /11/bits/ios_base.h:87:27: note:   no known conversion for argument 1 from ‘std::ranges::ref_view<std::vector<long int> >’ to ‘std::_Ios_Fmtflags’
[build]    87 |   operator|(_Ios_Fmtflags __a, _Ios_Fmtflags __b)
[build]       |             ~~~~~~~~~~~~~~^~~
[build] /usr/include/c  /11/bits/ios_base.h:129:3: note: candidate: ‘constexpr std::_Ios_Openmode std::operator|(std::_Ios_Openmode, std::_Ios_Openmode)’
[build]   129 |   operator|(_Ios_Openmode __a, _Ios_Openmode __b)
[build]       |   ^~~~~~~~
[build] /usr/include/c  /11/bits/ios_base.h:129:27: note:   no known conversion for argument 1 from ‘std::ranges::ref_view<std::vector<long int> >’ to ‘std::_Ios_Openmode’
[build]   129 |   operator|(_Ios_Openmode __a, _Ios_Openmode __b)
[build]       |             ~~~~~~~~~~~~~~^~~
[build] /usr/include/c  /11/bits/ios_base.h:169:3: note: candidate: ‘constexpr std::_Ios_Iostate std::operator|(std::_Ios_Iostate, std::_Ios_Iostate)’
[build]   169 |   operator|(_Ios_Iostate __a, _Ios_Iostate __b)
[build]       |   ^~~~~~~~
[build] /usr/include/c  /11/bits/ios_base.h:169:26: note:   no known conversion for argument 1 from ‘std::ranges::ref_view<std::vector<long int> >’ to ‘std::_Ios_Iostate’
[build]   169 |   operator|(_Ios_Iostate __a, _Ios_Iostate __b)
[build]       |             ~~~~~~~~~~~~~^~~
 

Однако, когда я преобразую размер x в long int , как в прокомментированной строке, все компилируется нормально. Ожидается ли такое поведение? Или что-то не так с настройками моего компилятора?

В конце концов, когда я использую Clang 12.0.1, вообще ничего не компилируется, и я получаю следующую ошибку:

 [build] /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c  /11/ranges:3392:19: error: missing 'typename' prior to dependent type name 'iterator_traits<iterator_t<_Base>>::iterator_category'
[build]             using _Cat = iterator_traits<iterator_t<_Base>>::iterator_category;
[build]                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 

Разве Clang 12.0.1 не должен поддерживать функции C 20, включая диапазоны? Почему я получаю эту ошибку?

Это ошибка библиотеки, которая будет исправлена P2367, так как это указано для выполнения take_view{E, F} (что было бы сужающим преобразованием), а не просто take_view(E, F) (что было бы хорошо). Тем временем вы должны соответствующим образом выполнить актерский состав.

Также это:

 std::views::all(x) | std::views::take(x.size());
 

это просто долгий путь написания:

 x | std::views::take(x.size());
 

Вам следует редко (если вообще когда-либо?) нужно написать views::all в коде пользователя. Библиотека делает это за вас.

Разве Clang 12.0.1 не должен поддерживать функции C 20, включая диапазоны? Почему я получаю эту ошибку?

Это не имеет ничего общего с диапазонами, clang просто не полностью поддерживает функции языка C 20, которые libstdc использует в своей реализации (в данном случае долой имя типа!).