Nhận loại biến

Question

Nếu tôi hiểu chính xác, typeid có thể xác định loại thực tế trong đa hình, trong khi typeof không thể. Có phải nó cũng đúng là lợi nhuận của họ được sử dụng cho các mục đích khác nhau: sự trở lại của typeof được sử dụng như là từ khóa loại có thể xác định biến, nhưng sự trở lại của typeid có thể không?

Có cách nào để cả hai có được loại thực tế cho đa hình và sử dụng từ khóa trả về làm loại để xác định một biến khác? Tôi hy vọng có được loại lớp dẫn xuất từ ​​một con trỏ trỏ đến lớp cơ sở và định nghĩa một biến hoặc một con trỏ tới lớp dẫn xuất. Một cái gì đó như:

baseclass *p = new derivedclass 
typexxx(*p) *pp = dynamic_cast<typexxx(*p) *> (p); 
// would like to convert the pointer from pointing to a base class 
// to its derived class 

Cảm ơn bạn rất nhiều!

Answer 1

c++0x sẽ có decltype mà có thể được sử dụng như thế này:

int someInt; 
decltype(someInt) otherIntegerVariable = 5; 

nhưng đối với đồng bằng cũ C++, không may, không có.

Tôi giả sử rằng decltype sẽ không thực sự giúp ích nhiều cho dù bạn muốn loại đa hình, không phải là loại được khai báo. Cách tiến thẳng nhất để làm những gì bạn muốn là cố gắng truyền động tới một loại cụ thể và kiểm tra NULL.

struct A { 
    virtual ~A() {} 
}; 
struct B : public A {}; 
struct C : public A {}; 

int main() { 
    A* x = new C; 
    if(B* b_ptr = dynamic_cast<B*>(x)) { 
     // it's a B 
    } else if(C* c_ptr = dynamic_cast<C*>(x)) { 
     // it's a C 
    } 
} 

Answer 2

Giả sử một hệ thống phân cấp Một < - B < - C

A * p = new AorBorC; // create new object of some sort 

if (dynamic_cast <C*>(p)) { 
    C * c = dynamic_cast <C*>(p); 
    c->CFunc(); 
} 
else if (dynamic_cast <B*>(p)) { 
    B * b = dynamic_cast <B*>(p); 
    b->BFunc(); 
} 
else if (dynamic_cast <A*>(p)) { 
    A * a = dynamic_cast <A*>(p); 
    a->AFunc(); 
} 

đâu AFunc, BFunc, CFunc là đặc trưng cho lớp học của mình, và không phải là ảo. Rõ ràng, điều này có thể được tối ưu hóa một chút.