Сравнение данных заполнения в памяти происходит при использовании memcmp функция для сравнения двух структур в целом. В процессе сравниваются бессмысленные данные, хранящиеся в заполнении структуры.

Например:

typedef struct structType {
    char member1;
    int member2;
    //...
}myStruct;

myStruct var1;
myStruct var2;
//...
if(memcmp(&var1,&var2,sizeof(var1))) 
{//...}

Если элементы структуры имеют различные типы данных, компилятор вводит дополнительное заполнение для выравнивания данных в памяти. Пример заполнения см. в разделе Higher Estimate of Local Variable Size.

Содержимое этих дополнительных байтов заполнения не имеет смысла. Стандарт C допускает неопределенное содержание этих байтов, давая различным компиляторам свободу для реализации собственного заполнения. При выполнении побайтового сравнения структур с memcmp, вы сравниваете даже бессмысленные данные, хранящиеся в заполнении. Можно сделать ложный вывод о том, что две структуры данных не равны, даже если их соответствующие элементы имеют одинаковое значение.

Вместо сравнения двух структур за одну попытку сравните элементы структур по элементам.

Для эффективного кода запишите функцию, которая выполняет элемент сравнения по элементу. Эта функция используется для сравнения двух структур.

Вы можете использовать memcmp для побайтового сравнения структур, только если известно, что структуры не содержат заполнения. Как правило, для предотвращения заполнения используются определенные атрибуты или прагматики, такие как #pragma pack. Однако эти атрибуты или прагматики поддерживаются не всеми компиляторами и делают реализацию кода зависимой. Если структуры содержат битовые поля, использование этих атрибутов или прагматик не может предотвратить заполнение.

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define fatal_error() abort()

typedef struct s_padding
{
    char c;            
    int i;
    unsigned int bf1:1;    
    unsigned int bf2:2;
    unsigned char buffer[20];
} S_Padding ;

/* Function that guarantees safe access to the input memory */
extern int trusted_memory_zone(void *ptr, size_t sz); 

int func(const S_Padding *left, const S_Padding *right)
{

    if (!trusted_memory_zone((void *)left, sizeof(S_Padding)) ||
        !trusted_memory_zone((void *)right, sizeof(S_Padding))) {
        fatal_error();
    }

    if (0 == memcmp(left, right, sizeof(S_Padding))) 
    {
        return 1;
    }
    else
        return 0;
}

В этом примере: memcmp сравнивает по байтам две структуры, которые left и right указывает на. Даже если значения, сохраненные в элементах структуры, одинаковы, сравнение может показать неравенство, если бессмысленные значения в заполняющих байтах не совпадают.

Одной из возможных корректировок является сравнение отдельных элементов структуры.

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define fatal_error() abort()

typedef struct s_padding
{
    char c;         
    int i;
    unsigned int bf1:1;    
    unsigned int bf2:2;
    unsigned char buffer[20];
} S_Padding ;

/* Function that guarantees safe access to the input memory */
extern int trusted_memory_zone(void *ptr, size_t sz); 

int func(const S_Padding *left, const S_Padding *right)
{
    if (!trusted_memory_zone((void *)left, sizeof(S_Padding)) ||
        !trusted_memory_zone((void *)right, sizeof(S_Padding))) {
        fatal_error();
    }

    return ((left->c == right->c) &&                
            (left->i == right->i) &&
            (left->bf1 == right->bf1) &&
            (left->bf2 == right->bf2) &&
            (memcmp(left->buffer, right->buffer, 20) == 0)); 
}