type của exception object trong lệnh throw

[aloman]

#include <iostream>#include <exception> class Base //: public std::exception{}; class Derived : public Base{}; void throwit( Base & e ){    std::cout << "Kieu cua e la " << typeid(e).name() << '\n';  throw e;}  int main(){  Derived e;    try  {    throwit( e );  }  catch( Derived& )  {    std::cout << "Caught derived\n";  }  catch ( Base&  )  {    std::cout << "Caught base\n";  }   return 0;}

1) Khi em để nguyên, hay bỏ kí hiệu comment // để khai báo

: public std::exception

thì cả hai trường hợp đều cho kết quả là Caught base
2) Nhưng, nếu có khai báo

class Base : public std::exception

(trong phần comment)thì kiểu của e là class Derived
còn nếu bỏ đi thì kiểu của e là class Base.

Mong các anh/chị giải thích cho em 2 hiện tượng trên. Em có đọc một số tài liệu mà còn mơ hồ quá.

[fbchicken]

C++ có cơ chế RTTI (runtime type information) giúp có thể nhận biết được kiểu của dữ liệu lúc chạy (runtime). Compiler thì chỉ biết kiểu lúc dịch chương trình (compile-time)

Vấn đề 1. Tại sao kết quả luôn luôn là Caught base
Vì đối số của hàm throwit là Base& e. Vì vậy kiểu của e lúc compile-time là Base&. Throw chỉ làm việc trên kiểu compile-time, thực chất nó sẽ phải tạo ra 1 bản sao của e, và kiểu của bản sao đó đương nhiên là Base. Tại sao lại phải tạo bản sao (copy/clone) ? Vì e có thể là 1 đối tượng nằm trên stack, và khi catch thì có thể e sẽ không còn giá trị. Nên khi throw, compiler phải copy về vùng nhớ an toàn.

Vấn đề 2. std::cout << "Kieu cua e la " << typeid(e).name() << '\n';
Bạn cần hiểu cơ chế RTTI của C++ (typeid sử dụng RTTI khi đối số là con trỏ hoặc tham chiếu). RTTI dựa vào virtual table để nhận biết kiểu run-time của đối tượng. Do đó đối tượng phải có ít nhất 1 method là virtual thì typeid mới trả về kiểu runtime được. Nếu đối tượng hoàn toàn không có virtual thì typeid sẽ trả về kiểu compile-time.
Khi bạn kế thừa từ std::exception thì class Base của bạn sẽ có virtual table (do std::exception có virtual function what() và virtual destructor) nên typeid mới trả về đúng kiểu runtime được. Nếu không kế thừa từ std::exception, bạn có thể khai báo cho Base 1 virtual function bất kỳ hoặc virtual destructor cũng sẽ được kết quả tương tự

[aloman]

Anh giải thích rất chi tiết và dễ hiểu.
Em đã thử và tìm hiểu thêm theo các keyword của anh thì đúng như vậy.
Xin cảm ơn nhiều.