0001 template <typename T> struct Half //函数对象：减半一个T类对象
0002    { virtual void operator()( T& e ) { e /= 2; } }; //假设T可直接减半