C++ STL type_traits.h

最新推荐文章于 2025-03-13 10:34:35 发布

pisuto

最新推荐文章于 2025-03-13 10:34:35 发布

阅读量387

点赞数

分类专栏： STL学习文章标签： c++ stl

本文链接：https://blog.youkuaiyun.com/pisuto/article/details/108874714

版权

STL学习专栏收录该内容

13 篇文章

订阅专栏

本文详细介绍了 C++ 标准模板库（STL）中的 type_traits 头文件，探讨了其在类型检测、类型转换和类型属性获取等方面的重要作用。通过实例解析，帮助开发者更好地理解和利用 type_traits 进行静态类型检查和优化编译期代码。

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

全部代码

#pragma once


#include <type_traits> // 可以继续添加

namespace tinySTL {

	// enable_if

	template<bool B, typename T = void>
	struct enable_if {};

	template<typename T> 
	struct enable_if<true, T> {
		using type = T;
	};

	template<bool B, typename T = void>
	using enable_if_t = typename enable_if<B, T>::type;

	// remove_reference

	template<typename T>
	struct remove_refernece {
		using type = T;
	};

	template<typename T>
	struct remove_refernece<T&> {
		using type = T;
	};

	template<typename T>
	struct remove_refernece<T&&> {
		using type = T;
	};

	template<typename T>
	using remove_reference_t = typename remove_refernece<T>::type;

	// true_type & false_type

	template <typename T, T v>
	struct m_integral_constant {
		static constexpr T value = v;
	};

	template<bool b>
	using m_bool_constant = m_integral_constant<bool, b>;

	using m_true_type = m_bool_constant<true>;
	using m_false_type = m_bool_constant<false>;

	template <typename T1, typename T2>
	struct pair;

	// is_pair

	template <typename T>
	struct is_pair : m_false_type {};

	template <typename T1, typename T2>
	struct is_pair<pair<T1, T2>> : m_true_type {};

	// is_unbounded_array

	template<typename T>
	struct is_unbounded_array : std::false_type {};

	template<typename T>
	struct is_unbounded_array<T[]> :std::true_type {};

	template<typename T>
	struct is_bounded_array : std::false_type {};

	template<typename T, ::std::size_t N>
	struct is_bounded_array<T[N]> : std::true_type {};

}