C++
static_assert

Składnia

• static_assert ( bool_constexpr , komunikat )
• static_assert ( bool_constexpr ) / * Od C ++ 17 * /

Parametry

Uwagi

static_assert

Asercje oznaczają, że warunek powinien zostać sprawdzony, a jeśli jest fałszywy, oznacza to błąd. W przypadku static_assert() jest to wykonywane podczas kompilacji.

template<typename T>
T mul10(const T t)
{
    static_assert( std::is_integral<T>::value, "mul10() only works for integral types" );
    return (t << 3) + (t << 1);
}

static_assert() ma obowiązkowy pierwszy parametr, warunek, który jest constolpr bool. Może mieć drugi parametr, komunikat, czyli dosłowny ciąg znaków. Od C ++ 17 drugi parametr jest opcjonalny; wcześniej jest to obowiązkowe.

template<typename T>
T mul10(const T t)
{
    static_assert(std::is_integral<T>::value);
    return (t << 3) + (t << 1);
}

Jest używany, gdy:

• Ogólnie rzecz biorąc, weryfikacja w czasie kompilacji jest wymagana dla niektórych typów wartości constexpr
• Funkcja szablonu musi zweryfikować pewne właściwości przekazanego do niej typu
• Chcemy napisać przypadki testowe dla:
  • metafunkcje szablonu
  • funkcje constexpr
  • metaprogramowanie makr
• Wymagane są pewne definicje (np. Wersja C ++)
• Przenoszenie starszego kodu, asercje na sizeof(T) (np. 32-bitowy int)
• Niektóre funkcje kompilatora są wymagane do działania programu (pakowanie, optymalizacja pustej klasy podstawowej itp.)

Zauważ, że static_assert() nie uczestniczy w SFINAE : dlatego, gdy możliwe są dodatkowe przeciążenia / specjalizacje, nie należy go używać zamiast technik metaprogramowania szablonów (takich jak std::enable_if<> ). Można go użyć w kodzie szablonu, gdy oczekiwane przeciążenie / specjalizacja jest już znalezione, ale wymagane są dalsze weryfikacje. W takich przypadkach może dostarczyć bardziej konkretnych komunikatów o błędach niż poleganie na SFINAE.