type_traits.h

// Filename:    type_traits.h

// Comment By:  凝霜

// E-mail:      mdl2009@vip.qq.com

// Blog:        http://blog.csdn.net/mdl13412

/*

 *

 * Copyright (c) 1997

 * 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 __TYPE_TRAITS_H

#define __TYPE_TRAITS_H

#ifndef __STL_CONFIG_H

#include <stl_config.h>

#endif

// 这个头文件提供了一个框架, 允许编译器在编译期根据类型属性派发函数的机制

// 这个框架对于编写模板代码非常有用

// 例如, 当我们需要拷贝一个未知类型的array, 它能帮助我们得知这个未知类型

// 是否具有一个trivial copy constructor, 以帮助我们决定memcpy()是否能使用

// __type_traits模板类提供了一些列的typedefs, 其值是__true_type或者__false_type

// __type_traits模板类可以接受任何类型的参数

// 模板类中的typedefs可以通过以下手段获取其正确值

//   1. general instantiation, 对于所有类型都要有保守值

//   2. 经过特化的版本

//   3. 一些编译器(例如Silicon Graphics N32 and N64 compilers)

//      会自动给所有类型提供合适的特化版本

//

// 例子:

// Copy an array of elements which have non-trivial copy constructors

// template <class T> void copy(T* source,T* destination,int n,__false_type);

// Copy an array of elements which have trivial copy constructors. Use memcpy.

// template <class T> void copy(T* source,T* destination,int n,__true_type);

//

// Copy an array of any type by using the most efficient copy mechanism

// template <class T> inline void copy(T* source,T* destination,int n)

// {

//      copy(source,destination,n,

//              typename __type_traits<T>::has_trivial_copy_constructor());

// }

struct __true_type

{

};

struct __false_type

{

};

template <class type>

struct __type_traits

{

    // 不要移除这个成员

    // 它通知能自动特化__type_traits的编译器, 现在这个__type_traits template是特化的

    // 这是为了确保万一编译器使用了__type_traits而与此处无任何关联的模板时

    // 一切也能顺利运作

   typedef __true_type     this_dummy_member_must_be_first;

   // 以下条款应当被遵守, 因为编译器有可能自动生成类型的特化版本

   //   - 你可以重新安排的成员次序

   //   - 你可以移除你想移除的成员

   //   - 一定不可以修改下列成员名称, 却没有修改编译器中的相应名称

   //   - 新加入的成员被当作一般成员, 除非编译器提供特殊支持

   typedef __false_type    has_trivial_default_constructor;

   typedef __false_type    has_trivial_copy_constructor;

   typedef __false_type    has_trivial_assignment_operator;

   typedef __false_type    has_trivial_destructor;

   typedef __false_type    is_POD_type;

};

// 以下针对C++内置的基本数据类型提供特化版本, 使其具有trivial default constructor,

// copy constructor, assignment operator, destructor

// 并标记其为POD类型

//

// 特化类型:

//         char, signed char, unsigned char,

//         short, unsigned short

//         int, unsigned int

//         long, unsigned long

//         float, double, long double

// Provide some specializations.  This is harmless for compilers that

//  have built-in __types_traits support, and essential for compilers

//  that don't.

__STL_TEMPLATE_NULL struct __type_traits<char>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<signed char>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<unsigned char>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<short>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<unsigned short>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<int>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<unsigned int>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<long>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<unsigned long>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<float>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<double>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

__STL_TEMPLATE_NULL struct __type_traits<long double>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

#ifdef __STL_CLASS_PARTIAL_SPECIALIZATION

// 针对指针提供特化

template <class T>

struct __type_traits<T*>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

#else /* __STL_CLASS_PARTIAL_SPECIALIZATION */

// 针对char *, signed char *, unsigned char *提供特化

struct __type_traits<char*>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

struct __type_traits<signed char*>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

struct __type_traits<unsigned char*>

{

   typedef __true_type    has_trivial_default_constructor;

   typedef __true_type    has_trivial_copy_constructor;

   typedef __true_type    has_trivial_assignment_operator;

   typedef __true_type    has_trivial_destructor;

   typedef __true_type    is_POD_type;

};

#endif /* __STL_CLASS_PARTIAL_SPECIALIZATION */

#endif /* __TYPE_TRAITS_H */

// Local Variables:

// mode:C++

// End:

最新文章

  1. 干货之UICollectionViewFlowLayout自定义排序和拖拽手势
  2. smtplib.SMTPDataError: (554, &#39;DT:SPM 126 smtp5错误解决办法
  3. Bmob开发指南【android端】
  4. 学习macos常用的一些快捷键笔记
  5. 瞬间从IT屌丝变大神——HTML规范
  6. android 利用反射机制获取drawable中所有的图片资源
  7. paip.索引优化---sql distict—order by 法
  8. ewebeditor下利用ckplayer增加html5 （mp4）全平台的支持
  9. Linux网络基础设施配置
  10. easyui formatter 返回easyui组件
  11. multisim&amp;proteus&amp;protel比较
  12. BZOJ 2055: 80人环游世界 [上下界费用流]
  13. centos 7 双网卡建网桥脚本实现
  14. JavaScript通过ID和name设置样式
  15. ruby the diference between gets and gets.chomp()
  16. 计算器源码(数学式python)
  17. Linux系统（虚拟机）安装禅道
  18. 跳转Activity时清除当前Activity
  19. docker镜像的创建方法docker file方式
  20. 【C++】atoi与stoi

热门文章

  1. flex hack 记录
  2. 源码安装Apache，报错：Cannot use an external APR with the bundled APR-util
  3. phpcms的基础知识和配置
  4. 【BZOJ4894】天赋 有向图生成树计数
  5. jsp联合javascript操作html
  6. iOS基础动画的KeyPath取值
  7. word2vec_basic.py
  8. 20179209《Linux内核原理与分析》安全类实验答疑
  9. [note]可持久化Trie
  10. C#基础知识之三