C 언어에서 자료형에는 바이트 크기뿐 아니라 정렬 요구가 있다.
객체 주소가 어떤 경계에 놓여야 하는지 나타낸다.

먼저 이해할 부분

C11의 _Alignof는 자료형이 요구하는 정렬 값을 얻는다.
sizeof는 저장 공간 크기이고 정렬은 시작 위치 조건이므로 서로 다르다.
일반 변수와 malloc은 필요한 정렬을 맞춰 주지만 임의 바이트 위치의 형변환은 그렇지 않다.

직접 실행할 코드

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

int main(void) {
    printf("int_alignment_valid=%d\n", _Alignof(int) > 0);
    printf("double_alignment_valid=%d\n", _Alignof(double) > 0);
    printf("size_multiple=%d\n",
           sizeof(double) % _Alignof(double) == 0);
    return 0;
}

실행 결과

int_alignment_valid=1
double_alignment_valid=1
size_multiple=1

구현마다 정렬 숫자가 달라질 수 있어 성질을 출력했다.
실제 숫자는 %zu로 _Alignof 결과를 출력하면 된다.
배열에서 다음 원소도 정렬을 만족하도록 크기와 배치가 결정된다.

헷갈리기 쉬운 점

char 버퍼의 아무 위치를 int *로 바꿔 읽는 것은 정렬과 별칭 규칙을 모두 어길 수 있다.
외부 바이트를 값으로 읽을 때는 memcpy 같은 방법과 엔디언 처리를 검토한다.

빌드하기

예제는 C11 기준이다.
example.c로 저장한 뒤 아래 명령으로 빌드한다.
-Wall과 -Wextra는 의심스러운 코드에 대한 경고를 켠다.
경고가 없어도 배열 범위와 자료형의 표현 범위까지 보장되는 것은 아니다.

gcc -std=c11 -Wall -Wextra -Wpedantic example.c -o example
./example

참고: C11 위원회 초안