Static Assertion
Материал из cppreference.com
 |
Эта страница была переведена автоматически с английской версии вики используя Переводчик Google.
Перевод может содержать ошибки и странные формулировки. Наведите курсор на текст, чтобы увидеть оригинал. Вы можете помочь в исправлении ошибок и улучшении перевода. Для инструкций перейдите по ссылке. Щёлкните здесь, чтобы увидеть английскую версию этой страницы |
Проверяет условие во время компиляции
Оригинал:
Performs compile-time assertion checking
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Содержание |
[править] Синтаксис
static_assert ( bool_constexpr , string )
|
(начиная с C++11) | ||||||||
[править] Объяснение
- bool_constexpr логическая константа для проверкиОригинал:bool_constexpr a boolean constant expression to be evaluatedТекст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. - string строка, выводимая в качестве ошибки компилятора в случае, если bool_constexpr является ложнымОригинал:string string literal that will appear as compiler error if bool_constexpr is falseТекст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
[править] Пример
Запустить этот код
#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
