宏正确扩展，但给了我“预期的表达式”错误

Question

我对我的问题做了一个简单的简化：

#define STR_BEG "
#define STR_END "

int main()
{
    char * s = STR_BEG abc STR_END;

    printf("%s\n", s);
}

编译时出现以下错误：

static2.c:12:16: error: expected expression
    char * s = STR_BEG abc STR_END;
               ^
static2.c:7:17: note: expanded from macro 'STR_BEG'
#define STR_BEG "

现在，如果我只运行预处理器gcc -E myfile.c，我会得到：

int main()
{
    char * s = " abc ";


    printf("%s\n", s);
}

这正是我想要的，并且是完全合法的结果代码。那么有什么关系呢？

Answer 1

宏并没有真正“正确”扩展，因为它不是一个有效的 C 预处理程序。正如Kerrek 所说，预处理器完全对任意字符序列起作用-它对整个标记起作用。标记是与构成有效 C 代码的形式（或多或少）相同的标点符号、标识符、数字、字符串等。这些定义没有描述有效的字符串——它们打开它们，并且未能在行尾之前关闭它们。所以一个无效的令牌序列被传递给预处理器。它设法从无效程序产生输出的事实可以说是很方便的，但它并不能使它正确，而且它几乎可以肯定地最多保证来自预处理器的垃圾输出。您需要终止您的字符串以使它们形成整个令牌 - 现在它们形成垃圾输入。

要实际将标记或标记序列用引号括起来，请使用字符串化运算符#：

#define STRFY(A) #A
STRFY(abc) // -> "abc"

如果您在启用-Wall 标志的情况下编译或预处理，GCC 和类似的编译器会警告您此类错误。

（我假设您仅在尝试编译为 C 时出现错误，但在两次执行时不会出现错误，因为在编译器内部，它保留了这些是“损坏”标记的信息，如果你写出一个中间文件，然后在第二遍编译预处理的源代码......如果是这样，这是一个实现细节，不要依赖它。）

---

您的实际问题的一种可能的解决方案可能如下所示：

#define LPR (
#define start STRFY LPR
#define end )
#define STRFY(A) #A
#define ID(...) __VA_ARGS__

ID(
  char * s = start()()()end;  // -> char * s = "()()()";
)

不过，ID 包装器是必需的。没有它就没有办法（它可以绕过任意数量的行，甚至你的整个程序，但它必须存在，其原因在其他问题中有充分说明）。