Skip to content

[libc++] LWG4012: common_view::begin/end are missing the simple-view check #153674

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

[libc++] LWG4012: common_view::begin/end are missing the simple-view check #153674

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
06a6c61
initial commit
changkhothuychung Aug 14, 2025
31d0cef
clang format
changkhothuychung Aug 14, 2025
265621c
sfinae test
changkhothuychung Aug 18, 2025
476a5f3
fix test
changkhothuychung Aug 18, 2025
3576d9d
fix test and clang format
changkhothuychung Aug 18, 2025
c308942
fix test
changkhothuychung Aug 18, 2025
e48ab16
revert styling for file
changkhothuychung Aug 19, 2025
02f206a
update test
changkhothuychung Aug 19, 2025
5e38145
formatting
changkhothuychung Aug 19, 2025
a3de665
formatting
changkhothuychung Aug 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions libcxx/include/__ranges/common_view.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,9 @@ class common_view : public view_interface<common_view<_View>> {

_LIBCPP_HIDE_FROM_ABI constexpr _View base() && { return std::move(__base_); }

_LIBCPP_HIDE_FROM_ABI constexpr auto begin() {
_LIBCPP_HIDE_FROM_ABI constexpr auto begin()
requires(!__simple_view<_View>)
{
if constexpr (random_access_range<_View> && sized_range<_View>)
return ranges::begin(__base_);
else
Expand All @@ -74,7 +76,9 @@ class common_view : public view_interface<common_view<_View>> {
return common_iterator<iterator_t<const _View>, sentinel_t<const _View>>(ranges::begin(__base_));
}

_LIBCPP_HIDE_FROM_ABI constexpr auto end() {
_LIBCPP_HIDE_FROM_ABI constexpr auto end()
requires(!__simple_view<_View>)
{
if constexpr (random_access_range<_View> && sized_range<_View>)
return ranges::begin(__base_) + ranges::size(__base_);
else
Expand Down
6 changes: 6 additions & 0 deletions libcxx/test/std/ranges/range.adaptors/range.common.view/begin.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,12 @@ constexpr bool test() {
assert(begin == std::ranges::begin(view));
}

{
NonSimpleNonCommonView view{buf, buf + 8};
std::ranges::common_view<NonSimpleNonCommonView> common(view);
static_assert(!std::is_same_v<decltype(common.begin()), decltype(std::as_const(common).begin())>);
}

return true;
}

Expand Down
6 changes: 6 additions & 0 deletions libcxx/test/std/ranges/range.adaptors/range.common.view/end.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,12 @@ constexpr bool test() {
assert(base(end) == buf + 8);
}

{
NonSimpleNonCommonView view{buf, buf + 8};
std::ranges::common_view<NonSimpleNonCommonView> common(view);
static_assert(!std::is_same_v<decltype(common.end()), decltype(std::as_const(common).end())>);
}

return true;
}

Expand Down
33 changes: 33 additions & 0 deletions libcxx/test/std/ranges/range.adaptors/range.common.view/types.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -90,4 +90,37 @@ struct NonCommonView : std::ranges::view_base {
static_assert( std::ranges::view<NonCommonView>);
static_assert(!std::ranges::common_range<NonCommonView>);

template <class T>
concept HasConstBegin = requires(const T& ct) { ct.begin(); };

template <class T>
concept HasBegin = requires(T& t) { t.begin(); };

template <class T>
concept HasConstAndNonConstBegin = HasConstBegin<T> && requires(T& t, const T& ct) {
requires !std::same_as<decltype(t.begin()), decltype(ct.begin())>;
};

template <class T>
concept HasOnlyNonConstBegin = HasBegin<T> && !HasConstBegin<T>;

template <class T>
concept HasOnlyConstBegin = HasConstBegin<T> && !HasConstAndNonConstBegin<T>;

struct NonSimpleNonCommonView : std::ranges::view_base {
int* begin_;
int* end_;
constexpr explicit NonSimpleNonCommonView(int* b, int* e) : begin_(b), end_(e) {}
constexpr auto begin() const { return static_cast<const int*>(begin_); }
constexpr auto end() const { return sentinel_wrapper<const int*>(end_); }
constexpr int* begin() { return begin_; }
constexpr auto end() { return sentinel_wrapper<int*>(end_); }
};

static_assert(!HasOnlyNonConstBegin<std::ranges::common_view<NonSimpleNonCommonView>>);
static_assert(!HasOnlyConstBegin<std::ranges::common_view<NonSimpleNonCommonView>>);
static_assert(HasConstAndNonConstBegin<std::ranges::common_view<NonSimpleNonCommonView>>);
static_assert(HasConstBegin<std::ranges::common_view<NonSimpleNonCommonView> const>);
static_assert(HasOnlyConstBegin<std::ranges::common_view<NonSimpleNonCommonView> const>);

#endif // TEST_STD_RANGES_RANGE_ADAPTORS_RANGE_COMMON_VIEW_TYPES_H
Loading