리터럴과 한정자 #

이 페이지는 SafeC의 C 호환 기반의 일부인 리터럴 문법, 저장소 한정자, 그리고 변수 어트리뷰트를 다룹니다.

정수 리터럴 #

SafeC는 여러 정수 리터럴 형식을 지원합니다:

정수 접미사 #

접미사는 정수 리터럴의 타입을 결정합니다:

int a = 42;
unsigned int b = 42U;
long long c = 100000LL;
unsigned long long d = 0xFFFFFFFFFFFFFFFFULL;

부동소수점 리터럴 #

double a = 3.14;
double b = 1.5e-2;        // 0.015 (지수 표기법)
float d = 3.14f;           // float를 위한 f 접미사

뒤에 숫자가 없는 트레일링 점(0.)도 부동소수점으로 파싱됩니다 — 0.0과 동일합니다 — 단, 바로 뒤에 또 다른 .이 와서 ../... 범위/스프레드 토큰을 시작하지 않는 경우에 한합니다.

문자 리터럴 #

문자 리터럴은 작은따옴표로 감쌉니다:

char a = 'A';
char newline = '\n';
char tab = '\t';
char null = '\0';          // 널 바이트

이스케이프 시퀀스 #

\xNN은 문자열 리터럴에서도 동일하게 동작합니다: "A\x42\x43"은 "ABC"입니다.

문자열 리터럴 #

문자열 리터럴은 큰따옴표로 감싸며, 암묵적으로 &static char 참조입니다 (널로 종료됨):

const &char msg = "hello, world";

문자열 리터럴은 extern C 함수에 직접 전달할 수 있습니다. &static은 unsafe 없이 char*로 강제 변환되기 때문입니다.

불리언 리터럴 #

bool a = true;
bool b = false;

Null 리터럴 #

?&stack Node next = null;   // null -- 널 가능 참조와 ?T 옵셔널 모두의 빈 케이스
?int val = null;             // 동일한 'null', 별도의 'none' 리터럴이 아님

저장소 한정자 #

const #

불변 바인딩을 선언합니다. 값은 초기화 이후 수정될 수 없습니다.

const int MAX_SIZE = 1024;
const double PI = 3.14159265358979;

함수 매개변수에 붙은 const는 인자의 수정을 방지합니다:

int length(const &char str) {
    // str의 내용은 수정될 수 없음
}

static #

지역 변수의 경우, static은 변수에 정적 저장소 지속 기간(static storage duration)을 부여합니다 — 함수 호출 사이에 값이 유지되며 단 한 번만 초기화됩니다:

int call_count() {
    static int count = 0;
    count++;
    return count;
}
// 첫 호출은 1을 반환하고, 두 번째 호출은 2를 반환하는 식으로 계속됨

전역 변수의 경우, static은 가시성을 현재 번역 단위로 제한합니다 (내부 링키지):

static int module_state = 0;   // 이 파일 밖에서는 보이지 않음

extern #

다른 번역 단위에 정의된 변수나 함수를 선언합니다:

extern int global_counter;     // 다른 곳에 정의됨
extern void c_function();      // C 함수 선언

volatile #

컴파일러가 읽기나 쓰기를 최적화로 없애버리는 것을 방지합니다. 메모리 매핑된 I/O와 하드웨어 레지스터에 사용됩니다:

volatile int *status_reg = (volatile int *)0x40001000;
int val = *status_reg;         // 메모리로부터의 읽기가 보장됨
*status_reg = 1;               // 메모리로의 쓰기가 보장됨

volatile은 구조체 필드, volatile &T 참조, 기본 타입 뒤(int volatile*)에도 쓸 수 있습니다. int* volatile p는 포인터 변수 자체를 volatile로 만듭니다. volatile인 x의 &x도 한정자를 유지하며, 암묵적으로 한정자를 없애는 변환은 오류입니다. 전체 규칙과 volatile 접근 패턴은 베어메탈을 참고.

thread_local #

스레드 로컬 저장소 지속 기간을 가진 변수를 선언합니다. 각 스레드는 자신만의 사본을 갖습니다:

thread_local int error_code = 0;

C/GCC 호환을 위해 _Thread_local과 __thread 별칭도 허용됩니다:

_Thread_local int tls_var = 0;     // C11 스타일
__thread int gcc_tls_var = 0;      // GCC 확장 스타일

스레드 로컬 변수는 각 스레드가 시작될 때 초기화되며 스레드마다 독립적입니다.

atomic #

락 없는 동시 접근을 위한 원자적 변수를 선언합니다:

atomic int counter = 0;

원자적 연산에 대해서는 동시성을 참고.

변수 어트리뷰트 #

align(N) #

변수나 구조체 필드의 정렬 요구사항을 지정합니다. N은 2의 거듭제곱이어야 합니다.

align(16) float vec[4];           // 16바이트 정렬 (SIMD에 적합)
align(64) char cache_line[64];    // 캐시 라인 정렬

이는 LLVM의 정렬 어트리뷰트로 매핑되며, 성능이 중요한 코드, SIMD 연산, 하드웨어 요구사항에 유용합니다.

section("name") #

변수나 함수를 특정 링커 섹션에 배치합니다:

section(".isr_vector") fn void() vectors[2] = { reset_handler, nmi_handler };
section(".rodata") const int lookup[256] = { /* ... */ };

링커 섹션 사용법에 대해서는 베어메탈을 참고.

호출 규약 #

SafeC는 시스템 API 및 외부 코드와의 상호운용을 위한 플랫폼별 호출 규약 어노테이션을 지원합니다:

__stdcall int WinApiCallback(int msg, int wparam, int lparam) {
    // stdcall 규약을 사용하는 Windows API 콜백
    return 0;
}

__cdecl void normal_func() {
    // 명시적인 C 호출 규약
}

호출 규약은 주로 x86 Windows 상호운용에서 관련이 있습니다. 다른 플랫폼과 아키텍처에서는 대개 기본 호출 규약으로 충분합니다.

타입 한정자 요약 #