1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
10 // UNSUPPORTED: libcpp-has-no-incomplete-ranges
11
12 // transform_view::<iterator>::operator[]
13
14 #include <ranges>
15
16 #include "test_macros.h"
17 #include "../types.h"
18
test()19 constexpr bool test() {
20 int buff[8] = {0, 1, 2, 3, 4, 5, 6, 7};
21 std::ranges::transform_view transformView1(MoveOnlyView{buff}, PlusOneMutable{});
22 auto iter1 = std::move(transformView1).begin() + 1;
23 assert(iter1[0] == 2);
24 assert(iter1[4] == 6);
25
26 ASSERT_NOT_NOEXCEPT(
27 std::declval<std::ranges::iterator_t<std::ranges::transform_view<MoveOnlyView, PlusOneMutable>>>()[0]);
28 LIBCPP_ASSERT_NOEXCEPT(
29 std::declval<std::ranges::iterator_t<std::ranges::transform_view<MoveOnlyView, PlusOneNoexcept>>>()[0]);
30
31 ASSERT_SAME_TYPE(
32 int,
33 decltype(std::declval<std::ranges::transform_view<RandomAccessView, PlusOneMutable>>().begin()[0]));
34 ASSERT_SAME_TYPE(
35 int&,
36 decltype(std::declval<std::ranges::transform_view<RandomAccessView, Increment>>().begin()[0]));
37 ASSERT_SAME_TYPE(
38 int&&,
39 decltype(std::declval<std::ranges::transform_view<RandomAccessView, IncrementRvalueRef>>().begin()[0]));
40
41 return true;
42 }
43
main(int,char **)44 int main(int, char**) {
45 test();
46 static_assert(test());
47
48 return 0;
49 }
50