C++ attribute: noreturn (since C++11)

From cppreference.com
< cpp‎ | language‎ | attributes
 
 
 
 
Attributes
noreturn‎
(C++11)
(C++14)
(C++17)
(C++20)(C++20)
(C++20)(C++20)(C++20)
 

Indicates that the function does not return.

Syntax

[[noreturn]]

Explanation

Indicates that the function does not return.

This attribute applies to the name of the function being declared in function declarations only. The behavior is undefined if the function with this attribute actually returns.

The first declaration of the function must specify this attribute if any declaration specifies it. If a function is declared with [[noreturn]] in one translation unit, and the same function is declared without [[noreturn]] in another translation unit, the program is ill-formed; no diagnostic required.

Example

[[ noreturn ]] void f() {
  throw "error";
  // OK
}
 
void q [[ noreturn ]] (int i) {
  // behavior is undefined if called with an argument <= 0
  if (i > 0) {
    throw "positive";
  }
}
 
// void h() [[noreturn]]; // error: attribute applied to function type of h, not h itself


Standard library

The following standard functions are declared with noreturn attribute:

Terminating functions
(C++11)
causes normal program termination without cleaning up
(function)
causes abnormal program termination (without cleaning up)
(function)
causes normal program termination with cleaning up
(function)
causes quick program termination without completely cleaning up
(function)
function called when exception handling fails
(function)
(removed in C++17)
function called when dynamic exception specification is violated
(function)
Always-throwing functions
throws the exception from an std::exception_ptr
(function)
throws the stored exception
(public member function of std::nested_exception)
throws its argument with std::nested_exception mixed in
(function template)
Non-local jumps (since C++17)
jumps to specified location
(function)

See also