atributo de C++: assume

 

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

 

Lenguaje C++

 

Declaraciones

Resumen sintaxis de declaración sec-decl-especificadores declarador Especificadores typedef inline especificador de función virtual especificador de función explicit friend constexpr (C++11) consteval (C++20) constinit (C++20) especificadores de clase de almacenamiento classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile especificador de tipo elaborado atributos (C++11)

Declaradores referencia puntero array Declaraciones de bloques declaración simple → declaración de vínculos estructurados(C++17) declaración de alias(C++11) definición de alias de espacio de nombres declaración using directiva using declaración static_assert(C++11) declaración asm declaración de enum opaca(C++11) Otras declaraciones definición de espacio de nombres declaración de función declaración de plantilla de clase declaración de plantilla de función creación de plantilla explícita(C++11) especialización de plantilla explícita especificación de vinculación declaración de atributos(C++11) declaración vacía

 

Atributos

assume (C++23)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

Especifica que se supone que la expresión dada siempre se evalúa como true en un punto determinado. El comportamiento no está definido si la suposición no se cumple.

Sintaxis

[[assume(expresión)]]

expresión

-

Una expresión contextually contextualmente convertida a bool donde la expresión debe evaluarse a true.

Explicación

La expresión expresión no puede ser una expresión operador coma, pero encerrar la expresión entre paréntesis permitirá que se use el operador coma.

La expresión expresión no se evalúa (pero aún así es potencialmente evaluada).

Solo se puede aplicar a una instrucción nula, como en [[assume(x >0)]];. Esta instrucción se denomina una suposición. Si la expresión no se evaluara como true en el lugar donde ocurre la suposición, el comportamiento no está definido. De lo contrario, la declaración no tiene efecto.

El propósito de una suposición es permitir optimizaciones del compilador basadas en la información proporcionada.

Notas

Dado que las suposiciones provocan un comportamiento no definido si no se cumplen, se deben utilizar con moderación.

Una forma correcta de utilizarlas es seguir las afirmaciones con suposiciones:

assert(x >0);// activa una aserción cuando NDEBUG no está definido y x > 0 es falso[[assume(x >0)]];// proporciona oportunidades de optimización cuando NDEBUG está definido

Ejemplo

#include <cmath>   void f(int& x, int y){void g(int);void h();   [[assume(x >0)]];// El compilador puede asumir que x es positiva   g(x /2);// Posiblemente se genere un código más eficiente   x =3;int z = x;   [[assume((h(), x == z))]];// El compilador puede asumir que x // tendría el mismo valor después de llamar a h// La suposición no ocasiona que se llame a h   h(); g(x);// El compilador puede reemplazar esto con g(3);   h(); g(x);// El compilador NO puede reemplazar esto con g(3);// Una suposición se aplica solo en el punto donde aparece   z = std::abs(y);   [[assume((g(z), true))]];// El compilador puede asumir que g(z) regresará   g(z);// Debido a las suposiciones anterior y siguiente,// el compilador puede reemplazar esto con g(10);   [[assume(y ==-10)]];// Comportamiento no definido si y != -10 en este punto   [[assume((x -1)*3==12)]];   g(x);// El compilador puede reemplazar esto con g(5);}

Referencias

• El estándar C++23 (ISO/IEC 14882:2023):

• 9.12.3 Atributo de suposición [dcl.attr.assume]

Véase también

unreachable (C++23)

Marca un punto de ejecución no alcanzable. (función)

Enlaces externos

1.	Documentación de extensiones de Clang al lenguaje: __builtin_assume.
2.	Documentación de referencia de atributos de Clang: assume.
3.	Documentación de MSVC: __assume built-in.
4.	Documentación de GCC: __attribute__((assume(...))).