There is a trend now to replace goto-like exceptions with compiler-supplied error checks like you describe: http://open-std.org/JTC1/SC22/WG21/docs/papers/2018

There is a trend now to replace goto-like exceptions with compiler-supplied error checks like you describe: http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p0709r0.pdf http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p0709r0.... This is likely inspired by the Error monad in Haskell, and the doc might say so explicitly (I don't remember).