作者loveflames (咕啾咕啾魔法阵)
看板C_and_CPP
标题[心得]macro metaprogramming
时间Wed Apr 20 17:42:17 2016
很久以前曾写过一个在预处理期算总和的小程式，请见8095
那时才刚懂得一些metaprogramming的皮毛(不过现在懂的招也不多就是)
後来有很长一段时间没继续碰，直到boost.preprocessor，又重新钻进来这个领域
因为boost不是标准库，於是想试试能否以标准方式，做出一个最简单的code生成器
用macro做metaprogramming，下面这个应该都是大家遇到的第一个难题，也是最难解决的
#define x 1
#define x x+1//x不会展开成1+1
如果只是要用来展开特定的次数，编译器有提供自己定义的macro
__COUNTER__:从0开始，每出现一次就加1，visual studio与gcc支援
__INCLUDE_LEVEL__:目前的include深度，仅gcc支援
不过这两个macro仍然不是标准所提供，若不希望使用
此时就要动用8095以bit来处理的方式
范例如下
#ifndef zzz //一开始会先展开这里一次
#define C 5 //注1以下的部分展开5次
#include <cstdio>
#include "loop"//里面包的是8095的bit处理部分，有关token的初始定义
#define zzz x0+x1*2+x2*4+x3*8+x4*16+x5*32+x6*64+x7*128
template<int n> void f(){
printf("%d\n",n);
}
#endif
#if zzz>=C //最後才展开这里
int main(){
f<0>();
f<1>();
f<2>();
f<3>();
f<4>();
f<5>();
f<6>();
}
#else //注1，反覆展开的部分
#if zzz ==2
#elif zzz ==3
#else //不产生f<2>跟f<3>的特化
template<> void f<zzz>(){
printf("ss:%d\n",zzz);
}
#endif
#include "loop"//里面包的是8095的bit处理部分，负责让zzz递增
#include __FILE__
#endif
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 60.248.56.181
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1461145341.A.6DB.html
1F：推 CoNsTaR: 推 marco metaprogramming 04/21 01:44
2F：→ loveflames: 可能还有其他解法，延迟展开macro听说能解决递回自己 04/21 02:08
3F：→ loveflames: 的问题 04/21 02:08
4F：→ loveflames: 但是要加一个中间层，还没搞懂原理 04/21 02:09
补充一下macro的展开规则
1.macro展开形式为##或#，该参数以普通文字处理
2.macro展开结果含其他macro时继续展开，但遇到自己则以普通文字处理，不展开
3.最後所展开的macro，其展开结果与後面的文字结合符合其他macro名称时则继续展开
注意下列情形
#define e
#define d(n) n e
#define x() 123
d(x)()
//展开成x e()，再展开成x()
//因为e是最後一个展开的macro，不能结合()，所以不会继续展开成123
4.macro里的参数会先依照上面规则依序展开，然後根据结果再从头扫过一遍
#define f(n) n
f(d(x)())
//f从头扫x()，展开成123，此为3的解法
5.1的解法
#define a(n) b(n)//n前面没有##或#，可以先展开n
#define b(n) T##n
6.2的解法
在自己展开完毕前不让自己出现，展开完毕後做为另一个macro的参数从头扫一遍
这时再产生自己，下面例子先不要管没终止条件导致的错误
只关心x()如何展开第2次即可
#define x() 1+d(x_)()()
#define x_() x
f(x())
※ 编辑: loveflames (60.248.56.181), 04/21/2016 18:10:04