1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// template<class I, sentinel_for<I> S>
// requires (!sized_sentinel_for<S, I>)
// constexpr iter_difference_t<I> ranges::distance(I first, S last);
//
// template<class I, sized_sentinel_for<decay_t<I>> S>
// constexpr iter_difference_t<I> ranges::distance(const I& first, S last);
#include <iterator>
#include <cassert>
#include "test_iterators.h"
template<class It>
struct EvilSentinel {
It p_;
friend constexpr bool operator==(EvilSentinel s, It p) { return s.p_ == p; }
friend constexpr auto operator-(EvilSentinel s, It p) { return s.p_ - p; }
friend constexpr auto operator-(It p, EvilSentinel s) { return p - s.p_; }
friend constexpr void operator-(EvilSentinel s, int(&)[3]) = delete;
friend constexpr void operator-(EvilSentinel s, int(&&)[3]) = delete;
friend constexpr void operator-(EvilSentinel s, const int(&)[3]) = delete;
friend constexpr void operator-(EvilSentinel s, const int(&&)[3]) = delete;
};
static_assert( std::sized_sentinel_for<EvilSentinel<int*>, int*>);
static_assert(!std::sized_sentinel_for<EvilSentinel<int*>, const int*>);
static_assert( std::sized_sentinel_for<EvilSentinel<const int*>, int*>);
static_assert( std::sized_sentinel_for<EvilSentinel<const int*>, const int*>);
constexpr bool test() {
{
int a[] = {1, 2, 3};
assert(std::ranges::distance(a, a + 3) == 3);
assert(std::ranges::distance(a, a) == 0);
assert(std::ranges::distance(a + 3, a) == -3);
}
{
int a[] = {1, 2, 3};
assert(std::ranges::distance(a, EvilSentinel<int*>{a+3}) == 3);
assert(std::ranges::distance(a, EvilSentinel<int*>{a}) == 0);
assert(std::ranges::distance(a+3, EvilSentinel<int*>{a}) == -3);
assert(std::ranges::distance(std::move(a), EvilSentinel<int*>{a+3}) == 3);
}
{
const int a[] = {1, 2, 3};
assert(std::ranges::distance(a, EvilSentinel<const int*>{a+3}) == 3);
assert(std::ranges::distance(a, EvilSentinel<const int*>{a}) == 0);
assert(std::ranges::distance(a+3, EvilSentinel<const int*>{a}) == -3);
assert(std::ranges::distance(std::move(a), EvilSentinel<const int*>{a+3}) == 3);
static_assert(!std::is_invocable_v<decltype(std::ranges::distance), const int(&)[3], EvilSentinel<int*>>);
static_assert(!std::is_invocable_v<decltype(std::ranges::distance), const int(&&)[3], EvilSentinel<int*>>);
}
return true;
}
int main(int, char**) {
test();
static_assert(test());
return 0;
}
|
