自己写的一个max函数

CSDN上看到有人问能否实现一个效率较高的max函数，效率接近于宏，于是自动动手写了一个。

由于max宏在判断不同类型时，能够返回大的那个类型（表示范围大），所以只能使用模板来进行返回类型的推导。

在VC8上打开O2或Ox优化选项，测试结果是与宏效率相等。

全部实现如下：

#include  < typeinfo >
#include  < cassert >
#include  < windows.h >
#include  < iostream >


template  < class  T,  class  U,  bool  B >
struct  BigType
{
    typedef T result;
};

template  < class  T,  class  U >
struct  BigType < T, U,  false >
{
    typedef U result;
};



template  < class  T,  class  U >
struct  Type
{
    typedef typename BigType < T, U, ( sizeof (T)  >   sizeof (U)) > ::result BigType;
};

template  < class  T >
struct  Type < T,  double >
{
    typedef  double  BigType;
};

template  < class  T >
struct  Type < double , T >
{
    typedef  double  BigType;
};


template  < class  T >
struct  Type < T,  float >
{
    typedef  float  BigType;
};

template  < class  T >
struct  Type < float , T >
{
    typedef  float  BigType;
};


template  <>
struct  Type < double ,  float >
{
    typedef  double  BigType;
};

template  <>
struct  Type < float ,  double >
{
    typedef  double  BigType;
};



template  < class  T,  class  U >
typename Type < T, U > ::BigType MaX ( const  T &  t,  const  U &  u)
{
    typedef typename Type < T, U > ::BigType ResultType;
     return  ResultType(t  >  u  ?  t : u);  //  原为return (ResultType)t > u ? t : u;
}

int  main ()
{
    assert (typeid(MaX( 1 ,  2 ))  ==  typeid( int ));
    assert (MaX( 1 ,  2 )  ==   2 );

    assert (typeid(MaX( 1 ,  2.5 ))  ==  typeid( double ));
    assert (MaX( 1 ,  2.5 )  ==   2.5 );

    assert (typeid(MaX( 1 , ( float ) 2.5 ))  ==  typeid( float ));
    assert (MaX( 1 , ( float ) 2.5 )  ==   2.5 );

    assert (typeid(MaX(( double ) 2 , ( float ) 2.5 ))  ==  typeid( double ));
    assert (MaX(( double ) 2 , ( float ) 2.5 )  ==   2.5 );

    assert (typeid(MaX(( long ) 2 , ( float ) 2.5 ))  ==  typeid( float ));
    assert (MaX(( long ) 2 , ( float ) 2.5 )  ==   2.5 );

    assert (typeid(MaX(( long ) 2 , ( short ) 2 ))  ==  typeid( long ));
    assert (MaX(( long ) 2 , ( short ) 2 )  ==   2 );

    assert (typeid(MaX(( float ) 2 , (__int64) 2 ))  ==  typeid( float ));
    assert (MaX(( float ) 2 , (__int64) 2 )  ==   2 );

    assert (std:: string ( " hello " )  <   " world " );
    assert (typeid(MaX(std:: string ( " hello " ),  " world " ))  ==  typeid(std:: string ));
    assert (MaX(std:: string ( " hello " ),  " world " )  ==   " world " );

    assert (typeid(MaX(std:: string ( " world " ),  " hello " ))  ==  typeid(std:: string ));
    assert (MaX(std:: string ( " hello " ),  " world " )  ==   " world " );



     //  测试数，需定义在循环外，防止编译器优化掉无意义的循环
    __int64 test  =   0 ;
     long  start  =  GetTickCount();
     for  ( int  i = 0 ; i < 1000000000 ;  ++ i)
    {
        test  +=  MaX(i, (__int64)i);
    }
     //  test必须被使用，否则编译器视为无用数据，会被优化掉
    std::cout  <<  test  <<  std::endl;
    std::cout  <<  (GetTickCount()  -  start)  <<  std::endl;

    test  =   0 ;
    start  =  GetTickCount();
     for  ( int  i = 0 ; i < 1000000000 ;  ++ i)
    {
        test  +=  max(i, (__int64)i);
    }
    std::cout  <<  test  <<  std::endl;
    std::cout  <<  (GetTickCount()  -  start)  <<  std::endl;

     return   0 ;
}