C 언어에서 고정 배열의 길이는 전체 크기를 원소 하나의 크기로 나눠 얻는다.
실제 배열이 보이는 위치에서만 가능한 계산이다.

먼저 이해할 부분

sizeof samples는 배열 전체를 보고 sizeof samples[0]는 원소 자료형을 본다.
포인터에는 같은 공식을 적용할 수 없다.
sizeof 포인터는 가리키는 저장 공간이 아니라 주소 객체의 크기를 반환한다.

직접 실행할 코드

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

int main(void) {
    double samples[] = {1.5, 2.5, 3.5, 4.5};
    size_t n = sizeof samples / sizeof samples[0];
    double sum = 0;
    for (size_t i = 0; i < n; ++i)
        sum += samples[i];
    printf("count=%zu sum=%.1f\n", n, sum);
    return 0;
}

실행 결과

count=4 sum=12.0

원소를 추가하면 n도 자동으로 바뀐다.
원소 자료형이 바뀌어도 바이트 수를 직접 쓰지 않았으므로 계산식의 의미는 유지된다.
루프가 원소 수를 하드코딩하지 않는 것이 중요하다.

헷갈리기 쉬운 점

malloc으로 받은 포인터나 함수의 배열 매개변수에는 이 방법을 쓰지 않는다.
동적 배열은 길이를 별도로 보관하고 포인터와 함께 넘긴다.

빌드하기

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

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

참고: C11 위원회 초안