|
《C++设计新思维》 虽然可能实际中可能用不着,但是可以作为理解模版的特化哦!
//C++模版:编译期检测可转换和可继承
//一般我们使用dynamic_cast<>在运行期进行转化,但是对于模版编程,我们可以实现编译时类型检测。利用了模版技术,sizeof的编译期就可以得到结果和函数的重载技术。
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//比如我们检测T是否可以转化为U,我们实现一个函数Test和他的一个重载,函数的参数分别是U和。。。
//参数U和。。。分别对应可以转化为U和不可以转化的情况,然后我们通过对2个重载函数给于不同的返回值,在编译时用sizeof取得不同返回值的大小来判断是否可以转化。
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//Determine whether the two types are the same type
template<class T, class U>
struct IsSameType
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = false };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template<class T>
struct IsSameType<T, T>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = true };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//Helper that help to determine whether type T can convert to type U
template <class T, class U>
struct ConversionHelper
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
typedef char Small;
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) struct Big { char dummy[2]; };
static Big Test( );
static Small Test(U);
static T MakeT();
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//我们都知道在C++中,子类的指针可以转化为基类的指针
//判断T是否能够转化为U类型 :T和U是否是同一类型或U是否是T的基类
template<class T, class U>
struct Conversion
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
typedef ConversionHelper<T, U> H;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists = sizeof(typename H::Small) == sizeof((H::Test(H::MakeT()))) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists2Way = exists && Conversion<U, T>::exists };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { sameType = false };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <class T>
struct Conversion<T, T>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists = 1, exists2Way = 1, sameType = 1 };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <class T>
struct Conversion<void, T>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists = 0, exists2Way = 0, sameType = 0 };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <class T>
struct Conversion<T, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists = 0, exists2Way = 0, sameType = 0 };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <>
struct Conversion<void, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
public:
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { exists = 1, exists2Way = 1, sameType = 1 };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//上面BigType和SmallType表示返回结果,他们的sizeof必须不同。
//MakeT()确保不管T的构造函数的私有或共有都有一个零时的T供sizeof使用。
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//T是U的基类或T和U是同一类的2个别名。
//注意SuperSubClass传入的模版参数与内部调用Conersion函数的参数传入顺序,在参数前面加了const volatile限定了不能使用重载的类型转化函数。
template <class T, class U>
struct SuperSubclass
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile U*, const volatile T*>::exists &&
!Conversion<const volatile T*, const volatile void*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( sizeof (T) == sizeof (U) ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <>
struct SuperSubclass<void, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = false };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <class U>
struct SuperSubclass<void, U>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile U*, const volatile void*>::exists &&
!Conversion<const volatile void*, const volatile void*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( 0 == sizeof (U) ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template <class T>
struct SuperSubclass<T, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile void*, const volatile T*>::exists &&
!Conversion<const volatile T*, const volatile void*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( sizeof (T) == 0 ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//T是U的基类
template<class T,class U>
struct SuperSubclassStrict
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile U*, const volatile T*>::exists &&
!Conversion<const volatile T*, const volatile void*>::sameType &&
!Conversion<const volatile T*, const volatile U*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( sizeof (T) == sizeof (U) ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template<>
struct SuperSubclassStrict<void, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = false };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template<class U>
struct SuperSubclassStrict<void, U>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile U*, const volatile void*>::exists &&
!Conversion<const volatile void*, const volatile void*>::sameType &&
!Conversion<const volatile void*, const volatile U*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( 0 == sizeof (U) ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
template<class T>
struct SuperSubclassStrict<T, void>
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { value = (Conversion<const volatile void*, const volatile T*>::exists &&
!Conversion<const volatile T*, const volatile void*>::sameType &&
!Conversion<const volatile T*, const volatile void*>::sameType) };
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
// Dummy enum to make sure that both classes are fully defined.
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) enum { dontUseWithIncompleteTypes = ( sizeof (T) == 0 ) };
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
//test classes
class CBase
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {public:
int m;
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
class CDerived : public CBase
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
public:
int n;
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
class COther
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
public:
int o;
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
class CConvertToBase
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
public:
int p;
public:
operator CBase()
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedSubBlockStart.gif) {
CBase obj;
return obj;
}
};
![](http://www.cppblog.com/Images/OutliningIndicators/None.gif)
void main()
![](http://www.cppblog.com/Images/OutliningIndicators/ExpandedBlockStart.gif) ![](http://www.cppblog.com/Images/OutliningIndicators/ContractedBlock.gif) {
using namespace std;
cout<< Conversion<double, int>::exists << ' '
<< Conversion<int, double>::exists2Way<<" "
<< Conversion<int, double>::sameType<<endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
cout<< Conversion<char, char*>::exists << ' '
<< Conversion<size_t, vector<int> >::exists <<endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
cout<< "Conversion from CDerived to CBase : "<<Conversion<CDerived,CBase>::exists<<endl;
cout<< "Conversion from CBase to CDerived : "<<Conversion<CBase,CDerived>::exists2Way<<endl;
cout<<"is CBase and CDerived the same type: "<<Conversion<CBase,CDerived>::sameType<<endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
cout<< "conversion from CConvertToBase to CBase : "<<Conversion<CConvertToBase,CBase>::exists<<endl;
cout<< "Conversion from CConvertToBase to CDerived : "<<Conversion<CConvertToBase,CDerived>::exists<<endl<<endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
//Is T derived from U
std::cout<< "CDerived is the super class or the same class of CBase: "<<SuperSubclass<CDerived, CBase>::value<<std::endl;
std::cout << "CBase is the super class or the same class of CDerived: " << SuperSubclass<CBase, CDerived>::value << std::endl;
std::cout << "COther is the super class or the same class of CBase:" << SuperSubclass<COther, CBase>::value << std::endl;
std::cout << "CBase is the super class or the same class of COther: " << SuperSubclass<CBase, COther>::value << std::endl;
std::cout << "CConvertToBase is the super class or the same class of CBase: " << SuperSubclass<CConvertToBase, CBase>::value << std::endl;
std::cout << "CBase is the super class or the same class of CConvertToBase: " << SuperSubclass<CBase, CConvertToBase>::value << std::endl;
std::cout << "void is the super class or the same class of CBase: " << SuperSubclass<void, CBase>::value << std::endl;
std::cout << "COther is the super class or the same class of void: " << SuperSubclass<COther, void>::value << std::endl;
std::cout << "void is the super class or the same class of void: " << SuperSubclass<void, void>::value << std::endl;
std::cout << "CBase is the super class or the same class of CBase: " << SuperSubclass<CBase, CBase>::value << std::endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
std::cout << std::endl;
![](http://www.cppblog.com/Images/OutliningIndicators/InBlock.gif)
//Is T derived from U, use strict version which exclude the same type
std::cout << "CDerived is the super class of CBase : " << SuperSubclassStrict<CDerived, CBase>::value << std::endl;
std::cout << "CBase is the super class of CDerived : : " << SuperSubclassStrict<CBase, CDerived>::value << std::endl;
std::cout << "COther is the super class of CBase : : " << SuperSubclassStrict<COther, CBase>::value << std::endl;
std::cout << "CBase is the super class of COther : : " << SuperSubclassStrict<CBase, COther>::value << std::endl;
std::cout << "CConvertToBase is the super class of CBase : : " << SuperSubclassStrict<CConvertToBase, CBase>::value << std::endl;
std::cout << "CBase is the super class of CConvertToBase : : " << SuperSubclassStrict<CBase, CConvertToBase>::value << std::endl;
std::cout << "void is the super class of CBase : : " << SuperSubclassStrict<void, CBase>::value << std::endl;
std::cout << "COther is the super class of void : : " << SuperSubclassStrict<COther, void>::value << std::endl;
std::cout << "void is the super class of void : : " << SuperSubclassStrict<void, void>::value << std::endl;
std::cout << "CBase is the super class of CBase : : " << SuperSubclassStrict<CBase, CBase>::value << std::endl;
} 张张见识哦!~~~
|