std::negate<void>

< cpp‎ | utility‎ | functional
 
 
 
Function objects
Function wrappers
(C++11)
(C++11)
Partial function application
(C++20)
(C++11)
Function invocation
(C++17)
Identity function object
(C++20)
Reference wrappers
(C++11)(C++11)
Operator wrappers
Negators
(C++17)
Searchers
Constrained comparators
Old binders and adaptors
(until C++17)
(until C++17)
(until C++17)
(until C++17)
(until C++17)(until C++17)(until C++17)(until C++17)
(until C++20)
(until C++20)
(until C++17)(until C++17)
(until C++17)(until C++17)

(until C++17)
(until C++17)(until C++17)(until C++17)(until C++17)
(until C++20)
(until C++20)
 
Defined in header <functional>
template<>
class negate<void>;
(since C++14)

std::negate<> is a specialization of std::negate with parameter and return type deduced.

Member types

Member type Definition
is_transparent /* unspecified */

Member functions

operator()
returns its negated argument
(public member function)

std::negate<>::operator()

template< class T >

constexpr auto operator()( T&& arg ) const

  -> decltype(-std::forward<T>(arg));

Returns the result of negating arg (or whatever the unary operator- is overloaded to do)

Parameters

arg - value to negate

Return value

The result of -arg.

Notes

The member type is_transparent indicates to the caller that this function object is a transparent function object: it accepts arguments of arbitrary types and uses perfect forwarding, which avoids unnecessary copying and conversion when the function object is used in heterogeneous context, or with rvalue arguments. In particular, template functions such as std::set::find and std::set::lower_bound make use of this member type on their Compare types.

Example