学步园

SGI STL中 构造函数 construct 和 destroy() 都是全局函数

//construct.h
#ifndef CONSTRUCT_H
#define CONSTRUCT_H

#include <new>
#include "type_traits.h"
#include "iterator.h"

template <typename T1, typename T2>
inline void construct(T1 *p, const T2 &value) {
	new (p) T1(value);			//placement new 表达式
}
//destroy版本1
template <typename T>
inline void destroy(T *pointer) {
	pointer->~T();				//调用类的析构函数
}

//destroy版本2
template <typename ForwardIterator>
inline void destroy(ForwardIterator first, ForwardIterator last) {
	_destroy(first, last, value_type(first));
}

template <typename ForwardIterator, typename T>
inline void _destroy(ForwardIterator first, ForwardIterator last, T*) {
	// _type_traits<T>用于取得T类别的特性  1. _false_type  2._true_type
	// 前者表示需要析构函数　后者表示无意义的析构函数
	typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
	_destroy_aux(first, last, trivial_destructor());
}

template <typename ForwardIterator>
inline void _destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {
	for( ; first != last; ++first) {
		destroy(&*first);			//调用版本1的destroy
	}  
}

template <typename ForwardIterator>
inline void _destroy_aux(ForwardIterator first, ForwardIterator last, __true_type) {}

//destroy()的特化版本 char * , wchar *
template <>
inline void destroy(char*, char*) {}

template <>
inline void destroy(wchar_t*, wchar_t*) {}

#endif

代码中的__type_traits　负责萃取取型别的特性, 可参见
点击打开链接

value_type()负责得到迭代器指向对象的类型, 可参见
点击打开链接