版权声明： 本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！

仓库源文，站点原文

众所周知, C 中宏定义是几乎图灵完备的, 所以我们可以整些花活, 比如:

• 生成全排列
• 生成 Cartesian 积 (Descartes 积)

一些工具宏

{% icodeweb blog lang:c draft-010/SEL4.c %}

其中 SEL4 是取出前 4 个元素, RM4 是删除前 4 个元素

这样我们便可以通过这两个宏的嵌套来取出我们想要的一段连续元素了

生成排列与全排列

首先我们定义这样的宏

{% icodeweb blog lang:c draft-010/P4.c %}

则 P4(a, b, c, d) 即为 a, b, c, d 的全排列

效果如下 (为了方便查看, 每 4 个元素后均插入了 |, 每 12 个元素后均插入了换行符)

P4(a, b, c, d)
=>
a, b, c, d, | b, a, c, d, | b, c, a, d,
c, b, a, d, | c, a, b, d, | a, c, b, d,
b, c, d, a, | c, b, d, a, | c, d, b, a,
d, c, b, a, | d, b, c, a, | b, d, c, a,
c, d, a, b, | d, c, a, b, | d, a, c, b,
a, d, c, b, | a, c, d, b, | c, a, d, b,
d, a, b, c, | a, d, b, c, | a, b, d, c,
b, a, d, c, | b, d, a, c, | d, b, a, c

如何得到 4 个元素中取 3 个元素得到的所有排列呢

只需要稍加修改

{% icodeweb blog lang:c draft-010/P4_3.c %}

生成 Cartesian 积

这个就相对好理解一些

{% icodeweb blog lang:c draft-010/CPROD3_4.c %}

CPROD3_4(a, b, c, d) 即为 $(a,b,c,d)\oplus(a,b,c,d)\oplus(a,b,c,d)$

效果如下 (为了方便查看, 每 3 个元素后均插入了 |, 每 12 个元素后均插入了换行符)

CPROD3_4(a, b, c, d)
=>
a, a, a, | b, a, a, | c, a, a, | d, a, a,
a, b, a, | b, b, a, | c, b, a, | d, b, a,
a, c, a, | b, c, a, | c, c, a, | d, c, a,
a, d, a, | b, d, a, | c, d, a, | d, d, a,
a, a, b, | b, a, b, | c, a, b, | d, a, b,
a, b, b, | b, b, b, | c, b, b, | d, b, b,
a, c, b, | b, c, b, | c, c, b, | d, c, b,
a, d, b, | b, d, b, | c, d, b, | d, d, b,
a, a, c, | b, a, c, | c, a, c, | d, a, c,
a, b, c, | b, b, c, | c, b, c, | d, b, c,
a, c, c, | b, c, c, | c, c, c, | d, c, c,
a, d, c, | b, d, c, | c, d, c, | d, d, c,
a, a, d, | b, a, d, | c, a, d, | d, a, d,
a, b, d, | b, b, d, | c, b, d, | d, b, d,
a, c, d, | b, c, d, | c, c, d, | d, c, d,
a, d, d, | b, d, d, | c, d, d, | d, d, d