Czy kopiowane są bajty dopełnienia typu POD?

Question

Załóżmy, że mam typ POD tak:

struct A { 
    char a; 
    int b; 
}; 

W moim systemie, sizeof(A) == 8, choć sizeof(char) == 1 i sizeof(b) == 4. Oznacza to, że struktura danych ma 3 nieużywane bajty.

Załóżmy teraz robimy

A x = ...; 
A y =x; 

Pytanie:

To jest zagwarantowane, że wszystkie 8 bajtów x i y będą identyczne, nawet te 3 nieużywane?

Równoważnie, jeśli przeniosę podstawowe bajty niektórych obiektów o numerach do innego programu, który nie rozumie ich znaczenia lub struktury, i traktuje je jako tablicę o długości 8 bajtów, czy ten inny program może bezpiecznie porównać dwie wartości równe A?

Uwaga: In an experiment with gcc 7, wydaje się, że te bajty zostaną skopiowane. Chciałbym wiedzieć, czy jest to zagwarantowane.

Answer 1

niejawnie zdefiniowane konstruktor kopii/przejście przez nie związków klasy X wykonuje kopie memberwise/przenoszenie jego zasad i członków.

12,8/15 [class.copy] w N4141

wzór bitowy w bajtach wypełniających ten sposób mogą się różnić.

Answer 2

To nie jest miarodajne, ale wejście cppreference „s dla std::memcmp sugeruje, że bajty wypełniające mogą się różnić:

memcmp() między dwoma obiektami typu struct{char c; int n;} porówna bajty wypełniające, których wartości mogą się różnić, gdy wartości c i n są takie same

Answer 3

odpowiadając na drugie pytanie:

Równoważnie, jeśli przeniosę leżące poniżej bajty niektórych obiektów A do innego programu, który nie rozumie ich znaczenia lub struktury, i traktuje je jako tablicę o długości 8 bajtów, czy ten inny program może bezpiecznie porównać dwa? Jeśli chodzi o równość?

jako obiekt typu może zawierać bajty wypełniające, inny program na ogół nie można porównać dwa takie obiekty dla równości:

wiedząc który bity bajtów, które czynią z przedmiotem semantycznie jest kluczem do definiowania swojej wartości reprezentacji wartości:. Jednak w tym scenariuszu program docelowy zna tylko obiektową reprezentację obiektu, tj. Sekwencję bajtów reprezentujących taki obiekt w pamięci, w tym bajty dopełnienia.Funkcja taka jak memcmp może porównywać tylko takie obiekty, których reprezentacja wartości jest identyczna z reprezentacją obiektu w znaczący sposób. Jeśli użyjesz go do porównywania wartości obiektów, nawet jeśli mają dopełnienie, może nie dać odpowiednich wyników, ponieważ nie może stwierdzić, które bity w reprezentacji obiektu są nieistotne dla reprezentacji wartości dwóch obiektów, aby były równe.

Zobacz http://en.cppreference.com/w/cpp/language/object

Answer 4

skoro pytasz o rodzaju POD (stąd w tym związków zawodowych), warto wspomnieć, że zgodnie z [class.copy]

niejawnie zdefiniowane copy/konstruktora posunięcie dla związku X kopiuje reprezentacji przedmiotem (6,9), z X

że trywialny copyable Ty pes powinien również zawierać bity dopełniające. Tak, to może być tylko kwestia zastępowania z

union A{ struct { 
    char a; 
    int b; 
}; }; 

(faktycznie, powyższe wykorzystuje niestandardowe anonimowy struct, ale o co chodzi ...)