这个宏语句合法吗 C++或者其他什么？如果它是合法的，它是如何运作的

Question

WebKit 有很多这样的预处理器行： #if MACRO1(MACRO2)

例如：

#if PLATFORM(MAC) || (PLATFORM(QT) && USE(QTKIT))
#include "MediaPlayerPrivateQTKit.h"
#if USE(AVFOUNDATION)
#include "MediaPlayerPrivateAVFoundationObjC.h"
#endif
...

所以我的第一个想法是它们是类似函数的宏，但我看不出它是如何工作的，而且我找不到任何 #defines这些宏位于源代码中的任何位置。

我问另一位工程师这是什么，他以前从未见过在 #if 中像这样使用多个宏。 我发现这个 wiki 页面 讨论了它们，但仍然不清楚我他们来自哪里，

所以我的问题是：这是有效的 C++ 还是它在代码中被其他工具/语言（如 CMake 或其他东西）替换，如果它是有效的 C++，是否有任何人都知道的规范关于这个？

我是 C++ 静态分析工具的支持工程师，该工具不处理此语法。一位客户要求我们处理这个问题，但如果我要把这个问题交给高级工程师，我不想听起来像个白痴:)所以如果有人知道的话，我希望了解具体情况。

Answer 1

正如维基中提到的，在 root/trunk/Source/JavaScriptCore/ wtf/Platform.h 我们得到了每个定义的定义。例如，PLATFORM 宏定义为：

#define PLATFORM(WTF_FEATURE) \
       (defined WTF_PLATFORM_##WTF_FEATURE \
        && WTF_PLATFORM_##WTF_FEATURE)

WTF_FEATURE 的值将替换为平台名称，以创建名为 WTF_PLATFORM_WTF_FEATRE 的宏。例如，将 WTF_FEATURE 作为 MAC 传递到宏中，最终会得到 WTF_PLATFORM_MAC 的扩展。预处理器define指令与逻辑AND相结合基本上是询问该宏值是否已定义，如果已定义，则其值是否为“true”值。您可以在预处理器的其他地方使用此宏，例如：

#ifdef __APPLE__
#define WTF_PLATFORM_MAC 1
#end if

#define PLATFORM(WTF_FEATURE) \
       (defined WTF_PLATFORM_##WTF_FEATURE \
        && WTF_PLATFORM_##WTF_FEATURE)

#if PLATFORM(MAC)
//...some code
#end if

您不会在 C++ 代码本身中使用它，因为

if (PLATFORM(MAC))
{
    //...some code
}

这会导致编译器出现一堆错误，因为 define 不是 C++ 关键字， C++ 代码中宏的求值和替换最终会将定义的预处理器指令转储到直接调用该宏的任何 C++ 代码中。那不是有效的 C++。

感谢约翰内斯指出其中一些问题。

Answer 2

#if 指令的大致工作原理是替换所有宏，然后替换 0 剩下的所有标识符和关键字，然后根据规则处理剩下的常量表达式C++ 语言的规则（这些规则的子集适用于替换后剩下的内容 - 很少:)）。

因此，如果 MAC 定义为 1，PLATFORM(MAC) 可能会产生 1，并且 MAC 如果未定义，如果 PLATFORM 简单地定义为

#define PLATFORM(X) X

生成的 MAC 是一个标识符，稍后将被替换为 0。他们更有可能将 X 连接到 PLATFORM 之类的东西，以便支持以 MAC 作为参数的多个查询，测试是否存在不同的宏。作为“C++ 静态分析”工具的开发人员，您可能有权访问 C++ 规范。看一下 16.1 条款。

Answer 3

这些定义可能来自构建脚本。大多数 C++ 编译器允许您在命令行上定义宏。

我可以看到像您的示例中那样定义 USE 宏的一​​种方法是：

#define USE_QTKIT 1
#define USE(x) USE_ ## x

或者可能像：

gcc -DUSE_QTKIT=1 '-DUSE(x)=USE_ ## x'