再看c++现代元编程.

c++元编程是c++的弱项.虽然现代c++要好点了.
不过还是要看了.参考及ppt在此
原来也看过,不过,不实际操作,总是没感觉.前面文章,写了点.不系统.
看看大神的现代元编程.原来,我还在静态检查阶段.有的时候.
要限制构的模板参数,就必须用静态断定在构的起点,就断定.
同样可以借用<是成员函数指针值<T>>,这个一定会好用的.上篇的绑定,是绑定在一起了.
但应该还可以不用绑定.直接把二者联系在一起的方法,即传递参数时,直接传就行了,不需要绑定.
上篇的绑定,也是有个编译期探测.即是灵针<T>.即<是空型<推导(求值)…>>,这是编译期探测.

编译期:

1,检查(静断)
2,探测(推导(求值)…,有成员啥的,有前函数,后函数(切面编程有用))

常式 极 有前1=有前<推导(项),,,>::值;
如 常式(有前1)...;

一切编译时,都加上常式,保证不错,不然编译不过去.
理解了c++的编译时,也能够加深d的编译时的理解.
3,类型提取,主要用于,入=>函数<...>,我现在不行,还要花时间,研究研究.
4,rpc路由.这个还得看源码.
5,编译期反射,这个还得看反射源码.
6,序列化引擎,orm.这个就是模板构再模板函数,两层参数.
7,根据运行时值调用编译期函数,这里还没搞懂.还有点问题.
8,常式+可变模板==静多态,确实,常式很好用.见上篇的绑定实现
9,用元编程替换宏.

枚 呀{是,否};
元<型名 T>允许如型<是枚值<T>,出流&>符号<<(出流&a,T x){
    整 i=静转<整>(x);打印("呀",i);
    a<<i;中 a;
}//这个没啥.不过所有枚举,可用.
空 主(){
    输出<<是<<否;
}

10,接口易用性.将类型还原.直接调用成员函数,要看源码.