플레이그라운드

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

region Frame { capacity: 4096 }

struct Particle { float x; float v; };

// 리전은 타입의 일부: p는 아레나보다 오래 살 수 없습니다.
void step(&arena<Frame> Particle p, float dt) {
    p.x = p.x + p.v * dt;
}

int main() {
    &arena<Frame> Particle p = new<Frame> Particle;
    p.x = 0.0;
    p.v = 2.5;
    for (int i = 0; i < 3; i = i + 1) {
        step(p, 0.5);
        printf("t=%d x=%.2f\n", i, p.x);
    }
    arena_reset<Frame>();   // O(1): 객체별 해제도, GC도 없음
    return 0;
}

Ctrl/⌘ + Enter로 실행 · Tab은 들여쓰기 (Esc 후 Tab으로 포커스 이동) · 공유는 프로그램을 URL에 담습니다

플레이그라운드 소개

예제에서 SafeC 북의 실행 가능한 프로그램을 불러올 수 있습니다. 이 사이트의 다른 SafeC 프로그램 중 플레이그라운드가 빌드할 수 있는 것(컴파일러에 포함된 C·std 헤더만 include하는 프로그램, 아래 참고)에는 이곳에서 여는 플레이그라운드에서 실행 링크가 있습니다.
공유는 프로그램을 페이지 주소(#code=…, base64url)에 담고 링크를 복사합니다 — 어디에도 업로드되지 않습니다.
실행은 WebAssembly로 빌드한 셀프 호스팅 SafeC 컴파일러로, 백그라운드 워커에서 브라우저 안에서만 프로그램을 컴파일·실행합니다. 프로그램은 printf/stdout을 쓸 수 있지만 파일, 네트워크, 스레드는 없습니다. 컴파일러는 SafeC로 작성한 SafeC 컴파일러 scc(selfhost/)입니다. SUBSET.md에 설명된 언어 부분집합을 받아들이며, 소유권·스레드 안전성 검사는 실행하지 않습니다. 프로그램은 C 라이브러리 부분집합 stdio.h, stdlib.h, string.h, ctype.h, math.h, stdbool.h, stdint.h, stddef.h, limits.h, time.h, assert.h와 std 헤더 std/io.h, std/str.h, std/mem.h, std/fmt.h, std/math.h, std/convert.h, std/panic.h, std/result.h, std/cmp.h, std/traits.h, std/bit.h, std/atomic.h, std/sys.h, std/time.h(UTC만: 시간대가 없고 시계는 epoch를 읽습니다), std/collections/{slice,vec,string,map}.h 및 이들이 쓰는 작은 헤더를 include할 수 있습니다.
scc가 빼놓은 것: 인라인 asm과 비트필드는 거부됩니다. SIMD 벡터 타입, _Generic, thread_local, 원자 내장 함수, 호출 규약 키워드, naked, section, interrupt, malloc_defer는 구현되어 있지 않으며, 프로그램은 번역 단위 하나입니다. spawn은 스레드 함수를 곧바로 끝까지 실행하고(스레드가 없습니다), 포인터는 4바이트(wasm32)이므로 포인터를 담은 타입의 sizeof는 64비트 네이티브 빌드와 다릅니다.

scc가 건너뛰는 검사와 전체 std가 필요하면 로컬에서 실행하세요:

bash

safeguard new hello && cd hello
# 프로그램을 src/main.sc에 붙여 넣기
safeguard run

플레이그라운드 소개 #

플레이그라운드 소개