C++ 宏，该宏定义具有添加前缀的新宏

我们有一个分析框架，可以在编译时启用和禁用

所有对框架的各种调用都是通过宏完成的，例如：

PROFILE_START(msg)
PROFILE_END(msg)

然后，宏在启用评测时解析为实际的探查器调用，在禁用评测时解析为nothing

#ifdef PROFILING_ENABLED
#    define PROFILE_START(msg) currentProfiler().start(msg)
#    define PROFILE_END(msg)   currentProfiler().end(msg)
#else
#    define PROFILE_START(msg)
#    define PROFILE_END(msg)   
#endif

我们的框架中有各种不同的组件，我想在每个组件中启用评测

我希望能够有选择地在每个组件中启用分析

我的想法是在所有探查器宏前面加上组件的名称，例如：

FOO_PROFILE_START(msg)
FOO_PROFILE_END(msg)

BAR_PROFILE_START(msg)
BAR_PROFILE_END(msg)

我可以手动创建

#ifdef ENABLE_FOO_PROFILING
#    define FOO_PROFILE_START(msg) PROFILE_START(msg)
#    define FOO_PROFILE_END(msg) PROFILE_END(msg)
#else
#    define FOO_PROFILE_START(msg) 
#    define FOO_PROFILE_END(msg) 
#endif

#ifdef ENABLE_BAR_PROFILING
#    define BAR_PROFILE_START(msg) PROFILE_START(msg)
#    define BAR_PROFILE_END(msg) PROFILE_END(msg)
#else
#    define BAR_PROFILE_START(msg) 
#    define BAR_PROFILE_END(msg) 
#endif

然而，这既繁琐又容易出错

任何时候，在分析框架中添加新功能时，我都必须找到所有特定于组件的宏，并为每个宏添加一个新宏

我要寻找的是一种自动生成组件前缀宏的方法

#ifdef ENABLE_FOO_PROFILING
    ADD_PREFIX_TO_ENABLED_PROFILING_MACROS(FOO)
#else
    ADD_PREFIX_TO_DISABLED_PROFILING_MACROS(FOO)
#endif

上述操作的最终结果将是创建我手动完成的所有

FOO\u PROFILE\u XXX

宏

问题：

• 这样的辅助宏可能吗
• 有没有更好的方法来实现我的目标

我很乐意在必要时使用BOOST_PP

---

在发布这个问题之前，我试着自己解决这个问题，我想出的代码如下，这可能有助于显示我正在走的路

#include <stdio.h>

#define PROFILE_START(msg) printf("start(%s)\n", msg);
#define PROFILE_END(msg)   printf("end(%s)\n", msg);

#define ENABLE(prefix) \
    #define prefix ## _PROFILE_START PROFILE_START \
    #define prefix ## _PROFILE_END   PROFILE_END

#define DISABLE(prefix) \
    #define prefix ## _PROFILE_START \
    #define prefix ## _PROFILE_END

#define ENABLE_FOO

#ifdef ENABLE_FOO
    ENABLE(FOO)
#else
    DISABLE(FOO)
#endif

#ifdef ENABLE_BAR
    ENABLE(BAR)
#else
    DISABLE(BAR)
#endif


int main()
{
    FOO_PROFILE_START("foo");
    FOO_PROFILE_END("foo");

    BAR_PROFILE_START("bar");
    BAR_PROFILE_END("bar");

    return 0;
}

#包括
#定义配置文件\u START（msg）printf（“START（%s）\n”，msg）；
#定义配置文件\u END（msg）printf（“END（%s）\n”，msg）；
#定义启用（前缀）\
#定义前缀###(u PROFILE)u START PROFILE(u START PROFILE)\
#定义前缀###(u PROFILE)(u END PROFILE)(u END PROFILE)
#定义禁用（前缀）\
#定义前缀###(u PROFILE)u START\
#定义前缀###u PROFILE_END
#定义ENABLE_FOO
#ifdef启用_FOO
启用（FOO）
#否则
禁用（FOO）
#恩迪夫
#ifdef启用_条
启用（BAR）
#否则
禁用（BAR）
#恩迪夫
int main（）
{
FOO_PROFILE_START（“FOO”）；
FOO_PROFILE_END（“FOO”）；
酒吧简介酒吧开始（“酒吧”）；
棒材型材末端（“棒材”）；
返回0；
}

我个人喜欢

#include <stdio.h>

#define FOO_ENABLED 1
#define BAR_ENABLED 0

#define PROFILE_START(FLAG, msg) \
   { if (FLAG) printf("start(%s)\n", msg); }

int main()
{
    PROFILE_START(FOO_ENABLED, "foo")
    PROFILE_START(BAR_ENABLED, "bar")
    return 0;
}

#包括
#定义启用了FOO_的1
#定义已启用的条形图0
#定义配置文件\u开始（标志，消息）\
{如果（标志）printf（“开始（%s）\n”，msg）；}
int main（）
{
配置文件\u开始（启用了FOO\u，“FOO”）
配置文件\u开始（启用了BAR\u，“BAR”）
返回0；
}

任何体面的编译器无论如何都不会为if语句生成任何指令

