السلوك غير المعرّف والمحاذاة وقواعد الوصول

#include <stddef.h>
#include <stdio.h>

int main(void)
{
    _Alignas(max_align_t) unsigned char storage[32];
    storage[0] = 1;
    if (_Alignof(max_align_t) < _Alignof(int)) return 1;
    puts(storage[0] == 1 ? "alignment contract checked" : "unexpected");
    return 0;
}

alignment contract checked

للكائن المحاذاة المدعومة المطلوبة؛ ولا يحوله البرنامج إلى نوع كائن غير مرتبط.

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

int main(void)
{
    int source = 123;
    int restored = 0;
    unsigned char representation[sizeof source];
    memcpy(representation, &source, sizeof source);
    memcpy(&restored, representation, sizeof restored);
    printf("restored=%d\n", restored);
    return 0;
}

restored=123

جاءت البايتات من int صالح وأُعيدت إلى int آخر في التنفيذ نفسه.