[Zig] comptime

#Zig

Zig는 comptime 키워드를 통해 꽤 강력한 컴파일 타임 확장 기능을 제공한다.
이를 통해 제너릭이나 매크로와 유사한 결과를 얻을 수 있다.

제너릭 구현

Zig는 comptime을 기반으로 제너릭 타입 기능을 구현할 수 있다.
예를 들면, 이런 식이다. 타입 매개변수를 comptime과 함께 전달받고, 그 타입 매개변수를 사용한다.

저러면 컴파일타임에 T가 i32로 치환되게 된다.
좀 원시적인 편이다.

만약 내부 구현에 맞지 않는 타입이 들어온다면

치환된 코드로 컴파일을 하기 때문에 오류가 난다.

이런걸 보면, C++의 원시적인 템플릿과 동작방식이 거의 같다. 그 말은 제너릭 함수의 코드가 좀만 복잡해져도 에러가 거지같이 나올 것이란 말이다. 명시적인 타입에 대한 require 지정이 없다. 왜지?

근데 항상 타입을 파라미터로 넘겨야 하기 때문에 타입 추론도 안된다. C++의 제너릭시스템보다 나을게 없다.

위의 제너릭과 비슷한 느낌으로, 컴파일타임 처리가 보장되는 변수를 함수에 넘기거나 처리할 수 있다.
예를 들면, 이런 느낌이다.

max는 comptime으로 2개의 파라미터를 받는다.
이 코드에서는 10과 20이라는 컴파일타임 처리가 보장된 값이 들어왔으므로, 컴파일러는 이 함수의 처리 자체를 컴파일 타임에 완료하거나, 그에 가깝게 최적화할 수 있다.

다만 여기서 컴파일타임 보장이 되지 않는 값이 들어오면 에러가 난다.

컴파일타임 변수로 값을 넘기고 싶다면 계속해서 comptime 변수를 사용해 컴파일타임 컨텍스트를 유지하고 있음을 명시해줘야 한다.

그것만 유지한다면 최대한 컴파일타임으로 끌고갈 수 있다.

comptime은 변수나 타입뿐만이 아니라 함수 호출에도 사용할 수 있다.

함수 호출 앞에 붙이고, 함수에 넘긴 파라미터가 전부 comptime임이 보장된다면, 이 함수의 호출 자체는 컴파일타임에 계산되어 반환된다.

이것만은 꽤 강력한 기능이다. C++의 constexpr나 Rust의 const fn과 크게 다르지는 않지만.