哈，我发现我终于成为标题党啦，全拿一些powerful的词做标题，骗点击率。说实话，在学校写论文全是有目的的，保研，升学，拿学位等，其实写的都是些什么哦，这里抄那里抄，能把专家组唬到就是好文章，写博客不同，我爱写就写，你当我是炫耀也好，轻浮也罢，都不放在耳边。
C++语言其实一点都不强大，强大的是那些使用C++的牛人们！
1，traits技法
这个说法我是从《STL源码剖析》中看到的，但是真正明白还是后来慢慢想才明白的。traits的意思是‘特性’，《Eff C++》里说将类的设计视为类型的设计，把class的设计当成type的设计，C++提供了一种无限的可能，使你可以不断的设计新的类型，从而使语言本身更强大。面对各种class，语言本身也没有提供太多的东西去描述‘特性’，有些知识是一开始不可预料的，所以没办法定义，比如，可拷贝性。如果语言定义一开始就很注重这个概念，那可能会多一个关键字操作符，譬如copiable()。在C的时代有sizeof()，在C++的时候有typeof,开玩笑，是typeid，但是这是在运行时，但是有了traits技法，这个是不必要的，将这些事情给编译器在编译期运行，会给运行程序带来更多的效率。我们知道型别本身这个信息也可以看成是基本的‘特性’。
在编译期做‘特性’检查，就是做类似这样的事情：
template<typename T>
void doSomething(T& t)
{
if(t 具有某种特性)
{
做一些事情
}
else
{
做另一些事情
}
}
在运行期做，可以这样设计T
class T
{
public:
T() : copiable(true) {}
virtual ~T() {}
bool copiable;
};
这样做很糟糕，第一，‘特性’本身做为数据存储起来，那就会存在各个对象内，浪费空间，如果用静态数据，也很麻烦，第二，在doSomething()里要多做一次判断，浪费时间，浪费运行期时间。总之就是，浪费运行期的时间和空间。
将这些事移到编译期做，编译期能做些什么？类型推导。同时还需要C++一个本身的功能，就是偏特化。在运行期的数据、信息，我们转化为类型，用类来表示这些信息，比如特性。
首先，定义表示‘真’和‘假’的类：
struct _true_type{};
struct _false_type{};
它们对应于运行期的值，true和false；
再将特性定义成内嵌类型的typedef：
class T
{
typedef _true_type copiable;
};
然后在doSomething()里做类型推导：
template<typename T>
void doSomething(T& t)
{
typedef typename T::copiable copiable;
doSomething_aux(t,copiable());
}
真正在推导的是另一个重载的函数doSomething_aux，如下定义
template<typename T>
void doSomething_aux(T& t,_true_type)
{
当可以拷贝时做的事情
}
template<typename T>
void doSomething_aux(T& t,_false_type)
{
当不可以拷贝时做的事情
}
这样就大功告成，似乎只用到了重载函数，但是这样的特性方法不能推广到基本类型，比如，T是int型，那在doSomething里就出错了，int::copiable没有定义，当然啦，你不可能把这个特性加进去。
再加一层封装可以解决这个问题：
template<typename T>
struct type_traits
{
typedef T::copiable copiable;
};
然后改写doSomething：
template<typename T>
void doSomething(T& t)
{
typedef typename type_traits<T>::copiable copiable;
doSomething_aux(t,copiable());
}
为什么要转这么个弯？因为这样做了就有机会为基本类型添加特性信息，我们可以特化这个type_traits为基本类型，如
template<>
struct type_traits<int>
{
typedef _true_type copiable;
};
STL里有个文件type_traits.h里面就定义了所有这些基本类型的偏特化版，当然，这里的copiable是我想出来的一个特性。
不仅仅只能为type可以定义traits，还可以为其它很多概念定义traits，比如iterator，它的偏特化版就牵扯到原始指针，可以认为，原始指针是一种iterator，而iterator是一个抽象的概念。
2，模板元编程TMP
traits技法是一种TMP，它是将一部分运行期运行的程序移到编译期，更大的挖掘编译器的能力，像上面那些对‘特性’的条件判断，就是利用了参数推导。而循环结构的程序，却是利用了递归，比如求fibonacci数的程序：
#include <cstdlib>
#include <iostream>
using namespace std;
template<unsigned int n>
struct fibonacci
{
enum{value=fibonacci<n-1>::value+fibonacci<n-2>::value};
};
template<>
struct fibonacci<1>
{
enum{value=1};
};
template<>
struct fibonacci<0>
{
enum{value=0};
};
int main(int argc, char *argv[])
{
cout<<fibonacci<10>::value<<endl;
system("PAUSE");
return EXIT_SUCCESS;
}
这相当于一个"hello TMP world"程序。更多的内容我还不了解，我只能感叹一句，这样的程序，真酷！
rickone 2008/01/30
评论