/* concept_checks.h @功能,这个文件没有用到其他头文件,所以可以先分析。 概念检查。 使用宏是因为找到了代码有规律的重复出现,这样可以极大的减少代码量。但是让人一眼 看不出来到底是做什么的,那么我该怎么做呢?有个办法就是把实际值传入进去,手动 进行扩展。 日期,2012年10月19日 星期五 博客,http://blog.csdn.net/shunqiziranhao007/article/details/8138231 环境,win7-32-vs2010 */ /* Use these macro like assertions断言, but they assert properties on types (usually template arguments). In technical terms they verify whether a type "models" a "concept". This set of requirements and the terminology used here is derived from the book "Generic Programming and the STL"《泛型编程和STL》 by Matt Austern (Addison Wesley). For further information please consult that book. The requirements also are intended to match the ANSI/ISO C++ standard. This file covers the basic concepts and the iterator concepts. There are several other files that provide the requirements for the STL containers: container_concepts.h sequence_concepts.h assoc_container_concepts.h Jeremy Siek, 1999 TO DO: - some issues with regards to concept classification and mutability including AssociativeContianer -> ForwardContainer and SortedAssociativeContainer -> ReversibleContainer - HashedAssociativeContainer - Allocator - Function Object Concepts */ #ifndef __CONCEPT_CHECKS_H #define __CONCEPT_CHECKS_H // 判断是否使用概念检查,注意两种情况下的代码写法 #ifndef __STL_USE_CONCEPT_CHECKS // 不使用概念检查的写法 // Some compilers lack the features that are necessary for concept checks. // On those compilers we define the concept check macros to do nothing. #define __STL_REQUIRES(__type_var, __concept) do {} while(0) #define __STL_CLASS_REQUIRES(__type_var, __concept) \ static int __##__type_var##_##__concept #define __STL_CONVERTIBLE(__type_x, __type_y) do {} while(0) #define __STL_REQUIRES_SAME_TYPE(__type_x, __type_y) do {} while(0) #define __STL_CLASS_REQUIRES_SAME_TYPE(__type_x, __type_y) \ static int __##__type_x##__type_y##_require_same_type #define __STL_GENERATOR_CHECK(__func, __ret) do {} while(0) #define __STL_CLASS_GENERATOR_CHECK(__func, __ret) \ static int __##__func##__ret##_generator_check #define __STL_UNARY_FUNCTION_CHECK(__func, __ret, __arg) do {} while(0) #define __STL_CLASS_UNARY_FUNCTION_CHECK(__func, __ret, __arg) \ static int __##__func##__ret##__arg##_unary_function_check #define __STL_BINARY_FUNCTION_CHECK(__func, __ret, __first, __second) \ do {} while(0) #define __STL_CLASS_BINARY_FUNCTION_CHECK(__func, __ret, __first, __second) \ static int __##__func##__ret##__first##__second##_binary_function_check #define __STL_REQUIRES_BINARY_OP(__opname, __ret, __first, __second) \ do {} while(0) #define __STL_CLASS_REQUIRES_BINARY_OP(__opname, __ret, __first, __second) \ static int __##__opname##__ret##__first##__second##_require_binary_op #else /* __STL_USE_CONCEPT_CHECKS */ // This macro tests whether the template argument "__type_var" // satisfies the requirements必要条件 of "__concept". // Here is a list of concepts that we know how to check: // _Allocator // _Assignable // _DefaultConstructible // _EqualityComparable // _LessThanComparable // _TrivialIterator // _InputIterator // _OutputIterator // _ForwardIterator // _BidirectionalIterator // _RandomAccessIterator // _Mutable_TrivialIterator // _Mutable_ForwardIterator // _Mutable_BidirectionalIterator // _Mutable_RandomAccessIterator // 查询某个类型是否符合某个概念 // __x是局部函数指针,__x = __x;这样赋值的作用是? 是为了减少未引用警告,而不是 // 调用这个函数,我了个去。 // x是个函数指针,它的参数类型是我们要查找的类型,返回值为空。那么赋给x的东西是 // 什么呢?它是概念的类型特化的概念必要条件违反检查。 #define __STL_REQUIRES(__type_var, __concept) \ do { \ void (*__x)( __type_var ) = __concept##_concept_specification< __type_var >\ ::__concept##_requirement_violation; __x = __x; } while (0) // Use this to check whether type X is convertible to type Y #define __STL_CONVERTIBLE(__type_x, __type_y) \ do { \ void (*__x)( __type_x , __type_y ) = _STL_CONVERT_ERROR< __type_x , \ __type_y >::__type_X_is_not_convertible_to_type_Y; \ __x = __x; } while (0) // Use this to test whether two template arguments are the same type #define __STL_REQUIRES_SAME_TYPE(__type_x, __type_y) \ do { \ void (*__x)( __type_x , __type_y ) = _STL_SAME_TYPE_ERROR< __type_x, \ __type_y >::__type_X_not_same_as_type_Y; \ __x = __x; } while (0) // function object checks #define __STL_GENERATOR_CHECK(__func, __ret) \ do { \ __ret (*__x)( __func&) = \ _STL_GENERATOR_ERROR< \ __func, __ret>::__generator_requirement_violation; \ __x = __x; } while (0) #define __STL_UNARY_FUNCTION_CHECK(__func, __ret, __arg) \ do { \ __ret (*__x)( __func&, const __arg& ) = \ _STL_UNARY_FUNCTION_ERROR< \ __func, __ret, __arg>::__unary_function_requirement_violation; \ __x = __x; } while (0) #define __STL_BINARY_FUNCTION_CHECK(__func, __ret, __first, __second) \ do { \ __ret (*__x)( __func&, const __first&, const __second& ) = \ _STL_BINARY_FUNCTION_ERROR< \ __func, __ret, __first, __second>::__binary_function_requirement_violation; \ __x = __x; } while (0) #define __STL_REQUIRES_BINARY_OP(__opname, __ret, __first, __second) \ do { \ __ret (*__x)( __first&, __second& ) = _STL_BINARY##__opname##_ERROR< \ __ret, __first, __second>::__binary_operator_requirement_violation; \ __ret (*__y)( const __first&, const __second& ) = \ _STL_BINARY##__opname##_ERROR< __ret, __first, __second>:: \ __const_binary_operator_requirement_violation; \ __y = __y; __x = __x; } while (0) #ifdef __STL_NO_FUNCTION_PTR_IN_CLASS_TEMPLATE // 为类定义必要的概念 #define __STL_CLASS_REQUIRES(__type_var, __concept) #define __STL_CLASS_REQUIRES_SAME_TYPE(__type_x, __type_y) #define __STL_CLASS_GENERATOR_CHECK(__func, __ret) #define __STL_CLASS_UNARY_FUNCTION_CHECK(__func, __ret, __arg) #define __STL_CLASS_BINARY_FUNCTION_CHECK(__func, __ret, __first, __second) #define __STL_CLASS_REQUIRES_BINARY_OP(__opname, __ret, __first, __second) #else // Use this macro inside of template classes, where you would // like to place requirements on the template arguments to the class // Warning: do not pass pointers and such (e.g. T*) in as the __type_var, // since the type_var is used to construct identifiers. Instead typedef // the pointer type, then use the typedef name for the __type_var. // #define __STL_CLASS_REQUIRES(__type_var, __concept) \ typedef void (* __func##__type_var##__concept)( __type_var ); \ template <__func##__type_var##__concept _Tp1> \ struct __dummy_struct_##__type_var##__concept { }; \ static __dummy_struct_##__type_var##__concept< \ __concept##_concept_specification< \ __type_var>::__concept##_requirement_violation> \ __dummy_ptr_##__type_var##__concept #define __STL_CLASS_REQUIRES_SAME_TYPE(__type_x, __type_y) \ typedef void (* __func_##__type_x##__type_y##same_type)( __type_x, \ __type_y ); \ template < __func_##__type_x##__type_y##same_type _Tp1> \ struct __dummy_struct_##__type_x##__type_y##_same_type { }; \ static __dummy_struct_##__type_x##__type_y##_same_type< \ _STL_SAME_TYPE_ERROR<__type_x, __type_y>::__type_X_not_same_as_type_Y> \ __dummy_ptr_##__type_x##__type_y##_same_type #define __STL_CLASS_GENERATOR_CHECK(__func, __ret) \ typedef __ret (* __f_##__func##__ret##_generator)( __func& ); \ template <__f_##__func##__ret##_generator _Tp1> \ struct __dummy_struct_##__func##__ret##_generator { }; \ static __dummy_struct_##__func##__ret##_generator< \ _STL_GENERATOR_ERROR< \ __func, __ret>::__generator_requirement_violation> \ __dummy_ptr_##__func##__ret##_generator #define __STL_CLASS_UNARY_FUNCTION_CHECK(__func, __ret, __arg) \ typedef __ret (* __f_##__func##__ret##__arg##_unary_check)( __func&, \ const __arg& ); \ template <__f_##__func##__ret##__arg##_unary_check _Tp1> \ struct __dummy_struct_##__func##__ret##__arg##_unary_check { }; \ static __dummy_struct_##__func##__ret##__arg##_unary_check< \ _STL_UNARY_FUNCTION_ERROR< \ __func, __ret, __arg>::__unary_function_requirement_violation> \ __dummy_ptr_##__func##__ret##__arg##_unary_check #define __STL_CLASS_BINARY_FUNCTION_CHECK(__func, __ret, __first, __second) \ typedef __ret (* __f_##__func##__ret##__first##__second##_binary_check)( __func&, const __first&,\ const __second& ); \ template <__f_##__func##__ret##__first##__second##_binary_check _Tp1> \ struct __dummy_struct_##__func##__ret##__first##__second##_binary_check { }; \ static __dummy_struct_##__func##__ret##__first##__second##_binary_check< \ _STL_BINARY_FUNCTION_ERROR<__func, __ret, __first, __second>:: \ __binary_function_requirement_violation> \ __dummy_ptr_##__func##__ret##__first##__second##_binary_check #define __STL_CLASS_REQUIRES_BINARY_OP(__opname, __ret, __first, __second) \ typedef __ret (* __f_##__func##__ret##__first##__second##_binary_op)(const __first&, \ const __second& ); \ template <__f_##__func##__ret##__first##__second##_binary_op _Tp1> \ struct __dummy_struct_##__func##__ret##__first##__second##_binary_op { }; \ static __dummy_struct_##__func##__ret##__first##__second##_binary_op< \ _STL_BINARY##__opname##_ERROR<__ret, __first, __second>:: \ __binary_operator_requirement_violation> \ __dummy_ptr_##__func##__ret##__first##__second##_binary_op #endif /* helper class for finding non-const version of a type. Need to have something to assign to etc. when testing constant iterators. */ template <class _Tp> struct _Mutable_trait { typedef _Tp _Type; }; template <class _Tp> struct _Mutable_trait<const _Tp> { typedef _Tp _Type; }; // helper function for avoiding compiler warnings about unused variables // 这是一个很好的技巧 template <class _Type> void __sink_unused_warning(_Type) { } // 用来检查类型x是否可以转化为类型y,不可以编译器会报错。 template <class _TypeX, class _TypeY> struct _STL_CONVERT_ERROR { static void __type_X_is_not_convertible_to_type_Y(_TypeX __x, _TypeY) { _TypeY __y = __x; __sink_unused_warning(__y); } }; template <class _Type> struct __check_equal { }; template <class _TypeX, class _TypeY> struct _STL_SAME_TYPE_ERROR { static void __type_X_not_same_as_type_Y(_TypeX , _TypeY ) { __check_equal<_TypeX> t1 = __check_equal<_TypeY>(); } }; // Some Functon Object Checks,函数包括,函数名,返回值类型,参数类型,还有 // 函数类型,无元,一元还是二元,(元指参数数目) // 产生器必要条件违反检查?——产生器是没有参数的函数 template <class _Func, class _Ret> struct _STL_GENERATOR_ERROR { static _Ret __generator_requirement_violation(_Func& __f) { return __f(); } }; template <class _Func> struct _STL_GENERATOR_ERROR<_Func, void> { static void __generator_requirement_violation(_Func& __f) { __f(); } }; template <class _Func, class _Ret, class _Arg> struct _STL_UNARY_FUNCTION_ERROR { static _Ret __unary_function_requirement_violation(_Func& __f, const _Arg& __arg) { return __f(__arg); } }; template <class _Func, class _Arg> struct _STL_UNARY_FUNCTION_ERROR<_Func, void, _Arg> { static void __unary_function_requirement_violation(_Func& __f, const _Arg& __arg) { __f(__arg); } }; template <class _Func, class _Ret, class _First, class _Second> struct _STL_BINARY_FUNCTION_ERROR { static _Ret __binary_function_requirement_violation(_Func& __f, const _First& __first, const _Second& __second) { return __f(__first, __second); } }; template <class _Func, class _First, class _Second> struct _STL_BINARY_FUNCTION_ERROR<_Func, void, _First, _Second> { static void __binary_function_requirement_violation(_Func& __f, const _First& __first, const _Second& __second) { __f(__first, __second); } }; // op是操作符,name是操作符的名称,这样就创建了一个新的结构体,结构体名不重复。 // 函数的版本都有两种,const和非const #define __STL_DEFINE_BINARY_OP_CHECK(_OP, _NAME) \ template <class _Ret, class _First, class _Second> \ struct _STL_BINARY##_NAME##_ERROR { \ static _Ret \ __const_binary_operator_requirement_violation(const _First& __first, \ const _Second& __second) { \ return __first _OP __second; \ } \ static _Ret \ __binary_operator_requirement_violation(_First& __first, \ _Second& __second) { \ return __first _OP __second; \ } \ } __STL_DEFINE_BINARY_OP_CHECK(==, _OP_EQUAL); __STL_DEFINE_BINARY_OP_CHECK(!=, _OP_NOT_EQUAL); __STL_DEFINE_BINARY_OP_CHECK(<, _OP_LESS_THAN); __STL_DEFINE_BINARY_OP_CHECK(<=, _OP_LESS_EQUAL); __STL_DEFINE_BINARY_OP_CHECK(>, _OP_GREATER_THAN); __STL_DEFINE_BINARY_OP_CHECK(>=, _OP_GREATER_EQUAL); __STL_DEFINE_BINARY_OP_CHECK(+, _OP_PLUS); __STL_DEFINE_BINARY_OP_CHECK(*, _OP_TIMES); __STL_DEFINE_BINARY_OP_CHECK(/, _OP_DIVIDE); __STL_DEFINE_BINARY_OP_CHECK(-, _OP_SUBTRACT); __STL_DEFINE_BINARY_OP_CHECK(%, _OP_MOD); // ... // TODO, add unary operators (prefix and postfix) /* The presence of this class is just to trick EDG into displaying these error messages before any other errors. Without the classes, the errors in the functions get reported after other class errors deep inside the library. The name choice just makes for an eye catching error message */ // 看看某个类是否有某种函数,直接调用它,如果没有就会报错,相当于进行测试。 struct _STL_ERROR { // 是否有默认构造函数 template <class _Type> static _Type __default_constructor_requirement_violation(_Type) { return _Type(); } template <class _Type> static _Type __assignment_operator_requirement_violation(_Type __a) { __a = __a; return __a; } template <class _Type> static _Type __copy_constructor_requirement_violation(_Type __a) { _Type __c(__a); return __c; } template <class _Type> static _Type __const_parameter_required_for_copy_constructor(_Type /* __a */, const _Type& __b) { _Type __c(__b); return __c; } template <class _Type> static _Type __const_parameter_required_for_assignment_operator(_Type __a, const _Type& __b) { __a = __b; return __a; } template <class _Type> static _Type __less_than_comparable_requirement_violation(_Type __a, _Type __b) { if (__a < __b || __a > __b || __a <= __b || __a >= __b) return __a; return __b; } template <class _Type> static _Type __equality_comparable_requirement_violation(_Type __a, _Type __b) { if (__a == __b || __a != __b) return __a; return __b; } template <class _Iterator> static void __dereference_operator_requirement_violation(_Iterator __i) { __sink_unused_warning(*__i); } template <class _Iterator> static void __dereference_operator_and_assignment_requirement_violation(_Iterator __i) { *__i = *__i; } template <class _Iterator> static void __preincrement_operator_requirement_violation(_Iterator __i) { ++__i; } template <class _Iterator> static void __postincrement_operator_requirement_violation(_Iterator __i) { __i++; } template <class _Iterator> static void __predecrement_operator_requirement_violation(_Iterator __i) { --__i; } template <class _Iterator> static void __postdecrement_operator_requirement_violation(_Iterator __i) { __i--; } template <class _Iterator, class _Type> static void __postincrement_operator_and_assignment_requirement_violation(_Iterator __i, _Type __t) { *__i++ = __t; } template <class _Iterator, class _Distance> static _Iterator __iterator_addition_assignment_requirement_violation(_Iterator __i, _Distance __n) { __i += __n; return __i; } template <class _Iterator, class _Distance> static _Iterator __iterator_addition_requirement_violation(_Iterator __i, _Distance __n) { __i = __i + __n; __i = __n + __i; return __i; } template <class _Iterator, class _Distance> static _Iterator __iterator_subtraction_assignment_requirement_violation(_Iterator __i, _Distance __n) { __i -= __n; return __i; } template <class _Iterator, class _Distance> static _Iterator __iterator_subtraction_requirement_violation(_Iterator __i, _Distance __n) { __i = __i - __n; return __i; } template <class _Iterator, class _Distance> static _Distance __difference_operator_requirement_violation(_Iterator __i, _Iterator __j, _Distance __n) { __n = __i - __j; return __n; } template <class _Exp, class _Type, class _Distance> static _Type __element_access_operator_requirement_violation(_Exp __x, _Type*, _Distance __n) { return __x[__n]; } template <class _Exp, class _Type, class _Distance> static void __element_assignment_operator_requirement_violation(_Exp __x, _Type* __t, _Distance __n) { __x[__n] = *__t; } }; /* _STL_ERROR */ /* Associated Type Requirements */ __STL_BEGIN_NAMESPACE template <class _Iterator> struct iterator_traits; __STL_END_NAMESPACE // 类型定义必要条件违反检查,在容器中需要这些类型 template <class _Iter> struct __value_type_type_definition_requirement_violation { typedef typename __STD::iterator_traits<_Iter>::value_type value_type; }; template <class _Iter> struct __difference_type_type_definition_requirement_violation { typedef typename __STD::iterator_traits<_Iter>::difference_type difference_type; }; template <class _Iter> struct __reference_type_definition_requirement_violation { typedef typename __STD::iterator_traits<_Iter>::reference reference; }; template <class _Iter> struct __pointer_type_definition_requirement_violation { typedef typename __STD::iterator_traits<_Iter>::pointer pointer; }; template <class _Iter> struct __iterator_category_type_definition_requirement_violation { typedef typename __STD::iterator_traits<_Iter>::iterator_category iterator_category; }; /* Assignable Requirements */ // 这是一个概念特化的实例, // 可赋值概念,需要满足赋值操作,拷贝构造函数,还有它们的const版本 template <class _Type> struct _Assignable_concept_specification { // 这是概念特化的概念违反检查的一个实例 static void _Assignable_requirement_violation(_Type __a) { _STL_ERROR::__assignment_operator_requirement_violation(__a); _STL_ERROR::__copy_constructor_requirement_violation(__a); _STL_ERROR::__const_parameter_required_for_copy_constructor(__a,__a); _STL_ERROR::__const_parameter_required_for_assignment_operator(__a,__a); } }; /* DefaultConstructible Requirements */ template <class _Type> struct _DefaultConstructible_concept_specification { static void _DefaultConstructible_requirement_violation(_Type __a) { _STL_ERROR::__default_constructor_requirement_violation(__a); } }; /* EqualityComparable Requirements */ template <class _Type> struct _EqualityComparable_concept_specification { static void _EqualityComparable_requirement_violation(_Type __a) { _STL_ERROR::__equality_comparable_requirement_violation(__a, __a); } }; /* LessThanComparable Requirements */ template <class _Type> struct _LessThanComparable_concept_specification { static void _LessThanComparable_requirement_violation(_Type __a) { _STL_ERROR::__less_than_comparable_requirement_violation(__a, __a); } }; /* TrivialIterator Requirements */ // 不可变版本? template <class _TrivialIterator> struct _TrivialIterator_concept_specification { static void _TrivialIterator_requirement_violation(_TrivialIterator __i) { typedef typename __value_type_type_definition_requirement_violation<_TrivialIterator>:: value_type __T; // Refinement of Assignable _Assignable_concept_specification<_TrivialIterator>:: _Assignable_requirement_violation(__i); // Refinement of DefaultConstructible _DefaultConstructible_concept_specification<_TrivialIterator>:: _DefaultConstructible_requirement_violation(__i); // Refinement of EqualityComparable _EqualityComparable_concept_specification<_TrivialIterator>:: _EqualityComparable_requirement_violation(__i); // Valid Expressions _STL_ERROR::__dereference_operator_requirement_violation(__i); } }; // 可变版本? template <class _TrivialIterator> struct _Mutable_TrivialIterator_concept_specification { static void _Mutable_TrivialIterator_requirement_violation(_TrivialIterator __i) { _TrivialIterator_concept_specification<_TrivialIterator>:: _TrivialIterator_requirement_violation(__i); // Valid Expressions _STL_ERROR::__dereference_operator_and_assignment_requirement_violation(__i); } }; /* InputIterator Requirements */ template <class _InputIterator> struct _InputIterator_concept_specification { static void _InputIterator_requirement_violation(_InputIterator __i) { // Refinement of TrivialIterator _TrivialIterator_concept_specification<_InputIterator>:: _TrivialIterator_requirement_violation(__i); // Associated Types __difference_type_type_definition_requirement_violation<_InputIterator>(); __reference_type_definition_requirement_violation<_InputIterator>(); __pointer_type_definition_requirement_violation<_InputIterator>(); __iterator_category_type_definition_requirement_violation<_InputIterator>(); // Valid Expressions _STL_ERROR::__preincrement_operator_requirement_violation(__i); _STL_ERROR::__postincrement_operator_requirement_violation(__i); } }; /* OutputIterator Requirements */ template <class _OutputIterator> struct _OutputIterator_concept_specification { static void _OutputIterator_requirement_violation(_OutputIterator __i) { // Refinement of Assignable _Assignable_concept_specification<_OutputIterator>:: _Assignable_requirement_violation(__i); // Associated Types __iterator_category_type_definition_requirement_violation<_OutputIterator>(); // Valid Expressions _STL_ERROR::__dereference_operator_requirement_violation(__i); _STL_ERROR::__preincrement_operator_requirement_violation(__i); _STL_ERROR::__postincrement_operator_requirement_violation(__i); _STL_ERROR:: __postincrement_operator_and_assignment_requirement_violation(__i, *__i); } }; /* ForwardIterator Requirements */ template <class _ForwardIterator> struct _ForwardIterator_concept_specification { static void _ForwardIterator_requirement_violation(_ForwardIterator __i) { // Refinement of InputIterator _InputIterator_concept_specification<_ForwardIterator>:: _InputIterator_requirement_violation(__i); } }; template <class _ForwardIterator> struct _Mutable_ForwardIterator_concept_specification { static void _Mutable_ForwardIterator_requirement_violation(_ForwardIterator __i) { _ForwardIterator_concept_specification<_ForwardIterator>:: _ForwardIterator_requirement_violation(__i); // Refinement of OutputIterator _OutputIterator_concept_specification<_ForwardIterator>:: _OutputIterator_requirement_violation(__i); } }; /* BidirectionalIterator Requirements */ template <class _BidirectionalIterator> struct _BidirectionalIterator_concept_specification { static void _BidirectionalIterator_requirement_violation(_BidirectionalIterator __i) { // Refinement of ForwardIterator _ForwardIterator_concept_specification<_BidirectionalIterator>:: _ForwardIterator_requirement_violation(__i); // Valid Expressions _STL_ERROR::__predecrement_operator_requirement_violation(__i); _STL_ERROR::__postdecrement_operator_requirement_violation(__i); } }; template <class _BidirectionalIterator> struct _Mutable_BidirectionalIterator_concept_specification { static void _Mutable_BidirectionalIterator_requirement_violation( _BidirectionalIterator __i) { _BidirectionalIterator_concept_specification<_BidirectionalIterator>:: _BidirectionalIterator_requirement_violation(__i); // Refinement of mutable_ForwardIterator _Mutable_ForwardIterator_concept_specification<_BidirectionalIterator>:: _Mutable_ForwardIterator_requirement_violation(__i); typedef typename __value_type_type_definition_requirement_violation< _BidirectionalIterator>::value_type __T; typename _Mutable_trait<__T>::_Type* __tmp_ptr = 0; // Valid Expressions _STL_ERROR:: __postincrement_operator_and_assignment_requirement_violation(__i, *__tmp_ptr); } }; /* RandomAccessIterator Requirements */ template <class _RandAccIter> struct _RandomAccessIterator_concept_specification { static void _RandomAccessIterator_requirement_violation(_RandAccIter __i) { // Refinement of BidirectionalIterator _BidirectionalIterator_concept_specification<_RandAccIter>:: _BidirectionalIterator_requirement_violation(__i); // Refinement of LessThanComparable _LessThanComparable_concept_specification<_RandAccIter>:: _LessThanComparable_requirement_violation(__i); typedef typename __value_type_type_definition_requirement_violation<_RandAccIter> ::value_type value_type; typedef typename __difference_type_type_definition_requirement_violation<_RandAccIter> ::difference_type _Dist; typedef typename _Mutable_trait<_Dist>::_Type _MutDist; // Valid Expressions _STL_ERROR::__iterator_addition_assignment_requirement_violation(__i, _MutDist()); _STL_ERROR::__iterator_addition_requirement_violation(__i, _MutDist()); _STL_ERROR:: __iterator_subtraction_assignment_requirement_violation(__i, _MutDist()); _STL_ERROR::__iterator_subtraction_requirement_violation(__i, _MutDist()); _STL_ERROR::__difference_operator_requirement_violation(__i, __i, _MutDist()); typename _Mutable_trait<value_type>::_Type* __dummy_ptr = 0; _STL_ERROR::__element_access_operator_requirement_violation(__i, __dummy_ptr, _MutDist()); } }; template <class _RandAccIter> struct _Mutable_RandomAccessIterator_concept_specification { static void _Mutable_RandomAccessIterator_requirement_violation(_RandAccIter __i) { _RandomAccessIterator_concept_specification<_RandAccIter>:: _RandomAccessIterator_requirement_violation(__i); // Refinement of mutable_BidirectionalIterator _Mutable_BidirectionalIterator_concept_specification<_RandAccIter>:: _Mutable_BidirectionalIterator_requirement_violation(__i); typedef typename __value_type_type_definition_requirement_violation<_RandAccIter> ::value_type value_type; typedef typename __difference_type_type_definition_requirement_violation<_RandAccIter> ::difference_type _Dist; typename _Mutable_trait<value_type>::_Type* __tmp_ptr = 0; // Valid Expressions _STL_ERROR::__element_assignment_operator_requirement_violation(__i, __tmp_ptr, _Dist()); } }; // 类型定义查询,看看类有没有该种类型定义 #define __STL_TYPEDEF_REQUIREMENT(__REQUIREMENT) \ template <class Type> \ struct __##__REQUIREMENT##__typedef_requirement_violation { \ typedef typename Type::__REQUIREMENT __REQUIREMENT; \ } __STL_TYPEDEF_REQUIREMENT(value_type); __STL_TYPEDEF_REQUIREMENT(difference_type); __STL_TYPEDEF_REQUIREMENT(size_type); __STL_TYPEDEF_REQUIREMENT(reference); __STL_TYPEDEF_REQUIREMENT(const_reference); __STL_TYPEDEF_REQUIREMENT(pointer); __STL_TYPEDEF_REQUIREMENT(const_pointer); template <class _Alloc> struct _Allocator_concept_specification { static void _Allocator_requirement_violation(_Alloc __a) { // Refinement of DefaultConstructible _DefaultConstructible_concept_specification<_Alloc>:: _DefaultConstructible_requirement_violation(__a); // Refinement of EqualityComparable _EqualityComparable_concept_specification<_Alloc>:: _EqualityComparable_requirement_violation(__a); // Associated Types __value_type__typedef_requirement_violation<_Alloc>(); __difference_type__typedef_requirement_violation<_Alloc>(); __size_type__typedef_requirement_violation<_Alloc>(); __reference__typedef_requirement_violation<_Alloc>(); __const_reference__typedef_requirement_violation<_Alloc>(); __pointer__typedef_requirement_violation<_Alloc>(); __const_pointer__typedef_requirement_violation<_Alloc>(); typedef typename _Alloc::value_type _Tp; //__STL_REQUIRES_SAME_TYPE(typename _Alloc::__STL_TEMPLATE rebind<_Tp>::other, // _Alloc); } }; #endif /* __STL_USE_CONCEPT_CHECKS */ #endif /* __CONCEPT_CHECKS_H */ // Local Variables: // mode:C++ // End: