noexcept operator (since C++11)

C++ Reference
Language Concepts Utilities library Strings library Containers library Algorithms library Iterators library Numerics library Input/output library Localizations library Regular expressions library (C++11) Atomic operations library (C++11) Thread support library (C++11)
C++ language
General topics Preprocessor Comments Keywords ASCII chart Escape sequences History of C++ Flow control Conditional execution statements if statement switch statement Iteration statements for loop range-for loop (C++11) while loop do-while loop Jump statements continue statement break statement goto statement return statement Functions function declaration lambda function declaration function template inline specifier exception specifications (deprecated) noexcept specifier (C++11) Exceptions throw expression try-catch block Namespaces namespace declaration namespace aliases Types fundamental types compound types enumeration types union types function types decltype specifier (C++11) Specifiers cv specifiers storage duration specifiers constexpr specifier (C++11) auto specifier (C++11) alignas specifier (C++11) Literals integer literals character literals floating-point literals string literals boolean literals nullptr (C++11) user-defined (C++11) Expressions value categories order of evaluation operators operator precedence alternative representations Utilities Types typedef declaration type alias declaration (C++11) attributes (C++11) Casts implicit conversions const_cast conversion static_cast conversion dynamic_cast conversion reinterpret_cast conversion C-style and functional cast Memory allocation new expression delete expression Classes class declaration this pointer access specifiers friend specifier initializer lists Class-specific function properties virtual function override specifier (C++11) final specifier (C++11) explicit (C++11) static Special member functions default constructor copy constructor move constructor (C++11) assignment operator move operator (C++11) destructor Templates class template function template template specialization parameter packs (C++11) Miscellaneous Inline assembly

The noexcept operator performs a compile-time check that returns true if an expression is declared to not throw any exceptions.

It can be used within a function template's noexcept specifier to declare that the function will throw exceptions for some types but not others.

Syntax

noexcept( expression )

Returns an object of type bool.

Explanation

The noexcept operator does not evaluate expression. The result is false if the expression contains at least one of the following potentially evaluated constructs:

• call to any type of function that does not have non-throwing exception specification, unless it is a constant expression.
• throw expression
• dynamic_cast expression when the conversion needs a run time check
• typeid expression when argument type is polymorphic class type

In all other cases the result is true.

Keywords

noexcept

Example

template <class T>
void self_assign(T& t) noexcept(noexcept(T::operator=)) 
{ // self_assign is noexcept if and only if T::operator= is noexcept
    t = t;
}

See also

noexcept specifier	requires a function to not throw any exceptions (C++11)
exception specification	specifies what exceptions are thrown by a function (deprecated)