如何使用以前的定义重新定义宏

Question

假设我有以下宏：

#define xxx(x) printf("%s\n",x);

现在在某些文件中我想使用该宏的“增强”版本而不更改其名称。新版本探索了原始版本的功能并做了更多的工作。

#define xxx(x) do { xxx(x); yyy(x); } while(0)

这当然会给我重新定义警告，但为什么我得到“xxx”未在此范围内声明？我应该如何正确定义它？

编辑：根据此 http://gcc.gnu。 org/onlinedocs/gcc-3.3.6/cpp/Self_002dReferential-Macros.html 应该是可以的

Answer 1

不可能。宏可以使用其他宏，但它们使用的是扩展时可用的定义，而不是定义时的定义。 C 和 C++ 中的宏不能递归，因此新宏中的 xxx 不会扩展并被视为函数。

Answer 2

自引用宏根本不起作用：

http:// gcc.gnu.org/onlinedocs/cpp/Self_002dReferential-Macros.html#Self_002dReferential-Macros

如果您正在使用 C++，则可以使用模板函数和命名空间获得相同的结果：

template <typename T> void xxx( x ) {
        printf( "%s\n", x );
}

namespace my_namespace {

template <typename T> void xxx( T x ) {
        ::xxx(x);
        ::yyy(x);
}

}

Answer 3

您将无法重用宏的旧定义，但可以取消定义并进行新定义。希望复制和粘贴不会太复杂。

#ifdef xxx
#undef xxx
#endif
#define xxx(x) printf("%s\n",x);

我的建议是定义一个 xxx2 宏。

#define xxx2(x) do { xxx(x); yyy(x); } while(0);

Answer 4

如果我们知道“xxx”宏中“x”参数的类型，我们可以通过在函数中使用它来重新定义宏，然后将“xxx”宏定义为该函数

“xxx”宏的原始定义：

#define xxx(x) printf("xxx %s\n",x);

在某个文件中制作“xxx”宏的增强版本：

/* before redefining the "xxx" macro use it in function 
 * that will have enhanced version for "xxx" 
 */
static inline void __body_xxx(const char *x)
{
    xxx(x);
    printf("enhanced version\n");
}

#undef  xxx
#define xxx(x) __body_xxx(x)

Answer 5

来自： https://gcc.gnu.org/onlinedocs/gcc/ Push_002fPop-Macro-Pragmas.html

#define X  1
#pragma push_macro("X")
#undef X
#define X -1
#pragma pop_macro("X")
int x [X];

Answer 6

这不完全是您所要求的，但它可以提供帮助。

您可以在给宏定义新定义之前#undef 宏。

示例：

#ifdef xxx
#undef xxx
#endif
#define xxx(x) whatever

但我从未听说过（或见过）递归宏。我认为这是不可能的。

Answer 7

这个答案并没有完全回答你的问题，但我觉得它在按照你打算使用你的方法的方式工作方面做得很好（如果可能的话）。
这个想法是让所有执行实际工作的文件特定宏具有唯一的名称（例如 LOG_GENERIC 和 LOG_SPECIFIC），并具有通用标记（在您的case xxx) 只需指向当前适当的宏。
另外，使用非标准但广泛使用的 #pragma push_macro 和 #pragma pop_macro 我们都可以修改通用的 xxx 令牌并将其恢复为以前的版本。
例如，假设有两个头文件，generic.hpp 和 specic.hpp，这里的公共标记是 LOG：

// generic.hpp
#pragma once

#include <cstdio>

#define LOG_GENERIC(x) printf("INFO: " x "\n")
#define LOG LOG_GENERIC

void generic_fn(){LOG("generic");} // prints "INFO: generic\n"

// specific.hpp
#pragma once

#include "generic.hpp"

#define LOG_SPECIFIC(x) do {printf("<SPECIFIC> "); LOG_GENERIC(x);} while (0)

#pragma push_macro("LOG")
#undef LOG
#define LOG LOG_SPECIFIC

void specific_fn(){LOG("specific");} // prints "<SPECIFIC> INFO: specific\n"

#undef LOG
#pragma pop_macro("LOG")

通过这样做，我们得到优点：

• 通过 #pragma push_macro 和 #pragma pop_macro 以可恢复的方式修改 LOG 的简单机制
• 能够引用某些< code>LOG_* 显式宏（LOG_SPECIFIC 可以使用 LOG_GENERIC）
  • 我们无法在 LOG_SPECIFIC 定义中引用 LOG，我们必须遍历 LOG_GENERIC
  • 这与您的问题不同，但我个人认为这是更好的设计，否则您将能够允许 LOG_SPECIFIC 定义之上的宏影响它，听起来就像每次都做错事

链接到上面示例的 github 存储库