표준 라이브러리 개요 #

SafeC 표준 라이브러리(std/)는 핵심 유틸리티, 컬렉션, 얼로케이터, 스레드와 비동기, 네트워킹, TLS와 HTTP, GUI, 오디오, DSP, 머신러닝, 파일시스템, 인코딩과 직렬화, 암호, 디버깅, 베어메탈 지원을 아우릅니다. 각 모듈은 .h 헤더와, 제네릭이 아닌 부분을 위한 .sc 구현으로 구성되며, 제네릭 컨테이너는 헤더 전용입니다. #include는 항상 .h 파일만 지정합니다 — safeguard는 프로그램이 쓰는 모듈의 .sc 구현을 링크합니다(미리 빌드된 std에서 가져오거나 build/deps/libsafec_std.a로 컴파일합니다. 표준 라이브러리 포함하기 참고). 모든 공개 선언과 그 문서 주석은 API 레퍼런스에 있습니다. prelude.h를 include하면 대부분의 모듈을 한 번에 가져올 수 있습니다. GUI, 오디오/MIDI, 인코딩, HTTP/RPC/wasm, async, 실시간 스케줄러, ML, SIMD는 각자의 헤더로 include합니다.

#include <std/prelude.h>

int main() {
    println("Hello from SafeC stdlib!");
    return 0;
}

모듈 분류 #

코어 #

직렬화 #

컬렉션 #

얼로케이터 #

동기화 #

IPC #

비동기 #

실시간 스케줄러 #

네트워킹 #

TLS #

HTTP & 웹 #

머신러닝 — ML 참고 #

GUI #

오디오 & MIDI #

파일시스템 #

DSP & 실시간 #

보안 & 암호학 #

디버깅 & 프로파일링 #

SIMD #

하드웨어 추상화 레이어 #

인터럽트 & MMIO #

커널 프리미티브 #

테스트 & 벤치마킹 #

인코딩 #

유틸리티 #

C 호환 헤더 #

제네릭 패턴 #

컨테이너와 그 밖의 값을 담는 API는 요소 타입마다 단형화되는 제네릭 구조체와 함수입니다. 이들은 ?&T 참조를 내주고(match, .default(x), std::expect_ref로 좁힙니다), 값이 없을 수 있으면 ?T를 반환하며, 타입이 지정된 fn 콜백을 받습니다 — 표준 라이브러리에는 void* 요소나 콜백 매개변수가 없습니다. T는 변수에 한 번만 쓰고, 생성자는 그 대상 타입에서 이를 추론합니다:

#include <std/collections/vec.h>

int main() {
    struct Vec<int> v = std::Vec::new();
    v.push(42);
    v.push(100);
    match (v.get(0UL)) {
        case some(x): *x = *x + 1;      // 43, written in place
        case null:    { }
    }
    int last = v.pop().default(-1);     // 100
    v.free();
    return last == 100 ? 0 : 1;
}

컨테이너가 서로 다른 컨텍스트 타입의 콜백을 동시에 담아야 하는 경우(타이머 휠, 위젯 트리, 여러 드라이버를 마운트하는 VFS), 슬롯은 그 쌍을 타입 소거된 형태로 저장하지만, 그것을 채우는 유일한 방법은 짝이 맞는 fn(?&T)와 ?&T를 받는 제네릭 메서드 — TimerWheel::add, Widget::on_click, Vfs::mount, TaskScheduler::spawn — 이므로 모든 호출은 여전히 컴파일 타임에 검사됩니다. 소거된 슬롯은 void*가 아니라 ?&Erased(std/erased.h)입니다. std는 C ABI 경계에서도 void*를 쓰지 않습니다: 타입 없는 메모리는 바이트(unsigned char*)이고, libc/OS/C 라이브러리 객체(FILE, pthread 객체, SSL, CoreFoundation 참조, Win32 핸들 등)는 불투명 구조체이며, 콜백은 fn 타입입니다. 공개 선언에 원시 포인터가 나타나거나 std 어디에든 void*가 나타나면 tests/std_modules/api_lint.py(스모크 테스트가 실행)가 빌드를 실패시킵니다.

버퍼는 슬라이스입니다. C API라면 포인터와 길이를 받거나 포인터로 배열을 돌려줄 자리에서 std는 내장 슬라이스를 받습니다: 원소를 쓸 때는 []T, 읽기만 할 때는 []const T — f.read(buf[..]), sha256(data, digest[..]), fft(xs[0..n]), String::from_bytes(str_bytes("text")). 슬라이스는 길이를 함께 가지고, 인덱싱은 경계 검사되며, 크기가 정해진 출력(키, 다이제스트)은 진입 시 검사됩니다. 슬라이스를 보세요.

표준 라이브러리 포함하기 #

개별 모듈:

#include <std/mem.h>
#include <std/io.h>
#include <std/collections/vec.h>

대부분의 모듈을 한 번에:

#include <std/prelude.h>

safeguard 패키지 매니저로 빌드할 때는 프로그램이 포함하는 std 모듈(그리고 new, 채널처럼 코드가 include 없이 호출하는 모듈)이 build/deps/libsafec_std.a로 컴파일되어, 그 모듈에 필요한 시스템 라이브러리와 함께 링크됩니다. 릴리스 설치본에서는 미리 빌드된 std 아카이브에서 가져옵니다(표준 라이브러리 모듈 참고).

수동으로 빌드할 때는 SafeC 체크아웃을 include 경로에 두고(헤더 이름은 <std/...>), std 전체의 아카이브([build] std = "all"인 프로젝트를 safeguard build하면 만들어지며, 모든 std/**/*.sc로 직접 빌드해도 됩니다)를 사용하는 모듈의 시스템 라이브러리(safeguard std-modules std/x.h가 나열합니다)와 함께 링크합니다:

safec myfile.sc -I /path/to/SafeC -o myfile.ll
clang myfile.ll /path/to/libsafec_std.a -lm -lpthread -o myfile