std::is_constant_evaluated

constexpr bool is_constant_evaluated() noexcept;

Erkennt, ob der Funktionsaufruf in einem konstant-bewerteten Kontext stattfindet. Gibt true zurück, wenn die Auswertung des Aufrufs innerhalb der Auswertung eines Ausdrucks oder einer Konvertierung erfolgt, die offensichtlich konstant-bewertet ist; andernfalls wird false zurückgegeben.

Um festzustellen, ob Initialisierer der folgenden Variablen offensichtlich konstant-bewertet sind, dürfen Compiler zuerst eine versuchsweise konstante Auswertung durchführen:

• Variablen mit Referenztyp oder const-qualifiziertem Ganzzahl- oder Aufzählungstyp;
• statische und Thread-lokale Variablen.

Es wird nicht empfohlen, in diesem Fall vom Ergebnis abhängig zu sein.

int y = 0;
const int a = std::is_constant_evaluated() ? y : 1;
// Trial constant evaluation fails. The constant evaluation is discarded.
// Variable a is dynamically initialized with 1

const int b = std::is_constant_evaluated() ? 2 : y;
// Constant evaluation with std::is_constant_evaluated() == true succeeds.
// Variable b is statically initialized with 2

Parameter

(keine)

Rückgabewert

true wenn die Auswertung des Aufrufs innerhalb der Auswertung eines Ausdrucks oder einer Konvertierung erfolgt, die offensichtlich konstant ausgewertet wird; andernfalls false .

Mögliche Implementierung

// Diese Implementierung erfordert C++23 if consteval.
constexpr bool is_constant_evaluated() noexcept
{
    if consteval
    {
        return true;
    }
    else 
    {
        return false;
    }
}

Hinweise

Wenn direkt als Bedingung einer static_assert -Deklaration oder einer constexpr-if-Anweisung verwendet, gibt std :: is_constant_evaluated ( ) immer true zurück.

Weil if consteval in C++20 nicht vorhanden ist, wird std::is_constant_evaluated typischerweise über eine Compiler-Erweiterung implementiert.

Beispiel

#include <cmath>
#include <iostream>
#include <type_traits>
constexpr double power(double b, int x)
{
    if (std::is_constant_evaluated() && !(b == 0.0 && x < 0))
    {
        // Ein Kontext für konstante Auswertung: Verwende einen constexpr-freundlichen Algorithmus.
        if (x == 0)
            return 1.0;
        double r {1.0};
        double p {x > 0 ? b : 1.0 / b};
        for (auto u = unsigned(x > 0 ? x : -x); u != 0; u /= 2)
        {
            if (u & 1)
                r *= p;
            p *= p;
        }
        return r;
    }
    else
    {
        // Lässt den Codegenerator die Lösung finden.
        return std::pow(b, double(x));
    }
}
int main()
{
    // Ein Kontext für konstante Ausdrücke
    constexpr double kilo = power(10.0, 3);
    int n = 3;
    // Kein konstanter Ausdruck, da n im Kontext eines konstanten Ausdrucks
    // nicht in einen Rvalue konvertiert werden kann
    // Entspricht std::pow(10.0, double(n))
    double mucho = power(10.0, n);
    std::cout << kilo << " " << mucho << "\n"; // (3)
}

1000 1000

Siehe auch