字符串化宏总是添加一个空格字符

Question

给定以下代码，它打印一个字符串，该字符串是两个单词的字符串化：

#define PORT_INFO_MAC_2(portNum)   port:     portNum

#define PORT_INFO_MAC(portNum) PORT_INFO_MAC_2(portNum)

/* Stringify macro expansion instead of the macro itself */
#define INVOKE_MACRO(...) #__VA_ARGS__

printf(" %s " , INVOKE_MACRO(PORT_INFO_MAC(1)) ); /* In a more general way, I'll be using it like follows: INVOKE_MACRO(PORT_INFO_MAC(2), PORT_INFO_MAC(1), ...) */

输出始终为" port: 1 "，"port" 和"1" 之间有一个空格。为什么那里总是有一个空格，有没有办法控制空格的数量？

在port 和portNum 之间更改PORT_INFO_MAC_2 宏中的空格数量不会改变输出空间数量。

编辑
似乎有两种情况，在第一种情况下，port 和portNum 最接近-PORT_INFO_MAC_2(portNum) port:portNum，然后它们之间的输出中不存在空格。在第二种情况下，它们之间的宏中存在任意数量的空格，输出中的空格数量始终为 1。 对此有什么正式的解释吗？有什么控制权吗？

Answer 1

为什么总是有一个空格，有没有办法控制空格的数量？

因为那是字符串化操作符被指定做的事情：

如果在替换列表中，一个参数前面紧跟一个# 预处理标记，则两者都被一个字符串文字预处理标记替换，该预处理标记包含对应参数的预处理标记序列的拼写。 参数的预处理标记之间每次出现的空格都会成为字符串文字中的单个空格字符。

（C2011 6.10.3.2/2；已添加重点）

当然，如果预处理标记之间根本没有空格，则字符串化中不会出现任何空格。