1,元函数,是类/构.
用静 常式 整 值;这类形式返回.暴露值/型._v为值,_t为型.
2,现在的模板参数,可为动了.类似λ函数的两个动参.除了值身份还有型身份.同一的意思.
3,整常,非常有用的元函数.限定一下,推出极常,常见的有真型,假型,这两个叫0元元函数,因为他们没有参数.
4,是空(1元).对T,其常易版本返回相同值.先要尽量去常易.
5,条件判断,与宏差不多,写两个.:身份<T>{},这样写.
6,是空,是空针,是浮点,是整数,,假设用串来实现.也应该能够类似这样来实现,那就牛逼了.
7,要抽象这些写法,去常易,去整正,如果能够在集,那就更好了.
8,比较类型.是相同,,是原始相同(都去掉常易).
9,是浮点,是整,,还可以试着打包16种整,全写在一起.是包中型<去常易<T>,...>.多看点别人的,可以多参考参考别人的思路.
10,是数组,<T[N]>,<T[]>.是指针,T*(去常易),是联,靠编译器提供.无编译器,无法区别联/类.
11,联/类有成员.成员指针对任何类(无成员)都有效.
12,整*,整 福::*(成员指针),
13,函数重载.是空针,为真型 是空针(空针型),这样为真,其余为假.
14,类型特征.是在包.递归定义.是的基.空型.
15,模板中取反,用not(非).
16,元调用:
元<元<类...>类 C,型名...O>
用 调用=型名 C<O...>::型;
17,c的接口是函数<R(A...(,)...)>:真型.对6个点号.
讲得不是很难.把这里看懂了,就好了.
还有祁大神的这一篇与这一篇
