C99，“尽管有这个名称，非指令是预处理指令。”

Question

标题中引用的脚注是什么意思？这是附在 6.10.3p11 上的脚注

如果参数列表中存在预处理标记序列，否则这些预处理标记将充当预处理指令，¹⁴⁷⁾ 行为未定义。

我查了一下发现

预处理指令由一系列预处理标记组成，这些标记以 # 预处理标记开头......

并且我没有找到与该语法匹配的非终端 non-directive 。它可以（但不是必须）以 # 预处理标记开始。那么我们是不是还得说下面的话呢？

“尽管有这个名称，预处理指令实际上是一个非指令。”

另外，该脚注的目的是什么？

Answer 1

请参阅http://www.open-std.org/ jtc1/sc22/wg14/www/docs/dr_250.htm 需要澄清的是，这

#define nothing(x) // Nothing    /* Case 1 */
nothing (
#nonstandard
)

是UB。

Answer 2

我的 C99 副本没有那个脚注（它是原始的 - 你有应用 TR 修正的脚注吗？）但我认为这个想法是，如果你有

# non-directive

一个宏参数列表，那仍然是未定义的行为。

最好将“非指令性”设置为“非指令性”。生产包括 #，我认为，它会简化 6.10p3,4 并消除这种混乱。