LVV>А разве в С++ инструмент отсутствует?

Exceptions are, [...]

• Slow on the exceptional path
• Hopelessly serial
— Only one exception in flight
— Requires immediate, exclusive attention
— Dedicated control flow
• Associated only with root reasons, not goals
— “I/O error” doesn’t describe “saving
weight file”

• Common complaint: “Error codes are limited!
Exceptions are arbitrarily rich!”

1.1 Exception monad
[...]
There is an old dispute between C++ programmers on whether exceptions or error return codes are the right way. Also Niklaus Wirth considered exceptions to be the reincarnation of GOTO and thus omitted them in his languages. Haskell solves the problem a diplomatic way: Functions return error codes, but the handling of error codes does not uglify the calling code.

EP>Почему же во всех местах использования? Только в тех, где это критично.

EP>Если в каком-то месте критично чтобы вызов f() прошёл нормально, вернув нормальный результат, то и в случае с NaN'ами придётся городить проверки

if(1 == f())
{
   do_something();
}

__>if(1 == f())
__>{
__>   do_something();
__>}
__>

if(f() > 0)
   do_something();
else
   do_something2();

EP>>Почему же во всех местах использования? Только в тех, где это критично.

EP>>Если в каком-то месте критично чтобы вызов f() прошёл нормально, вернув нормальный результат, то и в случае с NaN'ами придётся городить проверки

__>да, но в том месте, где это некритично, проверки можно не ставить

__>но вам их обязательно надо ловить!

__>if(1 == f())
__>{
__>   do_something();
__>}
__>

try{ action1(); } catch(...){ /*ignore*/ }
try{ action2(); } catch(...){ /*ignore*/ }
try{ action3(); } catch(...){ /*ignore*/ }

// Building from exception
// © 2012- Andrei Alexandrescu. Do not redistribute. 23 / 54
template
<class E>
static Expected<T> fromException(const E& exception) {
  if (typeid(exception) != typeid(E)) {
    throw std::invalid_argument( "slicing detected");
  }
  return fromException(std::make_exception_ptr(exception));
}

166│   /// Obtain an exception_ptr pointing to a copy of the supplied object.
167│   template<typename _Ex>
168│     exception_ptr
169│     make_exception_ptr(_Ex __ex) _GLIBCXX_USE_NOEXCEPT
170│     {
171│ #if __cpp_exceptions
172│       try
173│         {
174├>          throw __ex;
175│         }
176│       catch(...)
177│         {
178│           return current_exception();
179│         }
180│ #else
181│       return exception_ptr();
182│ #endif
183│     }