STL_type_traits.h

✍✍✍

#pragma once
#ifndef MYTINYSTL_TYPE_TRAITS_H_
#define MYTINYSTL_TYPE_TRAITS_H_

//这个头文件用于提取类型信息

//use standard header for type_traits
#include <type_traits>

namespace mystl
{
	//helper struct

	template <class T,T v>
	struct m_integral_constant
	{	//常量表达式，在编译期就可以计算出结果的表达式
		static constexpr T value = v;
	};

	template <bool b>
	//类型重命名
	using m_bool_constant = m_integral_constant<bool, b>;

	//typedef m_bool_constant<true>  m_true_type;
	using   m_true_type  = m_bool_constant<true>;
	using   m_flase_type = m_bool_constant<false>;

	/*************************************************************/
	//type_traits

	//is_pair

	// --- forward declaration begin
	template <class T1,class T2>
	struct pair;
	// --- forward 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{};
}

#endif // !MYTINYSTL_TYPE_TRAITS_H_