宏中的波形符 (~) 是什么意思？

Question

在此网站上看到的代码显示了宏调用在括号中使用波形符：

HAS_COMMA(_TRIGGER_PARENTHESIS_ __VA_ARGS__ (~))
//                                          ^^^

这是什么意思/做什么？我怀疑这只是一个空洞的论点，但我不确定。它是否可能特定于 C(99)，就像 __VA_ARGS__ 特定于 C99 并且存在于 C++ 中？

Answer 1

在Boost.Preprocessor的介绍页面，在A.4.1.1 Horizo​​ntal Repetition中给出了一个例子，

#define TINY_print(z, n, data) data

#define TINY_size(z, n, unused)                                 \
  template <BOOST_PP_ENUM_PARAMS(n, class T)>                   \
  struct tiny_size<                                             \
      BOOST_PP_ENUM_PARAMS(n,T)                                 \
      BOOST_PP_COMMA_IF(n)                                      \
      BOOST_PP_ENUM(                                            \
          BOOST_PP_SUB(TINY_MAX_SIZE,n), TINY_print, none)      \
  >                                                             \
    : mpl::int_<n> {};

BOOST_PP_REPEAT(TINY_MAX_SIZE, TINY_size, ~) // Oh! a tilde!

#undef TINY_size
#undef TINY_print

解释如下：

代码生成过程通过调用 BOOST_PP_REPEAT 启动，这是一个高阶宏，它重复调用由第二个参数 (TINY_sizeTINY_size）。第一个参数指定重复调用的次数，第三个参数可以是任意数据；它原封不动地传递给正在调用的宏。 在本例中，TINY_size 不使用该数据，因此传递 ~ 的选择是任意的。 [5]

（强调我的）

并且有注释：

[5] ~ 并不是一个完全任意的选择。 @ 和 $ 可能都是不错的选择，只是从技术上讲它们不属于 C++ 实现需要支持的基本字符集。像忽略这样的标识符可能会受到宏扩展的影响，从而导致意外的结果。

因此，波形符只是一个占位符，因为需要参数，但没有任何参数是必需的。由于任何想要扩展的用户定义标识符都可以扩展，因此您需要使用其他东西。

事实证明，与 + 或 - 相比，~ 几乎没有被使用（二进制否定并不经常被调用），所以有混淆的可能性很小。一旦您确定了这一点，持续使用它就会给波形符带来新含义；就像使用 operator<< 和 operator>> 来流数据一样，已经成为 C++ 的习惯用法。

Answer 2

~ 不执行任何操作。括号内的几乎所有其他内容都具有相同的作用。

此技巧的关键是测试 _TRIGGER_PARENTHESIS_ 是否位于 _TRIGGER_PARENTHESIS_ __VA_ARGS__ (~) 扩展中的 (~) 旁边。无论哪种方式，HAS_COMMA(...) 都会将其参数扩展为 0 或 1。

Answer 3

要测试的参数放置在宏及其括号之间，只有当参数为空时宏才会触发：

_TRIGGER_PARENTHESIS_ __VA_ARGS__ (~)

注意：实际上您发布的链接说明了这一点。我将检查标准中对此的引用。