Mam problemy ze zrozumieniem dokładnego znaczenia paragrafu projektu normy C99 (N1256) dotyczącego pól bitowych (6.7.2.1:10):

6.7.2.1 Struktura i specyfikatory związków

[...]

Semantyka

[...]

Implementacja może przydzielić dowolną adresowalną jednostkę pamięci wystarczająco dużą, aby pomieścić pole bitowe. Jeśli pozostanie wystarczająca ilość miejsca, pole bitowe, które następuje bezpośrednio po innym polu bitowym w strukturze, zostanie zapakowane w sąsiednie bity tej samej jednostki. Jeśli nie ma wystarczającej ilości miejsca, to czy pole bitowe, które nie pasuje, jest umieszczane w następnej jednostce lub nakłada się na sąsiednie jednostki, jest definiowane przez implementację.Kolejność przydzielania pól bitowych w obrębie jednostki (wysoki do niskiego lub niskiego do wysokiego) jest definiowana przez implementację. Wyrównanie adresowalnej jednostki pamięci jest nieokreślone.

Podkreślone zdanie rozciąga moje angielskie umiejętności na granicę: nie rozumiem, czy odnosi się to do poszczególnych pól bitowych wewnątrz jednostki, czy do bitów porządkujących wewnątrz poszczególnych pól bitowych lub czegoś innego.

Spróbuję wyjaśnić moje wątpliwości na przykładzie. Załóżmy, że niepodpisane int są 16 bitami, że implementacja wybiera int unsigned int jako adresowalną jednostkę pamięci (i że bajty mają 8 bitów szerokości) i nie powstają inne problemy wyrównania lub dopełnienia:

struct Foo {
    unsigned int x : 8;
    unsigned int y : 8;
};

więc zakładającx iy pola są przechowywane w tej samej jednostce, co jest definiowane zgodnie z tym zdaniem? Jak rozumiem, oznacza to, że wewnątrz tej niepodpisanej jednostki int,x mogą być przechowywane pod niższym adresem niży lub odwrotnie, ale nie jestem pewien, ponieważ intuicyjnie sądziłbym, że jeśli żadne pola bitowe nie pokrywają się z dwiema podstawowymi jednostkami pamięci, kolejność deklaracji nałożyłaby taką samą kolejność dla bazowych pól bitowych.

Uwaga: Obawiam się, że brakuje mi tutaj subtelności terminologicznej (lub, co gorsza, jakiejś technicznej), ale nie mogłem zrozumieć, co.

Doceniony dowolny wskaźnik. Dzięki!