[c] C언어 메타프로그래밍을 통한 동적 타입 정보 처리 및 코드 생성 기술

18 Dec 2023

c언어

C언어는 정적 타입을 가진 언어로 컴파일 시점에 변수의 타입을 결정합니다. 그러나 때로는 동적으로 변수의 타입을 처리하고 싶을 때가 있습니다. C언어 메타프로그래밍을 통해 이를 구현하고, 런타임에 코드를 생성할 수 있습니다. 이를 통해 유연하고 동적인 프로그래밍이 가능해집니다.

1. 동적 타입 정보 처리

동적으로 타입을 처리하기 위해서는 먼저 타입 정보를 저장할 수 있어야 합니다. C언어에서는 union을 이용하여 다양한 타입을 저장할 수 있습니다.

#include <stdio.h>

typedef enum {
    INT,
    FLOAT,
    STRING
} Type;

typedef union {
    int i;
    float f;
    char* s;
} Value;

typedef struct {
    Type type;
    Value value;
} Variant;

int main() {
    Variant v;
    v.type = INT;
    v.value.i = 10;

    // 타입 정보에 따라 다르게 처리
    switch (v.type) {
        case INT:
            printf("Integer: %d\n", v.value.i);
            break;
        case FLOAT:
            printf("Float: %f\n", v.value.f);
            break;
        case STRING:
            printf("String: %s\n", v.value.s);
            break;
    }

    return 0;
}

2. 코드 생성 기술

C언어 메타프로그래밍을 통해 런타임에 코드를 생성할 수 있습니다. 예를 들어, 특정 조건에 따라 함수를 생성하는 경우를 살펴보겠습니다.

#include <stdio.h>

#define CREATE_FUNCTION(name, type) \
    void name(type value) { \
        printf("%s: %d\n", #name, value); \
    }

CREATE_FUNCTION(print_int, int)
CREATE_FUNCTION(print_float, float)

int main() {
    print_int(10);
    print_float(3.14f);

    return 0;
}

위의 예제에서는 CREATE_FUNCTION 매크로를 통해 런타임에 print_int, print_float 함수를 생성하여 호출할 수 있습니다.

C언어의 메타프로그래밍을 이용하면 동적 타입 정보 처리와 코드 생성을 할 수 있으며, 이를 통해 유연하고 다양한 상황에 대처하는 프로그램을 작성할 수 있습니다.

참고 자료

C언어 공식 문서
Cook, D. (2004). C언어 메타프로그래밍. 제이펍.