Skip to content

SafeC안전하고 결정론적인 시스템 프로그래밍

컴파일 타임 메모리 안전성, 숨겨진 비용 없음, 완전한 C ABI 호환성을 갖춘, 리전을 인식하는 C의 진화형.

Hello, SafeC

c
extern int printf(const char* fmt, ...);

region AudioPool { capacity: 65536 }

struct Sample {
    float left;
    float right;
};

int main() {
    // 아레나 할당 — 결정론적이며, malloc을 쓰지 않습니다
    &arena<AudioPool> Sample s = new<AudioPool> Sample;
    s.left = 0.5;
    s.right = -0.3;

    printf("L=%.2f R=%.2f\n", s.left, s.right);
    arena_reset<AudioPool>();
    return 0;
}

번역 안내

이 문서는 SafeC 공식 문서의 한국어 번역입니다. region(리전), trait(트레이트), monomorphization(단형화) 등 고유한 개념어는 확립된 한국어 기술 문서 관행을 따랐으며, vtable처럼 흔히 번역하지 않는 용어는 원어 그대로 두었습니다. 코드, 키워드, 식별자는 번역하지 않았습니다. 오역이나 어색한 표현을 발견하시면 GitHub로 알려주세요.

MIT 라이선스로 배포됩니다.