forked from KolibriOS/kolibrios
812 lines
28 KiB
C++
812 lines
28 KiB
C++
/*
|
|
* Copyright (c) 1999
|
|
* Silicon Graphics Computer Systems, Inc.
|
|
*
|
|
* Permission to use, copy, modify, distribute and sell this software
|
|
* and its documentation for any purpose is hereby granted without fee,
|
|
* provided that the above copyright notice appear in all copies and
|
|
* that both that copyright notice and this permission notice appear
|
|
* in supporting documentation. Silicon Graphics makes no
|
|
* representations about the suitability of this software for any
|
|
* purpose. It is provided "as is" without express or implied warranty.
|
|
*/
|
|
|
|
#ifndef __CONCEPT_CHECKS_H
|
|
#define __CONCEPT_CHECKS_H
|
|
|
|
/*
|
|
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" 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 __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
|
|
|
|
#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) { }
|
|
|
|
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);
|
|
}
|
|
};
|
|
|
|
|
|
#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) 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 */
|
|
|
|
|
|
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:
|