================ @@ -0,0 +1,123 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// Testing std::ranges::iota + +// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20 + +#include <cassert> +#include <numeric> +#include <algorithm> +#include <array> + +#include "test_macros.h" +#include "test_iterators.h" +#include "almost_satisfies_types.h" + +// Concepts to check different overloads of std::ranges::iota +template <class Iter = int*, class Sent = int*, class Value = int> +concept HasIotaIter = requires(Iter&& iter, Sent&& sent, Value&& val) { + std::ranges::iota(std::forward<Iter>(iter), std::forward<Sent>(sent), std::forward<Value>(val)); +}; + +template <class Range, class Value = int> +concept HasIotaRange = + requires(Range&& range, Value&& val) { std::ranges::iota(std::forward<Range>(range), std::forward<Value>(val)); }; + +constexpr void test_constraints() { + // Test constraints of the iterator/sentinel overload + // ================================================== + static_assert(HasIotaIter<int*, int*, int>); + + // !input_or_output_iterator<O> + static_assert(!HasIotaIter<InputIteratorNotInputOrOutputIterator>); + + // !sentinel_for<S, O> + static_assert(!HasIotaIter<int*, SentinelForNotSemiregular>); + static_assert(!HasIotaIter<int*, SentinelForNotWeaklyEqualityComparableWith>); + + // !weakly_incrementable<T> + static_assert(!HasIotaIter<int*, int*, WeaklyIncrementableNotMovable>); + + // !indirectly writable <O, T> + static_assert(!HasIotaIter<OutputIteratorNotIndirectlyWritable, int*, int>); + + // Test constraints for the range overload + // ======================================= + static_assert(HasIotaRange<UncheckedRange<int*>, int>); + + // !weakly_incrementable<T> + static_assert(!HasIotaRange<UncheckedRange<int*>, WeaklyIncrementableNotMovable>); + + // !ranges::output_range<const _Tp&> + static_assert(!HasIotaRange<UncheckedRange<int*>, OutputIteratorNotIndirectlyWritable>); +} + +template <class Iter, class Sent, std::size_t N> +constexpr void test_result(std::array<int, N> input, int starting_value, std::array<int, N> const expected) { + { // (iterator, sentinel) overload + auto in_begin = Iter(input.data()); + auto in_end = Sent(Iter(input.data() + input.size())); + std::same_as<std::ranges::out_value_result<Iter, int>> decltype(auto) result = + std::ranges::iota(std::move(in_begin), std::move(in_end), starting_value); + assert(result.out == in_end); + if constexpr (expected.size() > 0) { + assert(result.value == expected.back() + 1); + } else { + assert(result.value == starting_value); + } + assert(std::ranges::equal(input, expected)); + } + + // The range overload adds the additional constraint that it must be an outputrange + // so skip this for the input iterators we test + if constexpr (!std::is_same_v<Iter, cpp17_input_iterator<int*>> && + !std::is_same_v<Iter, cpp20_input_iterator<int*>>) { // (range) overload ---------------- jamesETsmith wrote:
I think I misunderstood the difference between `cppXX_output_iterator` in `test_iterators.h`. Chris' comments below pointed me in the right direction. After a bit of reading, I don't think that `cpp17_output_iterator` and `cpp20_output_iterator` should satisfy `std::output_iterator` because they're supposed to be as general as possible (at least that's my interpretation) and are only required to be `std::weakly_incrementable` not `std::incrementable`. https://github.com/llvm/llvm-project/pull/68494 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
