std::not_fn

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica (C++20) Servicios del programa Apoyo de corrutinas (C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits (C++20) bitset hash (C++11) Operadores relacionales (en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Objetos función

Envoltorios de funciones function (C++11) move_only_function (C++23) mem_fn (C++11) bad_function_call (C++11)	Aplicación parcial de funciones bind_front (C++20) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Invocación de funciones invokeinvoke_r (C++17)(C++23) Objeto función identidad identity (C++20)	Envoltorios de referencias reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Envoltorios de operadores plus minus negate multiplies divides modulus bit_and bit_or bit_not (C++14) bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Envoltorios de operador transparentes plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14) divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Negadores not_fn (C++17) Buscadores default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Comparadores restringidos ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Vinculadores y adaptadores antiguos
unary_function (hasta C++17) binary_function (hasta C++17) ptr_fun (hasta C++17) pointer_to_unary_function (hasta C++17) pointer_to_binary_function (hasta C++17) mem_fun (hasta C++17) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) not1 (hasta C++20) not2 (hasta C++20)	binder1stbinder2nd (hasta C++17)(hasta C++17) bind1stbind2nd (hasta C++17)(hasta C++17) mem_fun_ref (hasta C++17) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) unary_negate (hasta C++20) binary_negate (hasta C++20)

 

<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>

Definido en el archivo de encabezado <functional>
template< class F> /*no especificado*/ not_fn( F&& f );		(desde C++17) (hasta C++20)
template< class F> constexpr /*no especificado*/ not_fn( F&& f );		(desde C++20)

Crea un envoltorio de llamada de reenvío que devuelve la negación del objeto invocable que contiene.

Parámetros

f	-	El objeto a partir del cual se construye el objeto Callable retenido por el envoltorio.
Requisitos de tipo
- std::decay_t<F> debe satisfacer los requisitos de Callable y MoveConstructible.
- Se requiere que std::is_constructible_v<std::decay_t<F>, F> sea true.

Valor de retorno

Un objeto función de tipo T no especificado. Tiene los siguientes miembros:

std::not_fn return type

Objetos miembro

El tipo de retorno de std::not_fn contiene un objeto miembro de tipo std::decay_t<F>.

Constructoes

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

	(1)
explicit T(F&& f); // solo exposición			(desde C++17) (hasta C++20)
explicit constexpr T(F&& f); // solo exposición			(desde C++20)
T(T&& f) = default; T(const T& f) = default;		(2)

1) El constructor inicializa el objeto miembro (de tipo std::decay_t<F>) directamente, sin usar inicialización de lista, a partir de std::forward<F>(f). Lanza cualquier excepción lanzada por el constructor seleccionado.

2) Debido a que se requiere que std::decay_t<F> sea MoveConstructible, el envoltorio de llamada devuelto siempre es MoveConstructible, y es CopyConstructible si std::decay_t<F> es CopyConstructible.

Función miembro operator()

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

	(1)
template<class... Args> auto operator()(Args&&... args) & -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>()); template<class... Args> auto operator()(Args&&... args) const& -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());			(desde C++17) (hasta C++20)
template<class... Args> constexpr auto operator()(Args&&... args) & noexcept(/*véase abajo*/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>()); template<class... Args> constexpr auto operator()(Args&&... args) const& noexcept(/*véase abajo*/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());			(desde C++20)
		(2)
template<class... Args> auto operator()(Args&&... args) && -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>()); template<class... Args> auto operator()(Args&&... args) const&& -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());				(desde C++17) (hasta C++20)
template<class... Args> constexpr auto operator()(Args&&... args) && noexcept(/*véase abajo*/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>()); template<class... Args> constexpr auto operator()(Args&&... args) const&& noexcept(/*véase abajo*/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());				(desde C++20)

1) Equivalente a return !std::invoke(fd, std::forward<Args>(args)...); 2) Equivalente a return !std::invoke(std::move(fd), std::forward<Args>(args)...);	(desde C++17) (hasta C++20)
1) Equivalente en expresión a !std::invoke(fd, std::forward<Args>(args)...) 2) Equivalente en expresión a !std::invoke(std::move(fd), std::forward<Args>(args)...)	(desde C++20)

donde fd es el objeto miembro de tipo std::decay_t<F>

Equivalente en expresión

La expresión e es equivalente-en-expresión a la expresión f, si e y f tienen los mismos efectos, ambas potencialmente lanzan o ambas potencialmente no lanzan (es decir, noexcept (e) == noexcept(f)), y ambas son subexpresiones constantes o ambas no son subexpresiones constantes.

Excepciones

No lanza excepciones, a menos que que la construcción de fd lance.

Posible implementación

namespace detail { template<class F> struct not_fn_t { F f; template<class... Args> constexpr auto operator()(Args&&... args) & noexcept(noexcept(!std::invoke(f, std::forward<Args>(args)...))) -> decltype(!std::invoke(f, std::forward<Args>(args)...)) { return !std::invoke(f, std::forward<Args>(args)...); } template<class... Args> constexpr auto operator()(Args&&... args) const& noexcept(noexcept(!std::invoke(f, std::forward<Args>(args)...))) -> decltype(!std::invoke(f, std::forward<Args>(args)...)) { return !std::invoke(f, std::forward<Args>(args)...); } template<class... Args> constexpr auto operator()(Args&&... args) && noexcept(noexcept(!std::invoke(std::move(f), std::forward<Args>(args)...))) -> decltype(!std::invoke(std::move(f), std::forward<Args>(args)...)) { return !std::invoke(std::move(f), std::forward<Args>(args)...); } template<class... Args> constexpr auto operator()(Args&&... args) const&& noexcept(noexcept(!std::invoke(std::move(f), std::forward<Args>(args)...))) -> decltype(!std::invoke(std::move(f), std::forward<Args>(args)...)) { return !std::invoke(std::move(f), std::forward<Args>(args)...); } }; } template<class F> constexpr detail::not_fn_t<std::decay_t<F>> not_fn(F&& f) { return { std::forward<F>(f) }; }

Notas

Se pretende que not_fn reemplace los negadores de los tiempos de C++03, std::not1 y std::not2.

Macro de Prueba de característica
__cpp_lib_not_fn

Véase también

not1 (en desuso en C++17)(eliminado en C++20)	Construye un objeto std::unary_negate personalizado. (plantilla de función)
not2 (en desuso en C++17)(eliminado en C++20)	Construye un objeto std::binary_negate personalizado. (plantilla de función)