• 这样的辅助宏可能吗

不可以。正如注释中所述，您不能通过宏生成宏定义*

• 有没有更好的方法来实现我的目标

由于宏观理念行不通，*任何可行的替代方案都会更好。基本上，您正在寻找一个代码生成器——一个将模块列表作为输入并作为输出C源（可能是一个头）生成的程序，其中包含所有模块的所有分析宏的定义。您几乎可以用任何语言编写这样的程序——C、python、perl、shell脚本等等。根据您的技术首选项和项目上下文，您甚至可以使用类似XSLT的东西

每个想要获取分析宏的源文件都只包含生成的头文件

---

*事实上，您可以使用C预处理器，方法是在不同的专用输入文件上单独运行。但在编译要使用宏的源文件时，无法就地生成宏。

这样的辅助宏可能吗？ 不可以。除了pragmas之外，您不能在宏中执行预处理指令

您可以使用模式匹配执行非常类似的操作。通过从宏名称中取出不同的部分，并将其放入宏本身，您可以创建一个允许启用/禁用任意名称的表单

这需要一点点预处理器元编程（这是一个恒定的开销；也就是说，在添加模块时不会发生变化），所以请耐心听我说

第1部分：C预处理器解决方案 使用这组宏：

#define GLUE(A,B) GLUE_I(A,B)
#define GLUE_I(A,B) A##B
#define SECOND(...) SECOND_I(__VA_ARGS__,,)
#define SECOND_I(_,X,...) X
#define SWITCH(PREFIX_,PATTERN_,DEFAULT_) SECOND(GLUE(PREFIX_,PATTERN_),DEFAULT_)
#define EAT(...)

#define PROFILER_UTILITY(MODULE_) SWITCH(ENABLE_PROFILER_FOR_,MODULE_,DISABLED)
#define PROFILER_IS_DISABLED ,EAT
#define PROFILE_START_FOR(MODULE_, msg) SWITCH(PROFILER_IS_,PROFILER_UTILITY(MODULE_),PROFILE_START)(msg)
#define PROFILE_END_FOR(MODULE_, msg)   SWITCH(PROFILER_IS_,PROFILER_UTILITY(MODULE_),PROFILE_END)(msg)

…您可以将其包含在每个模块中，您将获得以下能力：

PROFILE_START_FOR(FOO,msg)
PROFILE_END_FOR(FOO,msg)
PROFILE_START_FOR(BAR,msg)
PROFILE_END_FOR(BAR,msg)
PROFILE_START_FOR(BAZ,msg)
PROFILE_END_FOR(BAZ,msg)

默认情况下，所有这些宏都扩展为零；您可以通过为

FOO

、

BAR

或

BAZ

的任何子集定义

启用\u PROFILER\u FOR_xxx

，以将其扩展到

，

（或

，如果看起来更好的话，打开
），在这种情况下，相应的宏将扩展（最初，在您自己的宏进入之前）到
PROFILE\u START（msg）
/
PROFILE_END（msg）
；其余的将继续扩大到零

以FOO模块为例，您可以通过“控制文件”来实现这一点：
#在
上为_FOO定义ENABLE_PROFILER_；命令行：
-在
上为_FOO=，可修改的_探查器_；或者在makefile中
CFLAGS+=-DENABLE\u PROFILER\u FOR\u FOO=，ON

第2a部分：其工作原理；开关宏
GLUE
这是典型的间接粘贴宏（允许参数展开）
SECOND
是一个间接变量宏，返回第二个参数

开关是模式匹配器。前两个参数粘贴在一起，组成模式。默认情况下，此模式被丢弃；但是由于间接性，如果该模式是一个类似对象的宏，并且该模式的扩展包含一个逗号，它将在中移动新的第二个参数。例如：

#define ORDINAL(N_) GLUE(N_, SWITCH(ORDINAL_SUFFIX_,N_,th))
#define ORDINAL_SUFFIX_1 ,st
#define ORDINAL_SUFFIX_2 ,nd
#define ORDINAL_SUFFIX_3 ,rd
ORDINAL(1) ORDINAL(2) ORDINAL(3) ORDINAL(4) ORDINAL(5) ORDINAL(6)

…将扩展到：

1st 2nd 3rd 4th 5th 6th

以这种方式，
SWITCH
宏的行为类似于SWITCH语句；其“cases”是具有匹配前缀的类对象宏，并且具有默认值

请注意，预处理器中的模式匹配使用移位参数，因此使用逗号（主要技巧是通过忽略参数丢弃不匹配的标记，并通过移位所需的rep应用匹配的标记）
1st 2nd 3rd 4th 5th 6th

#define PROFILER_UTILITY(MODULE_) SWITCH(ENABLE_PROFILER_FOR_,MODULE_,DISABLED)
#define PROFILER_IS_DISABLED ,EAT
#define PROFILE_START_FOR(MODULE_, msg) SWITCH(PROFILER_IS_,PROFILER_UTILITY(MODULE_),PROFILE_START)(msg)
#define PROFILE_END_FOR(MODULE_, msg)   SWITCH(PROFILER_IS_,PROFILER_UTILITY(MODULE_),PROFILE_END)(msg)