STL源码分析——type_traits

最新推荐文章于 2023-02-10 21:32:25 发布

ShenHang_

最新推荐文章于 2023-02-10 21:32:25 发布

阅读量327

点赞数

CC 4.0 BY-SA版权

分类专栏： STL源码

本文链接：https://blog.csdn.net/ShenHang_/article/details/105910400

STL源码专栏收录该内容

23 篇文章

订阅专栏

本文深入探讨C++11中的type_traits库，详细解释如何利用type_traits进行编译期计算、判断和类型转换。通过具体实例展示了is_const和integral_constant的实现，帮助读者理解元编程在C++中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

type_traits

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

// type_traits中源码
//is_const的实现
//以下为了和实际源代码区分，全部加了my
template<typename _Tp>
struct my_is_const
	: public my_false_type
{ };    // 泛化版本

template<typename _Tp>
struct my_is_const<_Tp const>
	: public my_true_type
{ };    // 偏特化版本

// integral_constant
template<typename _Tp, _Tp __v>
struct my_integral_constant
{
	static constexpr _Tp                  value = __v;//静态数据成员
	typedef _Tp                           value_type;
	typedef my_integral_constant<_Tp, __v>   type;

};


typedef my_integral_constant<bool, true>     my_true_type;

typedef my_integral_constant<bool, false>    my_false_type;

int main()
{
	cout << my_is_const<int>::value << endl;//0
	cout << is_const<int>::value << endl;//0
	cout << my_is_const<const int>::value << endl;//1
	cout << is_const<const int>::value << endl;//1
	system("pause");
	return 0;
}