Зачем бросать выражение?

Question

Следующая статья обсуждает тип выражения throw: In C++, if throw is an expression, what is its type?. Я хотел бы прояснить более общую вещь: почему должно быть throw выражением, а не выражением (не-выражение), как, например, return? Я хочу сказать, кто-нибудь захочет написать что-то вроде auto x = throw std::runtime_error("Error message")?

Answer 1

Если throw были заявлением, вы не могли использовать его с условным оператором.

return success() 
    ? computation() 
    : throw std::runtime_error("oops"); 

^{_{Примечание: это может или не может иметь применения за пределами запутывания кода.}}

Редактировать: один полезный случай находится внутри C++ 11 строгих constexpr функций, которые могут содержать только одну инструкцию. Спасибо @dyp за понимание!