Tại sao lại ném một biểu thức?

Question

Bài đăng sau thảo luận về loại biểu thức throw: In C++, if throw is an expression, what is its type?. Tôi muốn làm rõ một điều cơ bản hơn: tại sao phải throw là một biểu thức và không phải là tuyên bố (không biểu hiện) giống như return ngay từ đầu? Ý tôi là, có ai muốn viết một cái gì đó như auto x = throw std::runtime_error("Error message")?

Answer 1

Nếu throw là tuyên bố bạn không thể sử dụng nó với toán tử có điều kiện.

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

^{_{Lưu ý: đây có thể hoặc không có công dụng bên ngoài đang hoang mang.}}

Chỉnh sửa: một trường hợp hữu ích nằm trong các hàm constexpr nghiêm ngặt của C++ 11 chỉ có thể chứa một lệnh. Cảm ơn @dyp vì thông tin chi tiết!