C预处理器为多种类型赋值

Question

所以我正在编写一个 Lexer，但我的宏在生成令牌时遇到了问题（令牌是一个具有值类型（枚举）和值（联合）的结构。

#define MAKE_TOKEN(token, tokenType, valueType, tokValue) \
    token.type=tokenType; \
    token.value.type=valueType; \
    switch(valueType){ \
        case VAL_NIL: break; \
        case VAL_BOOL: token.value.as.boolean=(bool)tokValue; break; \
        case VAL_NUMBER: token.value.as.number=(double)tokValue; break; \
        case VAL_STRING: token.value.as.string=(char*)tokValue; break; \
    }

例如，如果 tokValue 为 5（因为 5 可以转换为 bool、double 和 char*），则此方法有效，但是，由于编译器无法将字符串转换为 double，因此无法编译。这意味着当值类型为 VAL_STRING 时无法使用此宏，我该如何解决？

Answer 1

你不能让它像宏一样工作，因为 C 预处理器中的宏只执行字符串插值，所以麻烦的行会：

    case VAL_NUMBER: token.value.as.number=(double)"some_string"; break;

只需使用一个函数。这个片段没有明显的理由成为宏。

void MAKE_TOKEN(struct token *token, enum token_type tokenType, enum value_type valueType, void *tokValue) {
    token->type = tokenType;
    token->value.type = valueType; 
    switch(valueType){
    case VAL_NIL:
        break;
    case VAL_BOOL:
        token->value.as.boolean = *(bool*)tokValue;
        break;
    case VAL_NUMBER:
        token->value.as.number = *(double*)tokValue;
        break;

    case VAL_STRING:
        token->value.as.string = *(char**)tokValue;
        break;
    }
}