Dlaczego wyrzucasz wyrażenie?

Question

Następujący post omawia typ wyrażenia throw: In C++, if throw is an expression, what is its type?. Chciałbym wyjaśnić bardziej podstawową rzecz: dlaczego powinno być throw być wyrażeniem, a nie (bezwyrażenia) oświadczeniem, tak jak w pierwszej kolejności, tak jak return? Czy ktoś chciałby napisać coś w stylu auto x = throw std::runtime_error("Error message")?

Answer 1

Jeśli throw było stwierdzeniem, że nie można go użyć z operatorem warunkowym.

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

^{_{Uwaga: to może lub nie może mieć zastosowania poza kodu zaciemniania.}}

Edycja: jeden przydatny przypadek jest wewnątrz ścisłych funkcji C++ 11 constexpr, które mogą zawierać tylko jedną instrukcję. Dzięki @dyp za wgląd!