assert와 errno

#include <assert.h>
#include <errno.h>
#include <stdio.h>

// assert — 조건이 거짓이면 즉시 abort
assert(ptr != NULL);

// errno — 표준 라이브러리 함수 실패 후 오류 코드 확인
FILE *fp = fopen("no_file.txt", "r");
if (!fp) {
    perror("fopen");   // "fopen: No such file or directory"
}

#include <assert.h>

int divide(int a, int b) {
    assert(b != 0);   // 조건이 0이면: 파일명, 줄 번호와 함께 abort
    return a / b;
}

// NDEBUG 매크로가 정의되면 assert는 완전히 제거됨
// 릴리스 빌드: gcc -DNDEBUG file.c
// → assert는 런타임 비용 0

// 정적 어서션 (컴파일 타임 검사, C11)
_Static_assert(sizeof(int) == 4, "int는 4바이트여야 합니다");

#include <errno.h>
#include <string.h>   // strerror

// errno는 성공 시에도 변경될 수 있으므로
// 실패를 확인한 직후 errno를 읽어야 함
errno = 0;                              // 선택적으로 먼저 초기화
FILE *fp = fopen("missing.txt", "r");
if (!fp) {
    int saved = errno;                  // 즉시 저장
    fprintf(stderr, "오류 코드: %d\n", saved);
    fprintf(stderr, "오류 메시지: %s\n", strerror(saved));
}

// perror("prefix") → "prefix: errno 메시지\n"
FILE *fp = fopen("data.txt", "r");
if (!fp) {
    perror("파일 열기 실패");
    // 예: "파일 열기 실패: No such file or directory"
    return 1;
}

// strerror — 오류 코드를 문자열로 반환 (perror 대신 직접 포맷할 때)
fprintf(stderr, "[%d] %s\n", errno, strerror(errno));

#include <errno.h>

ENOENT    // 2  — 파일/디렉토리 없음
EACCES    // 13 — 권한 없음
EINVAL    // 22 — 잘못된 인수
ENOMEM    // 12 — 메모리 부족
EEXIST    // 17 — 이미 존재
ENOBUFS   // 이식성 없음, POSIX 한정