将定义的（X）返回为真或假的宏

Question

我想要一个宏序列来替换下面的代码

#ifdef FOO
    return true;
#else
    return false;
#endif

类似的东西

return MAGICLY_EXPANDING_IFDEFINED_MACRO(FOO);

你可以猜到，有很多 FOO，足以将 4 行缩减为 1 行就很酷了。但实际上它会用一行替换一个怪物 switch 语句。

Answer 1

在 C++ 中，defined 的行为仅用于条件包含（#if 和 #elif）。所以你不能以任何其他方式使用它。

（相关规则见标准第16.1节）

但是，如果你想检测专门针对空字符串的#define 的宏，则不需要defined()，你可以这样做：

#include <iostream>

/* this matches */
#define FOO

/* this will not */
#undef BAZ

/* nor will these */
#define BAR 0
//#define BAR 1

#define STRINGIZE(x) (#x)
#define EXPAND_IF_DEFINED(y) (!*STRINGIZE(y))

int main()
{
    std::cout << +EXPAND_IF_DEFINED(FOO) << '\n'
              << +EXPAND_IF_DEFINED(BAR) << '\n'
              << +EXPAND_IF_DEFINED(BAZ) << '\n';
}

警告，-D 选项不会是空字符串。要处理这种情况，您可以使用类似

#define IS_MACRO_DEFINED_OR_ONE(y) (!*STRINGIZE(y) || '1'==*STRINGIZE(y))

一个更强大的测试将是

#define IS_MACRO_DEFINED_NOT_TO_ITSELF(y) strcmp(#y, STRINGIZE(y))

由于文字是编译时常量，编译器可能会将编译期间的 strcmp 调用优化为常量 true 或 false。你也可以制作一个constexpr 版本的strcmp 来使用。

Answer 2

对于像#define FOO 或#define FOO 1 这样的简单定义，下面的宏可以很好地工作，但@BenVoigt 的答案中提供了更通用的解决方案。

#define MAGICLY_EXPANDING_IFDEFINED_MACRO_I(X) (#X[0] == 0 || #X[0] == '1')
#define MAGICLY_EXPANDING_IFDEFINED_MACRO(X) MAGICLY_EXPANDING_IFDEFINED_MACRO_I(X)

DEMO

---

问答部分

它是如何工作的？

那个奇怪的#-something 将define 的值或define 名称本身（如果未定义）字符串化。因此，对于已定义的 FOO（内容为空），编译器最终会出现以下条件：

(""[0] == 0 || ""[0] == '1')

而对于未定义的FOO，条件是：

("FOO"[0] == 0 || "FOO"[0] == '1')

== 0 部分匹配以每个 原始字符串文字 结尾的 \0 字符（即使是空的 ""），而 == '1' 条件存在以防有人定义值 @ 987654334@，比如#define FOO 1

Answer 3

宏通常是一条糟糕的路线。你想达到什么目的？这样的事情会起作用：

//Stash this away in a header file
#ifndef FOO
#define RETURN false
#else
#define RETURN true
#endif

return RETURN;