Difference between revisions of "cpp/utility/functional/not fn"
From cppreference.com
< cpp | utility | functional
(p0358r1 new spec (and commented out Possible implementation for now, since it doesn't match)) |
(→Return value: LWG 2767) |
||
| Line 43: | Line 43: | ||
{{dcl|num=1|1= | {{dcl|num=1|1= | ||
template<class... Args> auto operator()(Args&&... args) & | template<class... Args> auto operator()(Args&&... args) & | ||
| − | -> decltype(!std::declval<std::result_of_t<std::decay_t<F>&(Args...)>>()); | + | -> decltype(!std::declval<std::result_of_t<std::decay_t<F>&(Args&&...)>>()); |
template<class... Args> auto operator()(Args&&... args) const& | template<class... Args> auto operator()(Args&&... args) const& | ||
| − | -> decltype(!std::declval<std::result_of_t<std::decay_t<F> const&(Args...)>>()); | + | -> decltype(!std::declval<std::result_of_t<std::decay_t<F> const&(Args&&...)>>()); |
}} | }} | ||
{{dcl|num=2|1= | {{dcl|num=2|1= | ||
template<class... Args> auto operator()(Args&&... args) && | template<class... Args> auto operator()(Args&&... args) && | ||
| − | -> decltype(!std::declval<std::result_of_t<std::decay_t<F>(Args...)>>()); | + | -> decltype(!std::declval<std::result_of_t<std::decay_t<F>(Args&&...)>>()); |
template<class... Args> auto operator()(Args&&... args) const&& | template<class... Args> auto operator()(Args&&... args) const&& | ||
| − | -> decltype(!std::declval<std::result_of_t<std::decay_t<F> const(Args...)>>()); | + | -> decltype(!std::declval<std::result_of_t<std::decay_t<F> const(Args&&...)>>()); |
}} | }} | ||
{{dcl end}} | {{dcl end}} | ||
Revision as of 03:05, 16 November 2016
| Defined in header <functional>
|
||
| template< class F> /*unspecified*/ not_fn( F&& f ); |
(since C++17) | |
Creates a forwarding call wrapper that returns the complement of the callable object it holds.
Contents |
Parameters
| f | - | the object from which the Template:concept object held by the wrapper is constructed |
| Type requirements | ||
| -std::is_constructible_v<std::decay_t<F>, F> is required to be true | ||
Return value
A function object of unspecified type T. It has the following members:
std::not_fn return type
Member objects
The return type of std::not_fn holds a member object of type std::decay_t<F>.
Constructors
| explicit T(F&& f); |
(1) | |
| T(T&& f) = default; T(const T& f) = default; |
(2) | |
1) The constructor initializes the member object (of type std::decay_t<F>) from std::forward<F>(f). Throws any exception thrown by the constructor selected
2) Because std::decay_t<F> is required to be Template:concept, the returned call wrapper is always Template:concept, and is Template:concept if std::decay_t<F> is Template:concept.
Member function operator()
| template<class... Args> auto operator()(Args&&... args) & -> decltype(!std::declval<std::result_of_t<std::decay_t<F>&(Args&&...)>>()); |
(1) | |
| template<class... Args> auto operator()(Args&&... args) && -> decltype(!std::declval<std::result_of_t<std::decay_t<F>(Args&&...)>>()); |
(2) | |
1) Equivalent to return !std::invoke(fd, std::forward<Args>(args)...)
2) Equivalent to return !std::invoke(std::move(fd), std::forward<Args>(args)...)
where fd is the member object of type std::decay_t<F>
Exceptions
Throws no exceptions, unless the construction of fd throws.
Notes
not_fn is intended to replace the C++03-era negators std::not1 and std::not2.
See also
| (deprecated in C++17)(removed in C++20) |
constructs custom std::unary_negate object (function template) |
| (deprecated in C++17)(removed in C++20) |
constructs custom std::binary_negate object (function template) |
