ngoại lệ bắt cơ chế, C++

Question

xem xét mã này:

int main() 
{ 
    try 
    { 
     throw std::range_error(""); 
    } 
    catch (std::bad_alloc) 
    { 
     std::cout << "AAAA" << std::endl; 
     throw; 
    } 
    catch (std::range_error) 
    { 
     std::cout << "BBB" << std::endl; 
     throw; 
    } 
    catch (std::exception) 
    { 
     std::cout << "CCC" << std::endl; 
    } 
    std::cout << "DDD" << std::endl; 
} 

Ở đây tôi ném một ngoại lệ kiểu std::range_error và cố gắng nắm bắt nó.
Hợp lý khối catch đầu tiên không thể bắt được do loại không phù hợp (std::bad_alloc và std::range_error).
Khối bắt thứ hai phải bắt được vì chúng là cùng loại std::range_error.
Và cũng có thể, khi tôi tính lại ngoại lệ trong khối đánh bắt thứ hai, nó phải bị bắt trong khối đánh bắt thứ ba.

Vì vậy, đầu ra của tôi phải

BBB 
CCC 
DDD 

Nhưng tôi chỉ nhận được những BBB đầu ra với việc chấm dứt.

Ai đó có thể giải thích cho tôi về hành vi không?

Answer 1

Khi bạn tái throw một ngoại lệ, bạn đang ném nó hoàn toàn ra khỏi bối cảnh của khối xử lý ngoại lệ hiện tại .... Vì vậy,

try 
{ 
    throw std::range_error(""); 
} 
catch (std::bad_alloc) 
{ 
    std::cout << "AAAA" << std::endl; 
    throw; 
} 
catch (std::range_error) 
{ 
    std::cout << "BBB" << std::endl; 
    throw; 
} 
catch (std::exception) 
{ 
    std::cout << "CCC" << std::endl; 
} 

là một xử lý ngoại lệ khối. Do đó, khi gặp phải throw đầu tiên trong bất kỳ khối nào trong số catch, nó sẽ chặn toàn bộ khối để tìm một khối xử lý khác (try-catch) bên ngoài phạm vi hiện tại. nếu không tìm thấy, chương trình chấm dứt.

Xin xem try-catch block in C++

Để in như ban đầu bạn nghĩ ... Live On Coliru ...

int main() 
{ 
    try{ 
     try{ 
      try{ 
       throw std::range_error(""); 
      } 
      catch (std::bad_alloc) { 
       std::cout << "AAAA" << std::endl; 
       throw; 
      } 
     } 
     catch (std::range_error) { 
      std::cout << "BBB" << std::endl; 
      throw; 
     } 
    } 
    catch (std::exception){ 
     std::cout << "CCC" << std::endl; 
    } 
    std::cout << "DDD" << std::endl; 
} 

Prints:

BBB 
CCC 
DDD 

Đối với hồ sơ: xin vui lòng tránh sử dụng các ngoại lệ cho kiểm soát dòng chảy có thể được thực hiện bằng thang đơn giản if-else trong mã sản xuất

Answer 2

này throw:

catch (std::range_error) 
{ 
    std::cout << "BBB" << std::endl; 
    throw; // <== this one 
} 

không phải là bản thân trong cơ thể của một try, vì vậy khi cơ chế xử lý ngoại lệ sẽ tiếp tục đi ra một phạm vi tại một thời điểm cho đến khi nó tìm thấy một. Vì không có bên ngoài khác try, ngoại lệ không bị bắt.

Không có sự hối cải trong xử lý ngoại lệ.

Answer 3

Để bắt lại dải_khoảng và cần có khối bắt thử bên ngoài mới.

#include <iostream> 

int main() 
{ 
    //outer try catch ------------------------ 
    try { 

    // inner try catch --------------------- 
    try 
    { 
     throw std::range_error(""); 
    } 
    catch (std::bad_alloc) 
    { 
     std::cout << "AAAA" << std::endl; 
     throw; 
    } 
    catch (std::range_error) 
    { 
     std::cout << "BBB" << std::endl; 
     throw; 
    } 
    // ------------------------------- 
    } 

    catch (std::exception) 
    { 
    std::cout << "CCC" << std::endl; 
    } 
    // -------------------------------- 

    std::cout << "DDD" << std::endl; 
} 

Output

BBB 
CCC 
DDD