Sự khác biệt giữa C ++ 03 specifier C ++ 11 noexcept

Có sự khác biệt nào giữa throw()và noexceptkhác với việc được kiểm tra trong thời gian chạy và thời gian biên dịch, tương ứng không?

Bài viết Wikipedia C ++ 11 này gợi ý rằng các chỉ định ném C ++ 03 không được dùng nữa.
Tại sao vậy, noexceptcó đủ khả năng để bao gồm tất cả những thứ đó tại thời điểm biên dịch không?

[Lưu ý: Tôi đã kiểm tra câu hỏi này và bài viết này , nhưng không thể xác định lý do chính xác cho việc không dùng nữa.]

Các mã chỉ định ngoại lệ không được dùng nữa vì các mã chỉ định ngoại lệ nói chung là một ý tưởng tồi . noexceptđã được thêm vào bởi vì đó là một cách sử dụng hợp lý hữu ích của bộ chỉ định ngoại lệ: biết khi nào một hàm không đưa ra ngoại lệ. Do đó, nó trở thành một lựa chọn nhị phân: các hàm sẽ ném và các hàm sẽ không ném.

noexcept đã được thêm vào thay vì chỉ xóa tất cả các chỉ số ném ngoài throw() bởi vì noexceptnó mạnh hơn. noexceptcó thể có một tham số mà thời gian biên dịch phân giải thành một boolean. Nếu boolean là true, thì đúng noexcept. Nếu boolean là false, thì noexceptkhông dính và hàm có thể ném.

Vì vậy, bạn có thể làm một cái gì đó như sau:

struct<typename T>
{
  void CreateOtherClass() { T t{}; }
};

Làm CreateOtherClass ném ngoại lệ không? Nó có thể, nếu hàm tạo Tmặc định của có thể. Làm thế nào để chúng tôi nói? Như thế này:

struct<typename T>
{
  void CreateOtherClass() noexcept(is_nothrow_default_constructible<T>::value) { T t{}; }
};

Do đó, CreateOtherClass()sẽ ném iff hàm tạo mặc định của kiểu đã cho. Điều này khắc phục một trong những vấn đề lớn với các chỉ định ngoại lệ: chúng không có khả năng truyền lên ngăn xếp cuộc gọi.

Bạn không thể làm điều này với throw().

noexcept không được kiểm tra tại thời điểm biên dịch.

Một triển khai sẽ không từ chối một biểu thức chỉ vì khi được thực thi, nó ném hoặc có thể ném một ngoại lệ mà hàm chứa không cho phép.

Khi một hàm được khai báo noexcepthoặc throw()cố gắng ném một ngoại lệ, điểm khác biệt duy nhất là một lệnh gọi terminatevà lệnh gọi unexpectedvà kiểu xử lý ngoại lệ sau này đã không còn được chấp nhận.

std::unexpected() được gọi bởi thời gian chạy C ++ khi một đặc tả ngoại lệ động bị vi phạm: một ngoại lệ được ném ra từ một hàm có đặc tả ngoại lệ cấm các ngoại lệ thuộc loại này.

std::unexpected() cũng có thể được gọi trực tiếp từ chương trình.

Trong cả hai trường hợp, std::unexpectedgọi là cài đặt hiện tại std::unexpected_handler. Các std::unexpected_handlercuộc gọi mặc định std::terminate.