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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
/// \file
// Range v3 library
//
// Copyright Eric Niebler 2013-present
//
// Use, modification and distribution is subject to the
// Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// Project home: https://github.com/ericniebler/range-v3
//
#ifndef RANGES_V3_FUNCTIONAL_ARITHMETIC_HPP
#define RANGES_V3_FUNCTIONAL_ARITHMETIC_HPP
#include <concepts/concepts.hpp>
#include <range/v3/detail/prologue.hpp>
namespace ranges
{
/// \addtogroup group-functional
/// @{
struct plus
{
template<typename T, typename U>
constexpr auto operator()(T && t, U && u) const -> decltype((T &&) t + (U &&) u)
{
return (T &&) t + (U &&) u;
}
using is_transparent = void;
};
struct minus
{
template<typename T, typename U>
constexpr auto operator()(T && t, U && u) const -> decltype((T &&) t - (U &&) u)
{
return (T &&) t - (U &&) u;
}
using is_transparent = void;
};
struct multiplies
{
template<typename T, typename U>
constexpr auto operator()(T && t, U && u) const -> decltype((T &&) t * (U &&) u)
{
return (T &&) t * (U &&) u;
}
using is_transparent = void;
};
struct bitwise_or
{
template<typename T, typename U>
constexpr auto operator()(T && t, U && u) const -> decltype((T &&) t | (U &&) u)
{
return (T &&) t | (U &&) u;
}
using is_transparent = void;
};
template<typename T>
struct convert_to
{
// clang-format off
template<typename U>
constexpr auto CPP_auto_fun(operator())(U &&u)(const)
(
return static_cast<T>((U &&) u)
)
// clang-format on
};
template<typename T>
struct coerce
{
constexpr T & operator()(T & t) const
{
return t;
}
/// \overload
constexpr T const & operator()(T const & t) const
{
return t;
}
/// \overload
constexpr T operator()(T && t) const
{
return (T &&) t;
}
T operator()(T const &&) const = delete;
};
template<typename T>
struct coerce<T const> : coerce<T>
{};
template<typename T>
struct coerce<T &> : coerce<T>
{};
template<typename T>
struct coerce<T &&> : coerce<T>
{};
/// @}
} // namespace ranges
#include <range/v3/detail/epilogue.hpp>
#endif
|
