C/C++宏拼接字符串与函数返回值报错问题排查

原代码 #

#include <stdio.h>
#define YY "Sample Text"
#define FINALDATA           "START TEXT (" func2(func1(142),YY) ") END TEXT"
// #define FINALDATA            func2(func1(142),YY) //this works fine

int func1(int data)
{
    return data;
}
char* func2(int val, char* data)
{
    return data;
}

int main()
{
    printf("Final Data is %s\n", FINALDATA);

    return 0;
}

编译错误信息 #

main.cpp: In function ‘int main()’:
main.cpp:11:44: error: expected ‘)’ before ‘func2’
   11 | #define FINALDATA           "START TEXT (" func2(func1(142),YY) ") END TEXT"
      |                                            ^~~~~
main.cpp:25:36: note: in expansion of macro ‘FINALDATA’
   25 |     printf("Final Data is %s\n", FINALDATA);
      |                                    ^~~~~~~~~
main.cpp:25:11: note: to match this ‘(’
   25 |     printf("Final Data is %s\n", FINALDATA);
      |           ^

问题原因 #

C/C++的字符串字面量拼接规则是仅相邻的字符串字面量能被编译器自动拼接（比如"abc""def"会被处理成"abcdef"），但你在宏里把字符串字面量和函数调用直接放在一起，编译器无法识别这种写法——它会把"START TEXT ("后面的func2当成语法错误，认为此处缺少闭合括号，从而报出括号不匹配的错误。

你注释掉的宏能正常工作，是因为它展开后只是一个合法的函数调用表达式，完全符合printf参数的语法要求。

能否用宏实现需求？ #

你想的这种直接拼接的方式行不通，因为宏展开后的代码不符合C/C++语法。要实现字符串与函数返回值的拼接，得换思路：

方案1：运行时用缓冲区拼接（最实用） #

用snprintf或sprintf在运行时把固定字符串和函数返回值拼接到缓冲区里，示例代码如下：

#include <stdio.h>
#define YY "Sample Text"

int func1(int data)
{
    return data;
}
char* func2(int val, char* data)
{
    return data;
}

int main()
{
    char result_buf[256];
    // 把固定字符串和函数返回值拼接到缓冲区
    snprintf(result_buf, sizeof(result_buf), "START TEXT (%s) END TEXT", func2(func1(142), YY));
    printf("Final Data is %s\n", result_buf);

    return 0;
}

方案2：用宏封装拼接逻辑 #

如果一定要用宏，可以把拼接逻辑封装成宏，调用时传入缓冲区：

#include <stdio.h>
#define YY "Sample Text"
#define FINALDATA(buf) snprintf(buf, sizeof(buf), "START TEXT (%s) END TEXT", func2(func1(142), YY))

int func1(int data)
{
    return data;
}
char* func2(int val, char* data)
{
    return data;
}

int main()
{
    char result_buf[256];
    FINALDATA(result_buf);
    printf("Final Data is %s\n", result_buf);

    return 0;
}

注意 #

如果你的函数能改成编译期常量函数（C++11及以后的constexpr），可以尝试编译期字符串拼接，但实现复杂度高，普通场景没必要采用。

内容的提问来源于stack exchange，提问作者DTdev