Tôi bị hấp dẫn bởi cách hoạt động của cơ chế xử lý ngoại lệ C ++. Cụ thể, đối tượng ngoại lệ được lưu trữ ở đâu và nó lan truyền qua nhiều phạm vi như thế nào cho đến khi bị bắt? Nó có được lưu trữ trong một số khu vực toàn cầu không?
Vì đây có thể là trình biên dịch cụ thể, ai đó có thể giải thích điều này trong ngữ cảnh của bộ trình biên dịch g ++ không?
Câu trả lời:
Cách triển khai có thể khác nhau, nhưng có một số ý tưởng cơ bản tuân theo các yêu cầu.
Bản thân đối tượng ngoại lệ là một đối tượng được tạo trong một hàm, bị phá hủy trong trình gọi của nó. Do đó, thường không khả thi để tạo đối tượng trên ngăn xếp. Mặt khác, nhiều đối tượng ngoại lệ không lớn lắm. Ergo, người ta có thể tạo ví dụ như một bộ đệm 32 byte và tràn lên đống nếu thực sự cần một đối tượng ngoại lệ lớn hơn.
Đối với việc chuyển giao quyền kiểm soát thực tế, tồn tại hai chiến lược. Một là ghi lại đủ thông tin trong chính ngăn xếp để giải phóng ngăn xếp. Về cơ bản, đây là danh sách các trình hủy để chạy và các trình xử lý ngoại lệ có thể bắt ngoại lệ. Khi một ngoại lệ xảy ra, hãy chạy lại ngăn xếp đang thực thi các hàm hủy đó cho đến khi bạn tìm thấy một lệnh bắt phù hợp.
Chiến lược thứ hai di chuyển thông tin này vào các bảng bên ngoài ngăn xếp. Bây giờ, khi một ngoại lệ xảy ra, ngăn xếp cuộc gọi được sử dụng để tìm ra phạm vi nào được nhập nhưng không thoát ra. Sau đó, chúng được tra cứu trong các bảng tĩnh để xác định nơi mà ngoại lệ đã ném sẽ được xử lý và các hàm hủy nào chạy ở giữa. Điều này có nghĩa là có ít chi phí ngoại lệ hơn trên ngăn xếp; địa chỉ trả lại vẫn cần thiết. Các bảng là dữ liệu bổ sung, nhưng trình biên dịch có thể đưa chúng vào một phân đoạn được tải theo yêu cầu của chương trình.
free()hoặc a fclose()trong một số đường dẫn mã hiếm khi được sử dụng.
Điều này được định nghĩa trong 15.1 Ném một ngoại lệ của tiêu chuẩn.
Cú ném tạo ra một đối tượng tạm thời.
Làm thế nào bộ nhớ cho đối tượng tạm thời này được cấp phát là không xác định.
Sau khi tạo điều khiển đối tượng tạm thời được chuyển cho trình xử lý gần nhất trong ngăn xếp cuộc gọi. mở ngăn xếp giữa điểm ném và điểm bắt. Khi ngăn xếp được mở ra, mọi biến ngăn xếp sẽ bị phá hủy theo thứ tự ngược lại của quá trình tạo.
Trừ khi ngoại lệ được ném lại, phần tạm thời sẽ bị phá hủy ở cuối trình xử lý nơi nó bị bắt.
Lưu ý: Nếu bạn bắt bằng tham chiếu, tham chiếu sẽ tham chiếu đến tạm thời, Nếu bạn bắt theo giá trị, đối tượng tạm thời được sao chép vào giá trị (và do đó yêu cầu một hàm tạo bản sao).
Lời khuyên từ S.Meyers (Catch by const reference).
try
{
// do stuff
}
catch(MyException const& x)
{
}
catch(std::exception const& x)
{
}
Bạn có thể xem ở đây để được giải thích chi tiết.
Nó cũng có thể hữu ích khi xem xét một thủ thuật được sử dụng trong C đơn giản để thực hiện một số loại xử lý ngoại lệ cơ bản. Điều này đòi hỏi phải sử dụng setjmp () và longjmp () theo cách sau: cái trước lưu ngăn xếp để đánh dấu trình xử lý ngoại lệ (như "catch"), trong khi cái sau được sử dụng để "ném" một giá trị. Giá trị "được ném" được xem như thể nó đã được trả về từ một hàm được gọi. "Khối thử" kết thúc khi setjmp () được gọi lại hoặc khi hàm trả về.
Tôi biết đây là một câu hỏi cũ, nhưng có một giải thích rất hay, giải thích cả các phương pháp được sử dụng trong mỗi gcc và VC tại đây: http://www.hexblog.com/wp-content/uploads/2012/06/Recon- 2012-Skochinsky-Compiler-Internals.pdf