Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
10 changes: 10 additions & 0 deletions libcxx/include/iterator
Original file line number Diff line number Diff line change
Expand Up @@ -737,6 +737,16 @@ template <class E> constexpr const E* data(initializer_list<E> il) noexcept;
# include <compare>
# include <concepts>

// [range.access.general]
# if _LIBCPP_STD_VER >= 20
# include <__ranges/access.h>
# include <__ranges/data.h>
# include <__ranges/empty.h>
# include <__ranges/rbegin.h>
# include <__ranges/rend.h>
# include <__ranges/size.h>
# endif

# if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
# pragma GCC system_header
# endif
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,10 @@ static_assert(test(std::ranges::rend, a));
static_assert(test(std::ranges::size, a));
static_assert(test(std::ranges::ssize, a));

#if TEST_STD_VER >= 26
// static_assert(test(std::views::reserve_hint, a));
#endif

// [range.factories]
// views::empty<T> is not a CPO
static_assert(test(std::views::iota, 1));
Expand Down
68 changes: 68 additions & 0 deletions libcxx/test/std/ranges/range.access/include.iterator.pass.cpp
Original file line number Diff line number Diff line change
@@ -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
//
//===----------------------------------------------------------------------===//

// REQUIRES: std-at-least-c++20

// [range.access.general]/1:
// In addition to being available via inclusion of the <ranges> header, the customization point objects in
// [range.access] are available when the header <iterator> is included.

#include <iterator>
#include <type_traits>

#include "test_macros.h"

template <class CPO, class... Args>
constexpr void test(CPO& o, Args&&... args) {
static_assert(std::is_const_v<CPO>);
static_assert(std::is_class_v<CPO>);
static_assert(std::is_trivially_copyable_v<CPO>);
static_assert(std::is_trivially_default_constructible_v<CPO>);

auto p = o;
using T = decltype(p);
(void)o(args...); // to make sure the CPO can actually be used

// The type of a customization point object, ignoring cv-qualifiers, shall model semiregular.
static_assert(std::semiregular<T>);

// The type T of a customization point object, ignoring cv-qualifiers, shall model...
static_assert(std::invocable<T&, Args...>);
static_assert(std::invocable<const T&, Args...>);
static_assert(std::invocable<T, Args...>);
static_assert(std::invocable<const T, Args...>);
}

int a[10];

constexpr bool test() {
test(std::ranges::begin, a);
test(std::ranges::end, a);
test(std::ranges::cbegin, a);
test(std::ranges::cdata, a);
test(std::ranges::cend, a);
test(std::ranges::crbegin, a);
test(std::ranges::crend, a);
test(std::ranges::data, a);
test(std::ranges::empty, a);
test(std::ranges::rbegin, a);
test(std::ranges::rend, a);
test(std::ranges::size, a);
test(std::ranges::ssize, a);

#if TEST_STD_VER >= 26
// test(std::views::reserve_hint, a);
#endif

return true;
}

int main() {
test();
static_assert(test());
}
Loading