一个宏定义的预处理器宏定义答案

【问题标题】：Preprocessor macro definition of a macro definition一个宏定义的预处理器宏定义
【发布时间】：2021-08-30 08:29:02
【问题描述】：

C++ 标准有一种将行所在的函数转换为 char 数组的方法，但它没有考虑类限定（不包括函数嵌套的外部类。但是有一堆的编译器扩展，并做其他事情，比如包含函数签名。我想做这样的事情：

#ifdef VISUAL_STUDIO
#define _FUNCTION_NAME_ __FUNCTION__
#else 
#define _FUNCTION_NAME_ __func__
#endif

大概。现在，FUNCTION 本身，或者说 GCC 上的 PRETTY_FUNCTION 或其他任何东西，可能本身就是宏。当宏本身遵循宏定义时会发生什么？

#define MY_FIRST_DEFINE 6 + 1
#define MY_SECOND_DEFINE MY_FIRST_DEFINE

在 Visual Studio 中，如果我执行上述操作并在 main 中执行：

MY_SECOND_DEFINE; // Expands correctly, to 6 + 1

如果我颠倒两者的顺序：

#define MY_SECOND_DEFINE MY_FIRST_DEFINE
#define MY_FIRST_DEFINE 6 + 1

它仍然可以正确扩展为 6 + 1。我什至尝试了三个级别 (MY_THIRD_DEFINE)，它们的顺序无关紧要，它始终有效。所以基本上，我每次都可以依靠这个工作吗？它是 C++ 预处理器（还是 C？）的标准化功能，就我所见，它基本上是这样的：

考虑“定义的定义”并不是我真正想要考虑和远离的事情，但我有点需要知道 FUNCTION 宏的事情是否会起作用。另外，我标记了这个 C++，因为这是我正在使用的语言，我不知道预处理器是否与 C 语言完全相同。

【问题讨论】：

【解决方案1】：

我可以每次都依赖这个工作吗？

是的。

它是 C++ 预处理器的标准化特性（还是 C？）

两者。

它做了这样的事情：

一般来说，基本上，让我们说是的。宏在使用时被扩展。扩展的结果是“重新扫描以查找更多要替换的宏名称”，比如说用一些 special rules 递归。

保留以_ 和大写字母开头的标识符。您不能在代码中使用_FUNCTION_NAME_。使用FUNCTION_NAME。见gcc docs on reserved names。您可能对glibc assert.h __ASSERT_FUNCTION 是如何做到的感兴趣。

【讨论】：