MyTinySTL之type_traits

根据GitHub上的

https://github.com/Alinshans/MyTinySTL

编写自己stl
1.type_traits.h

#ifndef MYTINY_TYPE_TRAITS_H_
#define MYTINY_YYPE_TRAITS_H_
//提取类型信息
#include <type_traits>
namespace  mystl
{
	//helper struct
	template <class T,T v>
	struct m_intergal_constant
	{
		static constexpr T value = v;
	};
	
	template <bool b>
	using m_bool_constant = m_intergal_constant <bool, b>;
	
	typedef m_bool_constant<true> m_true_type;
	typedef m_bool_constant<false> m_false_type;
/* 
	type traits
	is_pair
	forward declaration begin
*/

	template <class T1, class T2>
	struct pair;
	
// forword declaration end
	template <class T>
	struct is_pair : mystl::m_false_type {};

	template <class T1,class T2>
	struct is_pair<mystl::pair<T1, T2>> : mystl::m_true_type {};
}
//namespace mystl
#endif

知识点：

1. type_traits

type_traits是C++11提供的模板元基础库。
type_traits可实现在编译期计算、判断、转换、查询等等功能。
type_traits提供了编译期的true和false。
c++中源码

// type_traits中源码
template <class T, T val>
struct integral_constant
{
   typedef integral_constant<T, val>  type;
   typedef T                          value_type;
   static const T value = val;
};
// ture type
typedef integral_constant<bool, true>  true_type;
// flase type
typedef integral_constant<bool, false> false_type;

详细解释转https://blog.csdn.net/timecur/article/details/97640167

2. template
   模板是C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。
   通常有两种形式：函数模板和类模板；
   函数模板针对仅参数类型不同的函数（这里因为是编译器生成的函数签名依赖于函数名和参数列表）；
   类模板针对仅数据成员和成员函数类型不同的类。

template <class 形参名，class 形参名，......> 
返回类型 函数名(参数列表)
{
    函数体
}

其中template和class是关键字。
其中class可以用typename 代替，在这里typename 和class没区别。
typename的作用同class一样表明后面的符号为一个类型，这样在定义模板的时候就可以使用下面的方式了： template<typename T>......

在模板定义语法中关键字class与typename的作用完全一样。
typename另外一个作用为：使用嵌套依赖类型(nested depended name)，

class MyArray 
{ 
public：
    typedef int LengthType;
    .....
}
template<class T>
void MyMethod( T myarr ) 
{ 
    typedef typename T::LengthType LengthType; 
    LengthType length = myarr.GetLength; 
}

这个时候typename的作用就是告诉c++编译器，typename后面的字符串为一个类型名称，而不是成员函数或者成员变量，这个时候如果前面没有typename，编译器没有任何办法知道T::LengthType是一个类型还是一个成员名称（静态数据成员或者静态函数），所以编译不能够通过。

<>括号中的参数叫模板形参，模板形参和函数形参很相像，模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的成员变量和成员函数，即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函数时提供的模板实参来初始化模板形参，
一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实例。

后续知识点更新