Like a comment on the article says, this is Java checked exceptions for C++. Checked exceptions don't give you exception safety for free: they give you boilerp

Like a comment on the article says, this is Java checked exceptions for C++. Checked exceptions don't give you exception safety for free: they give you boilerplate code, and exception safety is still up to the developer. (I never bought the argument about exceptions obfuscating control flow, either.)