diff --git a/libcxx/docs/Status/Cxx20Issues.csv b/libcxx/docs/Status/Cxx20Issues.csv --- a/libcxx/docs/Status/Cxx20Issues.csv +++ b/libcxx/docs/Status/Cxx20Issues.csv @@ -296,6 +296,6 @@ "`3393 `__","Missing/incorrect feature test macro for coroutines","Prague","|Complete|","14.0" "`3395 `__","Definition for three-way comparison needs to be updated (US 152)","Prague","","","|spaceship|" "`3396 `__","Clarify point of reference for ``source_location::current()``\ (DE 169)","Prague","","" -"`3397 `__","``ranges::basic_istream_view::iterator``\ should not provide ``iterator_category``\ ","Prague","","","|ranges|" +"`3397 `__","``ranges::basic_istream_view::iterator``\ should not provide ``iterator_category``\ ","Prague","|Complete|","16.0","|ranges|" "`3398 `__","``tuple_element_t``\ is also wrong for ``const subrange``\ ","Prague","|Complete|","14.0","|ranges|" "`3446 `__","``indirectly_readable_traits``\ ambiguity for types with both ``value_type``\ and ``element_type``\ ","November virtual meeting","|Complete|","13.0" diff --git a/libcxx/docs/Status/Cxx20Papers.csv b/libcxx/docs/Status/Cxx20Papers.csv --- a/libcxx/docs/Status/Cxx20Papers.csv +++ b/libcxx/docs/Status/Cxx20Papers.csv @@ -108,7 +108,7 @@ "`P0784R7 `__","CWG","More constexpr containers","Cologne","|Complete|","12.0" "`P0980R1 `__","LWG","Making std::string constexpr","Cologne","|Complete|","15.0" "`P1004R2 `__","LWG","Making std::vector constexpr","Cologne","|Complete|","15.0" -"`P1035R7 `__","LWG","Input Range Adaptors","Cologne","","" +"`P1035R7 `__","LWG","Input Range Adaptors","Cologne","|In Progress|","" "`P1065R2 `__","LWG","Constexpr INVOKE","Cologne","|Complete|","12.0" "`P1135R6 `__","LWG","The C++20 Synchronization Library","Cologne","|Complete|","11.0" "`P1207R4 `__","LWG","Movability of Single-pass Iterators","Cologne","|Complete|","15.0" @@ -124,7 +124,7 @@ "`P1523R1 `__","LWG","Views and Size Types","Cologne","|Complete|","15.0" "`P1612R1 `__","LWG","Relocate Endian's Specification","Cologne","|Complete|","10.0" "`P1614R2 `__","LWG","The Mothership has Landed","Cologne","|In Progress|","" -"`P1638R1 `__","LWG","basic_istream_view::iterator should not be copyable","Cologne","","" +"`P1638R1 `__","LWG","basic_istream_view::iterator should not be copyable","Cologne","|Complete|","16.0" "`P1643R1 `__","LWG","Add wait/notify to atomic_ref","Cologne","","" "`P1644R0 `__","LWG","Add wait/notify to atomic","Cologne","","" "`P1650R0 `__","LWG","Output std::chrono::days with 'd' suffix","Cologne","","" @@ -204,4 +204,4 @@ "`P2372R3 `__","LWG","Fixing locale handling in chrono formatters","October 2021","","" "`P2415R2 `__","LWG","What is a ``view``","October 2021","|Complete|","14.0" "`P2418R2 `__","LWG","Add support for ``std::generator``-like types to ``std::format``","October 2021","|Complete|","15.0" -"`P2432R1 `__","LWG","Fix ``istream_view``","October 2021","","" +"`P2432R1 `__","LWG","Fix ``istream_view``","October 2021","|Complete|","16.0" diff --git a/libcxx/docs/Status/Cxx2bIssues.csv b/libcxx/docs/Status/Cxx2bIssues.csv --- a/libcxx/docs/Status/Cxx2bIssues.csv +++ b/libcxx/docs/Status/Cxx2bIssues.csv @@ -121,7 +121,7 @@ `3563 `__,"``keys_view`` example is broken","October 2021","","","|ranges|" `3566 `__,"Constraint recursion for ``operator<=>(optional, U)``","October 2021","","","|spaceship|" `3567 `__,"Formatting move-only iterators take two","October 2021","","","|format|" -`3568 `__,"``basic_istream_view`` needs to initialize ``value_``","October 2021","","","|ranges|" +`3568 `__,"``basic_istream_view`` needs to initialize ``value_``","October 2021","|Complete|","16.0","|ranges|" `3570 `__,"``basic_osyncstream::emit`` should be an unformatted output function","October 2021","","" `3571 `__,"``flush_emit`` should set ``badbit`` if the ``emit`` call fails","October 2021","","" `3572 `__,"``copyable-box`` should be fully ``constexpr``","October 2021","|Complete|","14.0","|ranges|" diff --git a/libcxx/docs/Status/RangesPaper.csv b/libcxx/docs/Status/RangesPaper.csv --- a/libcxx/docs/Status/RangesPaper.csv +++ b/libcxx/docs/Status/RangesPaper.csv @@ -158,4 +158,4 @@ `[range.split] `_,`split_view (renamed to lazy_split_view by P2210) `_,[range.all],Zoe Carver and Konstantin Varlamov,✅ `[range.counted] `_,`view::counted `_,[range.subrange],Zoe Carver,✅ `[range.common] `_,`common_view `_,[range.all],Zoe Carver,✅ -`[range.reverse] `_,`reverse_view `_,[range.all],Zoe Carver,✅ +`[range.reverse] `_,`reverse_view `_,[range.all],Zoe Carver,✅ \ No newline at end of file diff --git a/libcxx/include/CMakeLists.txt b/libcxx/include/CMakeLists.txt --- a/libcxx/include/CMakeLists.txt +++ b/libcxx/include/CMakeLists.txt @@ -480,6 +480,7 @@ __ranges/enable_view.h __ranges/filter_view.h __ranges/iota_view.h + __ranges/istream_view.h __ranges/join_view.h __ranges/lazy_split_view.h __ranges/non_propagating_cache.h diff --git a/libcxx/include/__ranges/istream_view.h b/libcxx/include/__ranges/istream_view.h new file mode 100644 --- /dev/null +++ b/libcxx/include/__ranges/istream_view.h @@ -0,0 +1,137 @@ +// -*- C++ -*- +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +#ifndef _LIBCPP___RANGES_ISTREAM_VIEW_H +#define _LIBCPP___RANGES_ISTREAM_VIEW_H + +#include <__concepts/constructible.h> +#include <__concepts/derived_from.h> +#include <__concepts/movable.h> +#include <__config> +#include <__iterator/default_sentinel.h> +#include <__iterator/iterator_traits.h> +#include <__memory/addressof.h> +#include <__ranges/view_interface.h> +#include <__string/char_traits.h> +#include <__type_traits/remove_cvref.h> +#include <__utility/forward.h> +#include + +#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) +# pragma GCC system_header +#endif + +#if _LIBCPP_STD_VER >= 20 + +_LIBCPP_BEGIN_NAMESPACE_STD + +namespace ranges { + +template +concept __stream_extractable = requires(basic_istream<_CharT, _Traits>& __is, _Val& __t) { __is >> __t; }; + +template > + requires default_initializable<_Val> && __stream_extractable<_Val, _CharT, _Traits> +class basic_istream_view : public view_interface> { +public: + _LIBCPP_HIDE_FROM_ABI constexpr explicit basic_istream_view(basic_istream<_CharT, _Traits>& __stream) + : __stream_(std::addressof(__stream)) {} + + _LIBCPP_HIDE_FROM_ABI constexpr auto begin() { + *__stream_ >> __value_; + return __iterator{*this}; + } + + _LIBCPP_HIDE_FROM_ABI constexpr default_sentinel_t end() const noexcept { return default_sentinel; } + +private: + class __iterator; + + basic_istream<_CharT, _Traits>* __stream_; + _LIBCPP_NO_UNIQUE_ADDRESS _Val __value_ = _Val(); +}; + +template + requires default_initializable<_Val> && __stream_extractable<_Val, _CharT, _Traits> +class basic_istream_view<_Val, _CharT, _Traits>::__iterator { +public: + using iterator_concept = input_iterator_tag; + using difference_type = ptrdiff_t; + using value_type = _Val; + + _LIBCPP_HIDE_FROM_ABI constexpr explicit __iterator(basic_istream_view& __parent) noexcept + : __parent_(std::addressof(__parent)) {} + + __iterator(const __iterator&) = delete; + _LIBCPP_HIDE_FROM_ABI __iterator(__iterator&&) = default; + + __iterator& operator=(const __iterator&) = delete; + _LIBCPP_HIDE_FROM_ABI __iterator& operator=(__iterator&&) = default; + + _LIBCPP_HIDE_FROM_ABI __iterator& operator++() { + *__parent_->__stream_ >> __parent_->__value_; + return *this; + } + + _LIBCPP_HIDE_FROM_ABI void operator++(int) { ++*this; } + + _LIBCPP_HIDE_FROM_ABI _Val& operator*() const { return __parent_->__value_; } + + _LIBCPP_HIDE_FROM_ABI friend bool operator==(const __iterator& __x, default_sentinel_t) { + return !*__x.__get_parent_stream(); + } + +private: + basic_istream_view* __parent_; + + _LIBCPP_HIDE_FROM_ABI constexpr basic_istream<_CharT, _Traits>* __get_parent_stream() const { + return __parent_->__stream_; + } +}; + +template +using istream_view = basic_istream_view<_Val, char>; + +template +using wistream_view = basic_istream_view<_Val, wchar_t>; + +namespace views { +namespace __istream { + +// clang-format off +template +struct __fn { + template > + requires derived_from<_UnCVRef, basic_istream> + _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Up&& __u) const + noexcept(noexcept(basic_istream_view<_Tp, typename _UnCVRef::char_type, + typename _UnCVRef::traits_type>(std::forward<_Up>(__u)))) + -> decltype( basic_istream_view<_Tp, typename _UnCVRef::char_type, + typename _UnCVRef::traits_type>(std::forward<_Up>(__u))) + { return basic_istream_view<_Tp, typename _UnCVRef::char_type, + typename _UnCVRef::traits_type>(std::forward<_Up>(__u)); + } +}; +// clang-format on + +} // namespace __istream + +inline namespace __cpo { +template + inline constexpr auto istream = __istream::__fn<_Tp>{}; +} // namespace __cpo +} // namespace views + +} // namespace ranges + +_LIBCPP_END_NAMESPACE_STD + +#endif // _LIBCPP_STD_VER >= 20 + +#endif // _LIBCPP___RANGES_ISTREAM_VIEW_H diff --git a/libcxx/include/module.modulemap.in b/libcxx/include/module.modulemap.in --- a/libcxx/include/module.modulemap.in +++ b/libcxx/include/module.modulemap.in @@ -1013,6 +1013,7 @@ module enable_view { private header "__ranges/enable_view.h" } module filter_view { private header "__ranges/filter_view.h" } module iota_view { private header "__ranges/iota_view.h" } + module istream_view { private header "__ranges/istream_view.h" } module join_view { private header "__ranges/join_view.h" } module lazy_split_view { private header "__ranges/lazy_split_view.h" } module non_propagating_cache { private header "__ranges/non_propagating_cache.h" } diff --git a/libcxx/include/ranges b/libcxx/include/ranges --- a/libcxx/include/ranges +++ b/libcxx/include/ranges @@ -228,6 +228,19 @@ inline constexpr unspecified lazy_split = unspecified; } + // [range.istream], istream view + template> + requires see below + class basic_istream_view; + + template + using istream_view = basic_istream_view; + + template + using wistream_view = basic_istream_view; + + namespace views { template inline constexpr unspecified istream = unspecified; } + // [range.zip], zip view template requires (view && ...) && (sizeof...(Views) > 0) @@ -288,6 +301,7 @@ #include <__ranges/enable_view.h> #include <__ranges/filter_view.h> #include <__ranges/iota_view.h> +#include <__ranges/istream_view.h> #include <__ranges/join_view.h> #include <__ranges/lazy_split_view.h> #include <__ranges/rbegin.h> diff --git a/libcxx/test/libcxx/private_headers.verify.cpp b/libcxx/test/libcxx/private_headers.verify.cpp --- a/libcxx/test/libcxx/private_headers.verify.cpp +++ b/libcxx/test/libcxx/private_headers.verify.cpp @@ -511,6 +511,7 @@ #include <__ranges/enable_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/enable_view.h'}} #include <__ranges/filter_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/filter_view.h'}} #include <__ranges/iota_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/iota_view.h'}} +#include <__ranges/istream_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/istream_view.h'}} #include <__ranges/join_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/join_view.h'}} #include <__ranges/lazy_split_view.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/lazy_split_view.h'}} #include <__ranges/non_propagating_cache.h> // expected-error@*:* {{use of private header from outside its module: '__ranges/non_propagating_cache.h'}} diff --git a/libcxx/test/libcxx/ranges/range.factories/range.istream.view/no_unique_address.compile.pass.cpp b/libcxx/test/libcxx/ranges/range.factories/range.istream.view/no_unique_address.compile.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/libcxx/ranges/range.factories/range.istream.view/no_unique_address.compile.pass.cpp @@ -0,0 +1,25 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// clang-cl and cl currently don't support [[no_unique_address]] +// XFAIL: msvc + +// Test the libc++ extension that the value stored in `std::ranges::istream_view` has been marked +// as _LIBCPP_NO_UNIQUE_ADDRESS + +#include +#include + +struct Empty { + friend std::istream& operator>>(std::istream& i, Empty const&) { return i; } +}; + +static_assert(sizeof(std::ranges::istream_view) == sizeof(void*)); + diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/begin.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/begin.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/begin.pass.cpp @@ -0,0 +1,56 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// constexpr auto begin(); + +#include +#include +#include + +#include "utils.h" + +template +concept HasBegin = requires(T t) { t.begin(); }; + +static_assert(HasBegin>); +static_assert(!HasBegin>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(HasBegin>); +static_assert(!HasBegin>); +#endif + +template +void test() { + // begin should read the first element + { + auto iss = makeStringStream("12 3"); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(*it == 12); + } + + // empty stream + { + auto iss = makeStringStream(""); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(it == isv.end()); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/cpo.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/cpo.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/cpo.pass.cpp @@ -0,0 +1,44 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// std::views::istream + +#include +#include +#include + +#include "utils.h" + +static_assert(!std::is_invocable_v))>); +static_assert(std::is_invocable_v)), std::istream&>); +static_assert(!std::is_invocable_v)), const std::istream&>); +static_assert(!std::is_invocable_v)), int>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(std::is_invocable_v)), std::wistream&>); +static_assert(!std::is_invocable_v)), const std::wistream&>); +#endif + +template +void test() { + auto iss = makeStringStream("12 3"); + auto isv = std::views::istream(iss); + auto it = isv.begin(); + assert(*it == 12); +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/ctor.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/ctor.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/ctor.pass.cpp @@ -0,0 +1,55 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// constexpr explicit basic_istream_view(basic_istream& stream); + +#include +#include +#include + +#include "utils.h" + +// test that the constructor is explicit +static_assert(std::constructible_from, std::istream&>); +static_assert(!std::convertible_to>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(std::constructible_from, std::wistream&>); +static_assert(!std::convertible_to>); +#endif + +template +void test() { + // test constructor init the stream pointer to the passed one + { + auto iss = makeStringStream("123"); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(*it == 123); + } + + // LWG 3568. basic_istream_view needs to initialize value_ + { + auto iss = makeStringStream("123"); + std::ranges::basic_istream_view isv{iss}; + using Iter = std::ranges::iterator_t; + Iter iter{isv}; + assert(*iter == 0); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/end.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/end.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/end.pass.cpp @@ -0,0 +1,47 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// constexpr default_sentinel_t end() const noexcept; + +#include +#include +#include + +#include "utils.h" + +template +concept NoexceptEnd = + requires(T t) { + { t.end() } noexcept; + }; + +static_assert(NoexceptEnd>); +static_assert(NoexceptEnd>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(NoexceptEnd>); +static_assert(NoexceptEnd>); +#endif + +template +void test() { + auto iss = makeStringStream("12"); + std::ranges::basic_istream_view isv{iss}; + [[maybe_unused]] std::same_as auto sent = isv.end(); +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/general.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/general.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/general.pass.cpp @@ -0,0 +1,40 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// Some basic examples of how istream_view might be used in the wild. This is a general +// collection of sample algorithms and functions that try to mock general usage of +// this view. + +#include +#include +#include +#include + +#include "utils.h" + +template +void test() { + auto ints = makeStringStream("0 1 2 3 4"); + auto oss = std::basic_ostringstream{}; + auto delimiter = makeString("-"); + std::ranges::copy( + std::ranges::basic_istream_view(ints), std::ostream_iterator{oss, delimiter.c_str()}); + auto expected = makeString("0-1-2-3-4-"); + assert(oss.str() == expected); +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/compare.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/compare.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/compare.pass.cpp @@ -0,0 +1,55 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// friend bool operator==(const iterator& x, default_sentinel_t); + +#include +#include +#include + +#include "../utils.h" + +template +void test() { + // fail to read + { + auto iss = makeStringStream("a123 4"); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(it == std::default_sentinel); + } + + // iterate through the end + { + auto iss = makeStringStream("123 "); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(it != std::default_sentinel); + ++it; + assert(it == std::default_sentinel); + } + + // empty stream + { + auto iss = makeStringStream(""); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(it == std::default_sentinel); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/ctor.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/ctor.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/ctor.pass.cpp @@ -0,0 +1,55 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// constexpr explicit iterator(basic_istream_view& parent) noexcept; + +#include +#include +#include + +#include "../utils.h" + +// test that the constructor is explicit +template +using IstreamView = std::ranges::basic_istream_view; +template +using Iter = std::ranges::iterator_t>; + +static_assert(std::constructible_from, IstreamView&>); +static_assert(!std::convertible_to&, Iter>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(std::constructible_from, IstreamView&>); +static_assert(!std::convertible_to&, Iter>); +#endif + +// test that the constructor is noexcept +static_assert(std::is_nothrow_constructible_v, IstreamView&>); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(std::is_nothrow_constructible_v, IstreamView&>); +#endif + +template +void test() { + auto iss = makeStringStream("123"); + std::ranges::basic_istream_view isv{iss}; + Iter it{isv}; + ++it; + assert(*it == 123); +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/deref.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/deref.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/deref.pass.cpp @@ -0,0 +1,49 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// Val& operator*() const; + +#include +#include +#include + +#include "../utils.h" + +template +void test() { + // operator* should return correct value + { + auto iss = makeStringStream("1 2 345 "); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + std::same_as decltype(auto) v1 = *it; + assert(v1 == 1); + } + + // operator* should return the same reference to the value stored in the view + { + auto iss = makeStringStream("1 2 345 "); + std::ranges::basic_istream_view isv{iss}; + using Iter = std::ranges::iterator_t; + + Iter it1{isv}; + Iter it2{isv}; + assert(&*it1 == &*it2); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/increment.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/increment.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/increment.pass.cpp @@ -0,0 +1,60 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// iterator& operator++(); +// void operator++(int); + +#include +#include +#include + +#include "../utils.h" + +template +void test() { + // operator ++() + { + auto iss = makeStringStream("1 2 345 "); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(*it == 1); + + std::same_as decltype(auto) it2 = ++it; + assert(&it2 == &it); + assert(*it2 == 2); + + ++it2; + assert(*it2 == 345); + + ++it2; + assert(it2 == isv.end()); + } + + // operator ++(int) + { + auto iss = makeStringStream("1 2 345 "); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + assert(*it == 1); + + static_assert(std::same_as); + it++; + assert(*it == 2); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/member_types.compile.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/member_types.compile.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/member_types.compile.pass.cpp @@ -0,0 +1,46 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// Member typedefs in istream_view::. + +#include +#include + +template +concept HasIterCategory = requires { typename T::iterator_category; }; + +struct MemberIteratorCategory { + using iterator_category = std::input_iterator_tag; +}; +static_assert(HasIterCategory); + +template +void test() { + using Iter = std::ranges::iterator_t>; + static_assert(std::is_same_v); + static_assert(std::is_same_v); + static_assert(std::is_same_v); + static_assert(!HasIterCategory); +} + +template +void testOne() { + test(); + test(); + test(); + test(); +} + +void test() { + testOne(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + testOne(); +#endif +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/special_op.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/special_op.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/iterator/special_op.pass.cpp @@ -0,0 +1,68 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// iterator(const iterator&) = delete; +// iterator(iterator&&) = default; +// iterator& operator=(const iterator&) = delete; +// iterator& operator=(iterator&&) = default; + +#include +#include +#include + +#include "../utils.h" + +template +using Iter = std::ranges::iterator_t>; +static_assert(!std::copy_constructible>); +static_assert(!std::is_copy_assignable_v>); +static_assert(std::move_constructible>); +static_assert(std::is_move_assignable_v>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(!std::copy_constructible>); +static_assert(!std::is_copy_assignable_v>); +static_assert(std::move_constructible>); +static_assert(std::is_move_assignable_v>); +#endif + +template +void test() { + // test move constructor + { + auto iss = makeStringStream("12 3"); + std::ranges::basic_istream_view isv{iss}; + auto it = isv.begin(); + auto it2 = std::move(it); + assert(*it2 == 12); + } + + // test move assignment + { + auto iss1 = makeStringStream("12 3"); + std::ranges::basic_istream_view isv1{iss1}; + auto iss2 = makeStringStream("45 6"); + std::ranges::basic_istream_view isv2{iss2}; + + auto it1 = isv1.begin(); + assert(*it1 == 12); + it1 = isv2.begin(); + assert(*it1 == 45); + } +} + +int main(int, char**) { + test(); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS + test(); +#endif + + return 0; +} diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/range.concept.compile.pass.cpp b/libcxx/test/std/ranges/range.factories/range.istream.view/range.concept.compile.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/range.concept.compile.pass.cpp @@ -0,0 +1,70 @@ +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14, c++17 + +// concept checking istream_view + +#include +#include + +template > +concept HasIstreamView = requires { typename std::ranges::basic_istream_view; }; + +static_assert(HasIstreamView); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(HasIstreamView); +#endif + +// Unmovable Val +struct Unmovable { + Unmovable() = default; + Unmovable(Unmovable&&) = delete; + template + friend std::basic_istream& operator>>(std::basic_istream& x, const Unmovable&) { + return x; + } +}; +static_assert(!HasIstreamView); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(!HasIstreamView); +#endif + +// !default_initializable +struct NoDefaultCtor { + NoDefaultCtor(int) {} + friend std::istream& operator>>(std::istream& x, const NoDefaultCtor&) { return x; } +}; +static_assert(!HasIstreamView); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(!HasIstreamView); +#endif + +// !stream-extractable +struct Foo {}; +static_assert(!HasIstreamView); +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(!HasIstreamView); +#endif + +template +concept OnlyInputRange = std::ranges::input_range && !std::ranges::forward_range; + +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); + +#ifndef TEST_HAS_NO_WIDE_CHARACTERS +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); +static_assert(OnlyInputRange>); +#endif diff --git a/libcxx/test/std/ranges/range.factories/range.istream.view/utils.h b/libcxx/test/std/ranges/range.factories/range.istream.view/utils.h new file mode 100644 --- /dev/null +++ b/libcxx/test/std/ranges/range.factories/range.istream.view/utils.h @@ -0,0 +1,20 @@ +#ifndef TEST_STD_RANGES_RANGE_FACTORIES_RANGE_ISTREAM_UTILS_H +#define TEST_STD_RANGES_RANGE_FACTORIES_RANGE_ISTREAM_UTILS_H + +#include +#include +#include + +template +auto makeString(const char (&in)[N]) { + std::basic_string r(N - 1, static_cast(0)); + std::ranges::transform(in, r.begin(), [](char c) { return static_cast(c); }); + return r; +} + +template +auto makeStringStream(const char (&in)[N]) { + return std::basic_istringstream(makeString(in)); +} + +#endif //TEST_STD_RANGES_RANGE_FACTORIES_RANGE_ISTREAM_UTILS_H