m4宏语言中调用宏时为何要给参数添加引号？

在你给出的M4代码示例里，changequote([,])已经将M4的引号字符替换成了[和]（替代默认的`和'）。你发现不加引号传递strcase也能得到正确输出，是因为当前环境里strcase不是一个已定义的宏，M4会直接把它当作普通文本处理。

但示例里刻意给参数加引号，本质是避免意外展开的最佳实践，原因有两点：

• 防止宏冲突：如果后续代码中定义了strcase这个宏，不加引号的调用gl_STRING_MODULE_INDICATOR(strcase)会先展开strcase的宏值，再把结果传给目标宏，最终输出会偏离预期。比如：

  changequote([,])dnl
  define([strcase], [foo])dnl
  define([gl_STRING_MODULE_INDICATOR],
    [GNULIB_[]translit([[$1]], [a-z], [A-Z])=1dnl
  ])dnl
  gl_STRING_MODULE_INDICATOR(strcase)  # 输出 GNULIB_FOO=1
  gl_STRING_MODULE_INDICATOR([strcase])# 输出 GNULIB_STRCASE=1
  

• 兼容特殊字符：如果参数包含空格、逗号或者M4内置宏名这类特殊内容，不加引号会被M4错误解析。比如传递带空格的参数：

  gl_STRING_MODULE_INDICATOR([str case])  # 正确识别为单个参数
  gl_STRING_MODULE_INDICATOR(str case)    # 被拆分为两个参数，触发宏处理错误
  

简单说，加引号能确保参数被当作字面量传递，让代码行为更稳定、可预测，避免后续维护中因为环境变化引发的隐藏问题。

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