my_max模板

  在写template程序的时候.经常有个疑问,你怎么知道class T一定有个.val变量.或者一定有一个.next()函数?一旦用户的类缺少某一个函数.那就会得到毫 不夸张的说 一大坨错误.

  解决的方法一般是加上大量的注释.又有代码和注释不一致的可能性.维护注释是一件很麻烦的事情,因为编译器不会告诉你注释哪里有错误.

 

// T需要operator >()template<typename T>inline const T& my_max(const T& a, const T& b){return a>b? a: b;}

即便是加了注释也不一定能解决问题,用户的类可能已经实现了一个比较函数,但是不叫operator>()

 

struct point_3D{const point_3D& liner_max(const point_3D& other,float a, float b, float c){return a*x+ b*y+ c*z >a*other.x+ b*other.y+ c*other.z ?*this: other;}int x,y,z;};

我想让这个点既能按照x方向比较,又能按照y方向比较,甚至是-z,或者3x-y+25z

这个operator>()就没法完成任务了.

std:: 提供了另一种方法, 在参数中 多传一个 函数/函数对象 用于比较大小.

原型是pred(x, y).

有没有不申请新函数的解决方法? 有.

template<typename T, typename R, R T::*pv>inline T& my_max(T& a, T& b){return a.*pv > b.*pv ? a: b;}//或者用自动推导参数的template<typename T, typename R>inline T& my_max(T& a, T& b, R T::*pv){return a.*pv > b.*pv ? a: b;}

上面的 R T::*pv 是一个对象成员指针. 可以赋值为&point_3D::x 之类的值.

这样使用:

point_3D a,b;my_max<point_3D, int, &point_3D::x>(a,b);//或者用自动推导的, 因为是inline函数, 所以没有传参消耗my_max(a, b, &point_3D::x); 

当然,也可以用成员函数指针,更灵活一些.