51 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++1710 11// template<class R, class Pred>12// take_while_view(R&&, Pred) -> take_while_view<views::all_t<R>, Pred>;13 14#include <cassert>15#include <ranges>16#include <utility>17 18#include "types.h"19 20struct Container {21 int* begin() const;22 int* end() const;23};24 25struct View : std::ranges::view_base {26 int* begin() const;27 int* end() const;28};29 30struct Pred {31 bool operator()(int i) const;32};33 34bool pred(int);35 36static_assert(std::is_same_v<decltype(std::ranges::take_while_view(Container{}, Pred{})),37 std::ranges::take_while_view<std::ranges::owning_view<Container>, Pred>>);38 39static_assert(std::is_same_v<decltype(std::ranges::take_while_view(View{}, pred)), //40 std::ranges::take_while_view<View, bool (*)(int)>>);41 42static_assert(std::is_same_v<decltype(std::ranges::take_while_view(View{}, Pred{})), //43 std::ranges::take_while_view<View, Pred>>);44 45void testRef() {46 Container c{};47 Pred p{};48 static_assert(std::is_same_v<decltype(std::ranges::take_while_view(c, p)),49 std::ranges::take_while_view<std::ranges::ref_view<Container>, Pred>>);50}51