C++ attribute: assume (since C++23)

Especifica que la expresión dada se asume que siempre se evalúa como true en un punto determinado para permitir optimizaciones del compilador basadas en la información proporcionada.

Sintaxis

Explicación

[ [ assume ] ] solo puede aplicarse a una sentencia nula , como en [ [ assume ( x > 0 ) ] ] ; . Esta sentencia se denomina suposición .

expresión se convierte contextualmente a bool , pero no se evalúa (sigue siendo potencialmente evaluada ).

• Si la expresión convertida expression evaluaría a true en el punto donde aparece la suposición, esta no tiene efecto.
• De lo contrario, la evaluación de la suposición tiene comportamiento indefinido en tiempo de ejecución .

Notas

Dado que las suposiciones causan comportamiento indefinido en tiempo de ejecución si no se cumplen, deben usarse con moderación.

Una forma correcta de utilizarlos es seguir las aserciones con supuestos:

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 positivo
    g(x / 2); // Posiblemente se genere código más eficiente
    x = 3;
    int z = x;
    [[assume((h(), x == z))]]; // El compilador puede asumir que x mantendrá el mismo valor después
                               // de llamar a h
                               // La suposición no provoca una llamada 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 solo se aplica en el punto donde aparece
    z = std::abs(y);
    [[assume((g(z), true))]]; // El compilador puede asumir que g(z) retornará
    g(z); // Debido a las suposiciones anteriores y posteriores, el compilador puede reemplazar esto con g(10);
    [[assume(y == -10)]]; // Comportamiento indefinido si y != -10 en este punto
    [[assume((x - 1) * 3 == 12)]];
    g(x); // El compilador puede reemplazar esto con g(5);
}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Referencias

Véase también

Enlaces externos