8

我有这段代码（实际上是垃圾收集 Forth 系统的解释器的一部分）：

#define PRIMITIVE(name) \
    do \
    { \
        VocabEntry* entry = (VocabEntry*)gc_alloc(sizeof(VocabEntry)); \
        entry->code = name; \
        entry->name = cstr_to_pstr(#name); \
        entry->prev = latest_vocab_entry; \
        latest_vocab_entry = entry; \
    } \ 
    while (false)

PRIMITIVE(dup);
PRIMITIVE(drop);
PRIMITIVE(swap);
// and a lot more

但是有一个问题：在行

entry->name = cstr_to_pstr(#name);

该name字段替换为dup, drop,swap和其余部分。我希望字段名称不被替换。

那么，除了简单地重命名宏参数之外，还有什么方法可以解决这个问题？

对于答案，请解释是否有一种方法可以抑制宏体中宏参数名称的替换。不要回答“就这样做”（请）。

4

3 回答 3

17

您可以定义一个不同的宏来扩展为name，如下所示：

#define Name name

并更改宏中的name字段PRIMITIVE以使用新宏，如下所示：

#define PRIMITIVE(name) \
    do \
    { \
        VocabEntry* entry = (VocabEntry*)gc_alloc(sizeof(VocabEntry)); \
        entry->code = name; \
        entry->Name = cstr_to_pstr(#name); \
        entry->prev = latest_vocab_entry; \
        latest_vocab_entry = entry; \
    } \ 
    while (false)

除了在宏体中使用与参数名称不同的名称或更改参数名称之外，在 C 语言中没有其他方法可以做到这一点。根据 C 2011 (N1570) 6.10.3.1 1，当识别出类似函数的宏时，会立即替换参数名称，除非出现#or ##，并且没有其他例外情况：

在确定了调用类函数宏的参数后，将进行参数替换。替换列表中的参数，除非前面有 # 或 ## 预处理标记或后跟 ## 预处理标记（见下文），在其中包含的所有宏都已展开后，将替换为相应的参数。

令牌将#参数名称更改为字符串，在这种情况下没有用。记号扩展了参数名称，并将其与相邻的##记号粘贴在一起，在这种情况下也没有用。

于 2013-08-11T02:35:57.043 回答
5

不，那里没有。

要了解原因，您需要考虑宏扩展实际发生的方式。扩展类似函数的宏需要三个主要步骤：

  1. 宏的参数被完全扩展，除非宏在它们上使用#or##运算符（在示例中不相关，因为它们是单个标记）
  2. 扫描整个替换列表，任何出现的参数名称都被相应的参数替换
  3. 步骤 2 完成后，扩展的替换列表本身会被重新扫描，此时出现的任何宏都会被扩展

这在标准第 6.10.3 节（C11 和 C99）中进行了概述。

这样做的结果是不可能编写某种可以采用name和滥用“##”或类似的抑制规则的宏，因为主体中的替换步骤PRIMITIVE 必须在任何宏之前完全运行身体内的人被允许轮到他们被识别。您无法在替换列表中标记一个标记以进行抑制，因为您可以在其上放置的任何标记只有在替换步骤已经运行后才会被检查。由于标准中指定了顺序，因此您发现的任何可以让您以这种方式标记令牌的漏洞都是编译器错误。

如果您真的决定不重命名宏参数，我最好建议您将na和me作为单独的参数传递给连接宏；name只有在替换完成并且不再检查列表中的参数名称后才会形成令牌。

编辑希望我打字更快。

于 2013-08-11T02:41:21.390 回答
1

不，没有办法禁止在宏的主体内替换与所述宏的声明参数相同的令牌。除了跳转到预处理器代码之外，每个可能的解决方案都需要您重命名参数名称或字段名称（可能只是为了该宏的目的，正如 Eric 的回答所做的那样）。

于 2013-08-11T02:35:46.723 回答