Đảm bảo về địa chỉ của baseclass trong C + +?

Question

Trong C struct, tôi đang đảm bảo rằng:

struct Foo { ... }; 
struct Bar { 
    Foo foo; 
    ... 
} 
Bar bar; 
assert(&bar == &(bar.foo)); 

Bây giờ, trong C++, nếu tôi có:

class Foo { ... }; 
class Bar: public Foo, public Other crap ... { 
    ... 
} 

Bar bar; 
assert(&bar == (Foo*) (&bar)); // is this guaranteed? 

Nếu vậy, bạn có thể cho tôi một tài liệu tham khảo (như "The C++ Programming Ngôn ngữ, trang xyz ")?

Cảm ơn!

Answer 1

Không có bảo đảm. Từ tiêu chuẩn C++ 03 (10/3, class.derived):

Thứ tự trong đó lớp con subobject được phân bổ trong đối tượng có nguồn gốc cao nhất (1.8) không được chỉ định.

Answer 2

Tôi không tưởng tượng được, tôi không biết tại sao nó cần phải như vậy.

Tôi có câu hỏi liên quan.

nếu bạn có thừa kế kim cương:

class Base(){ virtual void AFunc(){} }; 

class A:Base{}; 
class B:Base{void AFunc(){} } 

class Test:A,B{}; 


Base * b = (Base*)new Test; 

b->AFunc(); 

cho phép giả định rằng cấu trúc bộ nhớ là cơ sở: A: B: Kiểm tra,

lưu ý tại thời điểm gọi, tất cả các trình biên dịch biết là địa chỉ của sự bắt đầu của đối tượng và AFunc được mong đợi là tương đối so với đầu của đối tượng B, hai địa chỉ này sẽ không giống nhau! Vì vậy, làm thế nào nó hoạt động?

như thế nào nếu b là loại B, hai địa chỉ sẽ là như nhau ...

Answer 3

Mặc dù bố trí cho các lớp cơ sở là not guaranteed theo cách bạn dường như đã được suy nghĩ (và mặc dù có rất nhiều đảm bảo cho các thành viên), điều này được đảm bảo:

Bar bar; 
assert(&bar == (Foo*) (&bar)); 

Bởi vì các diễn viên sử dụng một static_cast (mỗi 5.4) mà sẽ chuyển đổi &bar một cách chính xác, và sự so sánh giữa con trỏ-to-base và con trỏ-to-có nguồn gốc sẽ chuyển đổi tương tự .

này, tuy nhiên, sẽ không được đảm bảo:

Bar bar; 
void* p1 = &bar; 
void* p2 = (Foo*)&bar; 
assert(p1 == p2); // not guaranteed