Impossible is nothing  
  爱过知情重醉过知酒浓   花开花谢终是空   缘份不停留像春风来又走   女人如花花似梦
公告
日历
<2022年10月>
2526272829301
2345678
9101112131415
16171819202122
23242526272829
303112345
统计
  • 随笔 - 8
  • 文章 - 91
  • 评论 - 16
  • 引用 - 0

导航

常用链接

留言簿(4)

随笔分类(4)

随笔档案(8)

文章分类(77)

文章档案(91)

相册

搜索

  •  

最新评论

阅读排行榜

评论排行榜

 
#include  < iostream >

//  返回类型,大小分别为1、2
typedef  char  RT1;
typedef 
struct
{
    
char  a[ 2 ];
}
 RT2;

//  选择这个版本将返回char,大小为1
template < typename T >  RT1 test(typename T::X  const * )
{
    
int     dumy     =   0 ;
    dumy
++ ;
}


//  选择这个版本将返回char,大小为2
template < typename T >  RT2 test()
{
    
int     dumy     =   0 ;
    dumy
++ ;
}


//  依靠编译器自动选择test函数,然后依据返回类型判断是否含有X
template < typename T >
bool  type_has_member_type_X()
{
    
return  ( sizeof (test < T > ( 0 ))  ==   1 );
}


//  有X类型的类
class  HasX
{
public :
    
class  X
    
{
    }
;
}
;

//  无X类型的类
class  NonX
{
public :
    
class  Y
    
{
    }
;
}
;

int  _tmain( int  argc, _TCHAR *  argv[])
{
    
//  编译器选择重载函数策略:选择类型最匹配版本
    
//  倾向于把0转化为常量空指针,所以选择返回为RT1版本
     if (type_has_member_type_X < HasX > ())
    
{
        std::cout 
<<   " Has X "   <<  std::endl;
    }

    
else
    
{
        std::cout 
<<   " Non X "   <<  std::endl;
    }


    
//  没有T::X,所以选择返回为RT2版本
     if (type_has_member_type_X < NonX > ())
    
{
        std::cout 
<<   " Has X "   <<  std::endl;
    }

    
else
    
{
        std::cout 
<<   " Non X "   <<  std::endl;
    }

    
return   0 ;
}
输出结果:
Has X
Non X
posted on 2006-04-06 00:17 笑笑生 阅读(239) 评论(0)  编辑 收藏 引用 所属分类: C++语言

只有注册用户登录后才能发表评论。
【推荐】超50万行VC++源码: 大型组态工控、电力仿真CAD与GIS源码库
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


 
Copyright © 笑笑生 Powered by: 博客园 模板提供:沪江博客