C standardı, yapılara ve ilk üyelerine işaretçiler hakkında ne söylüyor?

Question

düşünün aşağıdaki iki struct:

struct a 
{ 
    int a; 
}; 

struct b 
{ 
    struct a a_struct; 
    int b; 
}; 

struct b aşağıdaki instantiation:

struct b b_struct; 

ve bu durum:

if (&b_struct == (struct b*)&b_struct.a_struct) 
    printf("Yes\n"); 

bu C standart görev her zaman doğru değerlendirmek için mu?

Answer 1

Evet, yapısı nesne içinde 6.7.2.1," uygun olmayan bit alanı üyeleri için doğru olmalıdır ve bit alanlarının yer aldığı birimler, bildirildikleri sırayla bu artışa hitap ederler, uygun şekilde dönüştürülmüş bir yapı nesnesinin bir işaretçisi, ilk üyesine işaret eder (veya eğer bu üye bir bit alanıysa, o zaman) içinde bulunduğu birim) ve tam tersi, bir yapı nesnesi içinde adsız olmayan dolgu olabilir, ancak başında değil.

Answer 2

Evet.

ilk üyesi önünde herhangi dolgu olmamalıdır.

bir yapının adresi uygun döküm kullanılması kaydıyla, birinci elemanın adresi ile aynıdır.

resource

Answer 3

C Standardında bulmak, ama cevap "evet" ise Can not

- C++ Standart diyor ki:

bir POD-yapı nesnesine bir işaretçi, uygun dönüştürülmüş Bir reinterpret_cast kullanarak, başlangıç ​​üyesine işaret eder (veya bu üye bit alanı ise, o zaman 'un bulunduğu üniteye) ve tersi. [Not: bu yüzden uygun hizalama elde etmek için, bir kabuk-yapı nesnesi içinde gerekli ancak başlangıcında, isimsiz dolgu olabilir. C ve C++ POD nesneleri uyumlu olmalıdır zamanda]

, aynı C