0001 template <typename T> void double( Vector<T> & V ) //统一加倍向量中的各元素
0002    { V.traverse( Double<T>() ); } //以Double<T>()为基本操作进行遍历