Static Assertion
Материал из cppreference.com
 |
This page has been machine-translated from the English version of the wiki using Google Translate.
The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here. |
Выполняет время компиляции утверждение проверку
Оригинал:
Performs compile-time assertion checking
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Содержание |
[править] Синтаксис
static_assert ( bool_constexpr , string )
|
(начиная с C++11) | ||||||||
[править] Объяснение
- bool_constexpr логическое постоянное выражение для оценкиОригинал:bool_constexpr a boolean constant expression to be evaluatedТекст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда. - string строковый литерал, который появится как компилятор ошибку, если bool_constexpr является ложнымОригинал:string string literal that will appear as compiler error if bool_constexpr is falseТекст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
[править] Пример
#include <type_traits> template<class T> void swap( T& a, T& b) { static_assert(std::is_copy_constructible<T>::value, "Swap requires copying"); auto c = b; b = a; a = c; } template<class T> struct data_structure { static_assert(std::is_default_constructible<T>::value, "Data Structure requires default-constructible elements"); }; struct no_copy { no_copy ( const no_copy& ) = delete; no_copy () = default; }; struct no_default { no_default ( ) = delete; }; int main() { int a, b; swap(a,b); no_copy nc_a, nc_b; swap(nc_a,nc_b); // 1 data_structure<int> ds_ok; data_structure<no_default> ds_error; // 2 }
Возможный вывод:
1: error: static assertion failed: Swap requires copying 2: error: static assertion failed: Data Structure requires default-constructible elements
