Is there an automatic noexcept specifier?

by

Currently there is none. There is, however, a proposal on that topic, which proposes noexcept(auto) syntax: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4473
The status of this proposal is “needs further work”, according to Botond Ballo’s “Trip Report: C++ Standards Meeting in Lenexa, May 2015” https://botondballo.wordpress.com/2015/06/05/trip-report-c-standards-meeting-in-lenexa-may-2015/

Further Work. The proposal’s direction is promising, but it is either not fleshed out well enough, or there are specific concerns with one or more design points. The author is encouraged to come back with a modified proposal that is more fleshed out and/or addresses the stated concerns.

…

noexcept(auto), which basically means “deduce the noexcept-ness of this function from the noexcept-ness of the functions it calls. Like return type deduction, this requires the body of the function being available in each translation unit that uses the function. It was brought up that, together with the proposal for making exception specifications part of the type system, this would mean that modifying the function’s body could change the function’s type (again similarly to return type deduction), but people weren’t overly concerned about that.

More Related Contents:

  1. Why compiler gives the message "call of overloaded function is ambiguous" here in C++11?
  2. what is the concept of evaluation of expression z = (y = 30) + (y = 10) + (y = 20); [closed]
  3. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  4. Implementation C++14 make_integer_sequence
  5. When should I really use noexcept?
  6. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  7. Is it safe to link C++17, C++14, and C++11 objects
  8. C++11 aggregate initialization for classes with non-static member initializers
  9. How to implement make_unique function in C++11? [duplicate]
  10. Pointers in c++ after delete
  11. C++11: Correct std::array initialization?
  12. Difference between C++03 throw() specifier C++11 noexcept
  13. Can returning a local variable by value in C++11/14 result in the return value being constructed by rvalue when no copy/move is involved?
  14. Pass by value vs pass by rvalue reference
  15. Why are lambda expressions not allowed in an unevaluated operands but allowed in the unevaluated portions of constant expressions?
  16. Default, value and zero initialization mess
  17. Is #pragma once part of the C++11 standard?
  18. Capturing perfectly-forwarded variable in lambda
  19. Parallel Loops in C++
  20. Lambda capture as const reference?
  21. How to extract the source filename without path and suffix at compile time?
  22. Check traits for all variadic template arguments
  23. Which headers in the C++ standard library are guaranteed to include another header?
  24. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  25. error::make_unique is not a member of ‘std’
  26. Raw pointer lookup for sets of unique_ptrs
  27. `static constexpr` function called in a constant expression is…an error?
  28. Classes with both template and non-template conversion operators in the condition of switch statement
  29. Why does constexpr static member (of type class) require a definition?
  30. Reference invalidation after applying reverse_iterator on a custom made iterator

Leave a Comment