Kiểm tra các loại đối tượng trong C++ 11

Question

Tôi có lớp B kế thừa từ A.

class A 
{ 
}; 

class B : public A 
{ 
}; 

Và tôi có ba đối tượng.

A* a = new A(); 
A* a2 = new B(); 
B* b = new B(); 

Tôi muốn nếu kiểm tra một là đối tượng của loại A, a2 là đối tượng của loại B (không A), và b là đối tượng của loại B.

tôi đã cố gắng gõ so sánh, nhưng nó không cho tôi câu trả lời đúng.

cout << (typeid(*a) == typeid(A)) << endl; // -> 1 
cout << (typeid(*a2) == typeid(A)) << endl; // -> 1 
cout << (typeid(*b) == typeid(A)) << endl; // -> 0 

cout << (typeid(*a) == typeid(B)) << endl; // -> 0 
cout << (typeid(*a2) == typeid(B)) << endl; // -> 0 
cout << (typeid(*b) == typeid(B)) << endl; // -> 1 

Tôi đã thử truyền động nhưng tôi đã gặp phải lỗi biên dịch.

B* derived = dynamic_cast<B*>(a); 
if (derived) { 
    cout << "a is B"; 
} 
derived = dynamic_cast<B*>(a2); 
if (derived) { 
    cout << "a2 is B"; 
} 
derived = dynamic_cast<B*>(b); 
if (derived) { 
    cout << "b is B"; 
} 

typename.cpp: In function 'int main(int, char**)': 
typename.cpp:27:36: error: cannot dynamic_cast 'a' (of type 'class A*') to type 'class B*' (source type is not polymorphic) 
    B* derived = dynamic_cast<B*>(a); 
            ^
typename.cpp:31:34: error: cannot dynamic_cast 'a2' (of type 'class A*') to type 'class B*' (source type is not polymorphic) 
    derived = dynamic_cast<B*>(a2); 

Tôi đã sử dụng phép đúc tĩnh nhưng tôi đã nhận được câu trả lời sai.

B* derived = static_cast<B*>(a); 
if (derived) { 
    cout << "a is B"; // -> YES 
} 
derived = static_cast<B*>(a2); 
if (derived) { 
    cout << "a2 is B"; // -> YES 
} 
derived = dynamic_cast<B*>(b); 
if (derived) { 
    cout << "b is B"; // -> YES 
} 

Làm cách nào để xác định đúng loại đối tượng trong C++11?

Answer 1

Một số lớp có tính đa hình, một số là không đa hình.

Một lớp đa hình có một hoặc nhiều hàm ảo (có thể được kế thừa), một lớp không đa hình có hàm số không ảo.

A và B của bạn không đa hình.

Một phiên bản đa hình của A và B sẽ triển lãm hành vi mà bạn muốn:

#include <iostream> 
#include <typeinfo> 

using namespace std; 

struct A 
{ 
    virtual ~A() {}; // add virtual function 
}; 

class B : public A 
{ 
}; 

A* a = new A(); 
A* a2 = new B(); 
B* b = new B(); 

int main() 
{ 
    cout << (typeid(*a) == typeid(A)) << endl; // -> 1 
    cout << (typeid(*a2) == typeid(A)) << endl; // -> 0 <-- CHANGED 
    cout << (typeid(*b) == typeid(A)) << endl; // -> 0 

    cout << (typeid(*a) == typeid(B)) << endl; // -> 0 
    cout << (typeid(*a2) == typeid(B)) << endl; // -> 1 <-- CHANGED 
    cout << (typeid(*b) == typeid(B)) << endl; // -> 1 
} 

Instances của một cửa hàng lớp đa hình kiểu năng động của họ có nguồn gốc nhất đối tượng khi chạy.

(Trong ví dụ của bạn a2 là loại con trỏ-to-A, và được chỉ vào một đối tượng kiểu A, tuy nhiên đối tượng này chỉ là một cơ sở lớp subobject của đối tượng dervived nhất loại B. những gì bạn muốn nhận được là loại này có nguồn gốc hầu hết các đối tượng B khi truy vấn a2. Đối với điều này bạn cần một lớp đa hình.)

Đó là cách đa hình các lớp học hỗ trợ dynamic_cast và typeid của đối tượng có nguồn gốc nhất (cũng như ảo chức năng công văn).

Các lớp không đa hình không có thông tin này, vì vậy chúng chỉ có thể báo cáo loại tĩnh được biết đến tại thời gian biên dịch. Các lớp không đa hình là các lớp đa hình nhỏ gọn và hiệu quả hơn. Đó là lý do tại sao không phải tất cả các lớp C++ đều đa hình. Ngôn ngữ lá nó lên đến các lập trình viên để chọn sự cân bằng giữa hiệu suất và chức năng. Ví dụ:

struct X { int x; }; 
struct Y : X {}; 
struct Z : Y {}; 

Trên hệ thống của tôi không đa hình Z là sizeof(Z) == 4 bytes, giống như một int.

struct X { int x; virtual ~X() {}; }; 
struct Y : X {}; 
struct Z : Y {}; 

Bây giờ sau khi thực hiện Z đa hình, sizeof(Z) == 16 bytes.Vì vậy, một mảng Z bây giờ lớn hơn 300%, bởi vì mỗi cá thể Z phải lưu trữ thông tin kiểu của nó khi chạy.