Đúc giữa các lớp đồng dư không liên quan

Question

Giả sử tôi có hai lớp với các thành viên giống hệt nhau từ hai thư viện khác nhau:

namespace A { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

namespace B { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

Khi tôi cố gắng cross-đúc, nó làm việc:

A::Point3D pa = {3,4,5}; 
B::Point3D* pb = (B::Point3D*)&pa; 
cout << pb->x << " " << pb->y << " " << pb->z << endl; 

Theo đó tình hình là thế này đảm bảo để làm việc? Luôn luôn? Xin lưu ý rằng nó sẽ là rất không mong muốn để chỉnh sửa một thư viện bên ngoài để thêm một pragma liên kết hoặc một cái gì đó như thế. Tôi đang sử dụng g ++ 4.3.2 trên Ubuntu 8.10.

Answer 1

Nếu cấu trúc bạn đang sử dụng chỉ là dữ liệu và không có kế thừa được sử dụng, tôi nghĩ rằng nó luôn luôn hoạt động.

Miễn là chúng là POD, nó sẽ ổn. http://en.wikipedia.org/wiki/Plain_old_data_structures

Theo tiêu chuẩn (1.8.5)

"Trừ khi nó là một lĩnh bit- fi (9.6), một đối tượng có nguồn gốc nhất phải có khác không quy mô và sẽ chiếm một hoặc nhiều byte lưu trữ.Các lớp con lớp cơ sở có thể có kích thước bằng không. Một đối tượng của POD5) loại (3.9) sẽ chiếm các byte liền kề của bộ nhớ. "

Nếu họ chiếm byte tiếp giáp dung lượng lưu trữ và họ là những cấu trúc tương tự với tên khác nhau, một dàn diễn viên nên thành công

Answer 2

Tôi biết chính xác nó sẽ không hoạt động:

• cả struct có sự liên kết differen;
• biên soạn với các tùy chọn khác nhau RTTI

thể có một số khác ...

Answer 3

Dòng này nên là:

B::Point3D* pb = (B::Point3D*)&pa; 

Lưu ý &. Tôi nghĩ rằng những gì bạn đang làm là một reinterpret_cast giữa hai con trỏ. Trong thực tế, bạn có thể reinterpret_cast bất kỳ loại con trỏ đến một loại khác, bất kể loại của hai con trỏ. Nhưng điều này không an toàn, và không di động.

Ví dụ,

int x = 5; 
double* y = reinterpret_cast<double*>(&x); 

Bạn chỉ cần đi với C-Style, Vì vậy, dòng thứ hai thực sự là tương đương với:

double* z = (double*)&x; 

Tôi chỉ ghét C-Style khi đúc vì bạn không thể nói mục đích của diễn viên từ một cái nhìn :)

---

Trong trường hợp này, được bảo đảm hoạt động?

Đây không phải là thực hiện truyền giữa các loại.Ví dụ:

int i = 5; 
float* f = reinterpret_cast<float*>(&i); 

Bây giờ f trỏ đến cùng một vị trí mà i trỏ đến. Vì vậy, không có chuyển đổi được thực hiện. Khi bạn dereference f, bạn sẽ nhận được một phao với cùng một biểu tượng nhị phân nhị phân của số nguyên i. Đó là bốn byte trên máy tính của tôi.

Answer 4

Nếu hai cấu trúc POD bắt đầu bằng cùng một chuỗi thành viên, tiêu chuẩn đảm bảo rằng bạn sẽ có thể truy cập chúng một cách tự do thông qua công đoàn. Bạn có thể lưu trữ A :: Point3D trong một công đoàn, và sau đó đọc từ thành viên B :: Point3D, miễn là bạn chỉ chạm vào các thành viên là một phần của chuỗi chung ban đầu. (do đó, nếu một cấu trúc chứa int, int, int, float và phần còn lại chứa int, int, int, int, bạn chỉ được phép truy cập vào ba int đầu tiên).

Vì vậy, điều đó có vẻ như một cách được đảm bảo trong đó mã của bạn sẽ hoạt động. Điều này cũng có nghĩa là tác vụ nên hoạt động, nhưng tôi không chắc liệu điều này có được nêu rõ trong tiêu chuẩn hay không.

Tất nhiên tất cả điều này giả định rằng cả hai cấu trúc được biên dịch với cùng một trình biên dịch để đảm bảo ABI giống nhau.

Answer 5

Sau đây là khá an toàn:

namespace A { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

namespace B { 
    typedef A::Point3D Point3D; 
} 

int main() { 
    A::Point3D a; 
    B::Point3D* b = &a; 

    return 0; 
}