_IsPtrType -- STL type checking on compile-time -- Substitution Failure Is Not An Error (SFINAE)

最新推荐文章于 2024-07-22 19:04:40 发布

原创最新推荐文章于 2024-07-22 19:04:40 发布 · 612 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#struct #class #compiler #output

C/C++ 专栏收录该内容

2 篇文章

订阅专栏

本文介绍了一种使用C++模板元编程进行类型检查的方法，包括如何将布尔值转换为类型(__true_type 和 __false_type)，如何判断一个类型是否是指针类型，并通过编译时错误演示了检查的有效性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

struct __true_type {};
struct __false_type {};
//bool to type
template <int _Is> struct __bool2type {
typedef __true_type _Ret;
};
template <> // icl supports both kinds of partial specialization
struct __bool2type<1> { typedef __true_type _Ret; };
// template <>
struct __bool2type<0> { typedef __false_type _Ret; };
//type to bool
template <class __bool_type>
struct __type2bool {
enum {_Ret = 1};
};
template <class _Tp>  struct _IsPtr { enum { _Ret = 0 }; };
// Partial specializations
template <class _Tp> struct _IsPtr<_Tp*> { enum { _Ret = 1 }; };
template <class _Tp>  struct _IsPtrType {
enum { is_ptr = _IsPtr<_Tp>::_Ret };
typedef typename __bool2type<is_ptr>::_Ret _Type;
static _Type _Ret() { return _Type();}
};
// end of STL source

// Type checkers
void checkTrueType(const __true_type&) {}
void checkFalseType(const __false_type&) {}
template<class T>
void isPtrType(T) {
checkTrueType(_IsPtrType<T*>::_Ret());
}

template<class T>
void notPtrType(T) {
checkFalseType(_IsPtrType<T*>::_Ret());
}
int main()
{
char* it = 0;
isPtrType(it);
   notPtrType(it); // Compile-time error
return 0;
}
// output: (Intel C++ Compiler 9.1)
// E:dhb's  DocumentsVC 6 Projects
// STL_CompileTime_TypeCheckCheckIterator.cpp(52):
// error: no suitable user-defined conversion
//    from "_IsPtrType<char **>::_Type"
//    to "const __false_type" exists
//    checkFalseType(_IsPtrType<T*>::_Ret());
//   ^
//           detected during instantiation of
//           "void notPtrType(T) [with T=char *]"