williamr@2: /*
williamr@4:  *
williamr@2:  * Copyright (c) 1994
williamr@2:  * Hewlett-Packard Company
williamr@2:  *
williamr@2:  * Copyright (c) 1996,1997
williamr@2:  * Silicon Graphics Computer Systems, Inc.
williamr@2:  *
williamr@2:  * Copyright (c) 1997
williamr@2:  * Moscow Center for SPARC Technology
williamr@2:  *
williamr@4:  * Copyright (c) 1999
williamr@2:  * Boris Fomitchev
williamr@2:  *
williamr@2:  * This material is provided "as is", with absolutely no warranty expressed
williamr@2:  * or implied. Any use is at your own risk.
williamr@2:  *
williamr@4:  * Permission to use or copy this software for any purpose is hereby granted
williamr@2:  * without fee, provided the above notices are retained on all copies.
williamr@2:  * Permission to modify the code and to distribute modified code is granted,
williamr@2:  * provided the above notices are retained, and a notice that the code was
williamr@2:  * modified is included with the above copyright notice.
williamr@2:  *
williamr@2:  */
williamr@2: 
williamr@2: /* NOTE: This is an internal header file, included by other STL headers.
williamr@2:  *   You should not attempt to use it directly.
williamr@2:  */
williamr@2: 
williamr@2: #ifndef _STLP_INTERNAL_CONSTRUCT_H
williamr@2: #define _STLP_INTERNAL_CONSTRUCT_H
williamr@2: 
williamr@4: #if !defined (_STLP_DEBUG_UNINITIALIZED) && !defined (_STLP_INTERNAL_CSTRING)
williamr@4: #  include <stl/_cstring.h>
williamr@4: #endif
williamr@2: 
williamr@4: #ifndef _STLP_INTERNAL_NEW
williamr@2: #  include <stl/_new.h>
williamr@4: #endif
williamr@2: 
williamr@2: #ifndef _STLP_INTERNAL_ITERATOR_BASE_H
williamr@4: #  include <stl/_iterator_base.h>
williamr@4: #endif
williamr@4: 
williamr@4: #ifndef _STLP_MOVE_CONSTRUCT_FWK_H
williamr@4: #  include <stl/_move_construct_fwk.h>
williamr@2: #endif
williamr@2: 
williamr@2: _STLP_BEGIN_NAMESPACE
williamr@2: 
williamr@2: template <class _Tp>
williamr@4: inline void __destroy_aux(_Tp* __pointer, const __false_type& /*_Trivial_destructor*/)
williamr@4: { __pointer->~_Tp(); }
williamr@4: 
williamr@2: template <class _Tp>
williamr@4: inline void __destroy_aux(_Tp*, const __true_type& /*_Trivial_destructor*/) {}
williamr@2: 
williamr@2: template <class _Tp>
williamr@2: inline void _Destroy(_Tp* __pointer) {
williamr@4: #if defined (_STLP_MSVC) && (_STLP_MSVC <= 1010)
williamr@2:   __pointer;
williamr@4: #endif
williamr@2:   typedef typename __type_traits<_Tp>::has_trivial_destructor _Trivial_destructor;
williamr@2:   __destroy_aux(__pointer, _Trivial_destructor());
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:   memset(__REINTERPRET_CAST(char*, __pointer), _STLP_SHRED_BYTE, sizeof(_Tp));
williamr@4: #endif
williamr@2: }
williamr@2: 
williamr@4: template <class _Tp>
williamr@4: inline void _Destroy_Moved(_Tp* __pointer) {
williamr@4:   typedef typename __move_traits<_Tp>::complete _Trivial_destructor;
williamr@4:   __destroy_aux(__pointer, _Trivial_destructor());
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:   memset((char*)__pointer, _STLP_SHRED_BYTE, sizeof(_Tp));
williamr@4: #endif
williamr@4: }
williamr@2: 
williamr@4: #if defined (new)
williamr@4: #  define _STLP_NEW_REDEFINE new
williamr@4: #  undef new
williamr@4: #endif
williamr@4: 
williamr@4: #if defined (_STLP_DEF_CONST_PLCT_NEW_BUG)
williamr@2: template <class _T1>
williamr@2: inline void _Construct_aux (_T1* __p, const __false_type&) {
williamr@4:   _STLP_PLACEMENT_NEW (__p) _T1();
williamr@2: }
williamr@2: 
williamr@2: template <class _T1>
williamr@2: inline void _Construct_aux (_T1* __p, const __true_type&) {
williamr@4:   _STLP_PLACEMENT_NEW (__p) _T1(0);
williamr@2: }
williamr@4: #endif /* _STLP_DEF_CONST_PLCT_NEW_BUG */
williamr@2: 
williamr@2: template <class _T1>
williamr@2: inline void _Construct(_T1* __p) {
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@2:   memset((char*)__p, _STLP_SHRED_BYTE, sizeof(_T1));
williamr@4: #endif
williamr@4: #if defined (_STLP_DEF_CONST_PLCT_NEW_BUG)
williamr@4:   _Construct_aux (__p, _HasDefaultZeroValue(__p)._Answer() );
williamr@4: #else
williamr@2:   _STLP_PLACEMENT_NEW (__p) _T1();
williamr@4: #endif /* _STLP_DEF_CONST_PLCT_NEW_BUG */
williamr@2: }
williamr@2: 
williamr@4: template <class _Tp>
williamr@4: inline void _Copy_Construct(_Tp* __p, const _Tp& __val) {
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:   memset((char*)__p, _STLP_SHRED_BYTE, sizeof(_Tp));
williamr@4: #endif
williamr@4:   _STLP_PLACEMENT_NEW (__p) _Tp(__val);
williamr@2: }
williamr@2: 
williamr@4: template <class _T1, class _T2>
williamr@4: inline void _Param_Construct(_T1* __p, const _T2& __val) {
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:   memset((char*)__p, _STLP_SHRED_BYTE, sizeof(_T1));
williamr@4: #endif
williamr@4:   _STLP_PLACEMENT_NEW (__p) _T1(__val);
williamr@4: }
williamr@4: 
williamr@4: template <class _T1, class _T2>
williamr@4: inline void _Move_Construct_Aux(_T1* __p, _T2& __val, const __false_type& /*_IsPOD*/) {
williamr@4:   _STLP_PLACEMENT_NEW (__p) _T1(_STLP_PRIV _AsMoveSource(__val));
williamr@4: }
williamr@4: 
williamr@4: template <class _T1, class _T2>
williamr@4: inline void _Move_Construct_Aux(_T1* __p, _T2& __val, const __true_type& /*_IsPOD*/) {
williamr@4:   _STLP_PLACEMENT_NEW (__p) _T1(__val);
williamr@4: }
williamr@4: 
williamr@4: template <class _T1, class _T2>
williamr@4: inline void _Move_Construct(_T1* __p, _T2& __val) {
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:   memset((char*)__p, _STLP_SHRED_BYTE, sizeof(_T1));
williamr@4: #endif
williamr@4:   _Move_Construct_Aux(__p, __val, _Is_POD(__p)._Answer());
williamr@4: }
williamr@4: 
williamr@4: #if defined(_STLP_NEW_REDEFINE)
williamr@4: #  if defined (DEBUG_NEW)
williamr@4: #    define new DEBUG_NEW
williamr@4: #  endif
williamr@4: #  undef _STLP_NEW_REDEFINE
williamr@4: #endif
williamr@2: 
williamr@2: template <class _ForwardIterator, class _Tp>
williamr@4: _STLP_INLINE_LOOP void
williamr@4: __destroy_range_aux(_ForwardIterator __first, _ForwardIterator __last, _Tp*, const __false_type& /*_Trivial_destructor*/) {
williamr@4:   for ( ; __first != __last; ++__first) {
williamr@4:     __destroy_aux(&(*__first), __false_type());
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4:     memset((char*)&(*__first), _STLP_SHRED_BYTE, sizeof(_Tp));
williamr@4: #endif
williamr@4:   }
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIterator, class _Tp>
williamr@4: #if defined (_STLP_DEBUG_UNINITIALIZED)
williamr@4: _STLP_INLINE_LOOP void
williamr@4: __destroy_range_aux(_ForwardIterator __first, _ForwardIterator __last, _Tp*, const __true_type& /*_Trivial_destructor*/) {
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     memset((char*)&(*__first), _STLP_SHRED_BYTE, sizeof(_Tp));
williamr@4: }
williamr@4: #else
williamr@4: inline void
williamr@4: __destroy_range_aux(_ForwardIterator, _ForwardIterator, _Tp*, const __true_type& /*_Trivial_destructor*/) {}
williamr@4: #endif
williamr@4: 
williamr@4: template <class _ForwardIterator, class _Tp>
williamr@4: inline void
williamr@4: __destroy_range(_ForwardIterator __first, _ForwardIterator __last, _Tp *__ptr) {
williamr@2:   typedef typename __type_traits<_Tp>::has_trivial_destructor _Trivial_destructor;
williamr@4:   __destroy_range_aux(__first, __last, __ptr, _Trivial_destructor());
williamr@2: }
williamr@2: 
williamr@2: template <class _ForwardIterator>
williamr@4: inline void _Destroy_Range(_ForwardIterator __first, _ForwardIterator __last) {
williamr@4:   __destroy_range(__first, __last, _STLP_VALUE_TYPE(__first, _ForwardIterator));
williamr@2: }
williamr@2: 
williamr@4: inline void _Destroy_Range(char*, char*) {}
williamr@4: #if defined (_STLP_HAS_WCHAR_T) // dwa 8/15/97
williamr@4: inline void _Destroy_Range(wchar_t*, wchar_t*) {}
williamr@4: inline void _Destroy_Range(const wchar_t*, const wchar_t*) {}
williamr@4: #endif
williamr@2: 
williamr@4: template <class _ForwardIterator, class _Tp>
williamr@4: inline void
williamr@4: __destroy_mv_srcs(_ForwardIterator __first, _ForwardIterator __last, _Tp *__ptr) {
williamr@4:   typedef typename __move_traits<_Tp>::complete _CompleteMove;
williamr@4:   __destroy_range_aux(__first, __last, __ptr, _CompleteMove());
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIterator>
williamr@4: inline void _Destroy_Moved_Range(_ForwardIterator __first, _ForwardIterator __last) {
williamr@4:   __destroy_mv_srcs(__first, __last, _STLP_VALUE_TYPE(__first, _ForwardIterator));
williamr@4: }
williamr@4: 
williamr@4: #if defined (_STLP_DEF_CONST_DEF_PARAM_BUG)
williamr@4: // Those adaptors are here to fix common compiler bug regarding builtins:
williamr@4: // expressions like int k = int() should initialize k to 0
williamr@4: template <class _Tp>
williamr@4: inline _Tp __default_constructed_aux(_Tp*, const __false_type&) {
williamr@4:   return _Tp();
williamr@4: }
williamr@4: template <class _Tp>
williamr@4: inline _Tp __default_constructed_aux(_Tp*, const __true_type&) {
williamr@4:   return _Tp(0);
williamr@4: }
williamr@4: 
williamr@4: template <class _Tp>
williamr@4: inline _Tp __default_constructed(_Tp* __p) {
williamr@4:   return __default_constructed_aux(__p, _HasDefaultZeroValue(__p)._Answer());
williamr@4: }
williamr@4: 
williamr@4: #  define _STLP_DEFAULT_CONSTRUCTED(_TTp) __default_constructed((_TTp*)0)
williamr@4: #else
williamr@4: #  define _STLP_DEFAULT_CONSTRUCTED(_TTp) _TTp()
williamr@4: #endif /* _STLP_DEF_CONST_DEF_PARAM_BUG */
williamr@4: 
williamr@4: 
williamr@4: #if !defined (_STLP_NO_ANACHRONISMS)
williamr@2: // --------------------------------------------------
williamr@2: // Old names from the HP STL.
williamr@2: 
williamr@2: template <class _T1, class _T2>
williamr@4: inline void construct(_T1* __p, const _T2& __val) {_Param_Construct(__p, __val); }
williamr@2: template <class _T1>
williamr@4: inline void construct(_T1* __p) { _STLP_STD::_Construct(__p); }
williamr@2: template <class _Tp>
williamr@2: inline void destroy(_Tp* __pointer) {  _STLP_STD::_Destroy(__pointer); }
williamr@2: template <class _ForwardIterator>
williamr@4: inline void destroy(_ForwardIterator __first, _ForwardIterator __last) { _STLP_STD::_Destroy_Range(__first, __last); }
williamr@4: #endif /* _STLP_NO_ANACHRONISMS */
williamr@2: 
williamr@2: _STLP_END_NAMESPACE
williamr@2: 
williamr@2: #endif /* _STLP_INTERNAL_CONSTRUCT_H */
williamr@2: 
williamr@2: // Local Variables:
williamr@2: // mode:C++
williamr@2: // End: