Question

以下基于预处理器的标识符到字符串的查找表：

#include <iostream>

// included generated file
#define KEY_a valueA
#define KEY_b valueB
///////

#define LOOKUP_(_key_) KEY_ ## _key_
#define QUOTE_(_str_) #_str_
#define EXPAND_AND_QUOTE_(_str_) QUOTE_(_str_)

#define LOOKUP(_key_) EXPAND_AND_QUOTE_(LOOKUP_(_key_))

int main() {
    std::cout << LOOKUP(a) << std::endl;
    std::cout << LOOKUP(b) << std::endl;
    std::cout << LOOKUP(c) << std::endl;
}

输出：

valueA
valueB
KEY_c

第一个#define来自编译之前由外部脚本生成的#included标头。

LOOKUP宏可以正确处理表中的现有键，并将给定的值替换为字符串文字。

但是对于不存在的键，它将键替换为字符串文字。

是否有一种方法可以使它在给定的常量中替换不存在的键，而又不会导致编译时错误，并且全部在预处理阶段进行？

例如，LOOKUP(c)和LOOKUP(whatever)应该全部替换为"undefined"，而在包含的生成文件中不出现c或whatever。 / p>

键的名称不应输出到已编译的二进制文件中，因此理想情况下，编译器永远不应看到它们。

Answer 1

这是一个简单的解决方案。通过使KEY_x的定义成为两个元素的列表（其中第一个元素将被忽略），它允许添加默认值：

#include <iostream>

// included generated file
#define KEY_a _,valueA
#define KEY_b _,valueB
///////

#define LOOKUP_(key) KEY_ ## key
#define QUOTE_(_,str,...) #str
#define EXPAND_AND_QUOTE_(...) QUOTE_(__VA_ARGS__)

#define LOOKUP(key) EXPAND_AND_QUOTE_(LOOKUP_(key),undefined)

int main() {
    std::cout << LOOKUP(a) << std::endl;
    std::cout << LOOKUP(b) << std::endl;
    std::cout << LOOKUP(c) << std::endl;
}

在coliru上测试

根据是否定义了另一个宏来评估宏

1 个答案: