类型萃取:类型检查 Type-Traits Library:Type Checks — C++20

Type-Traits library 在C++11的时候就已经发布,但依然随着C++版本在不断更新

类型检查 Type Checks

每种类型就是十四种主要类型之一

主要类型

template <class T> struct is_void;
template <class T> struct is_integral;
template <class T> struct is_floating_point;
template <class T> struct is_array;
template <class T> struct is_pointer;
template <class T> struct is_null_pointer;
template <class T> struct is_member_object_pointer;
template <class T> struct is_member_function_pointer;
template <class T> struct is_enum;
template <class T> struct is_union;
template <class T> struct is_class;
template <class T> struct is_function;
template <class T> struct is_lvalue_reference;
template <class T> struct is_rvalue_reference;

例子:

#include <iostream>
#include <type_traits>
#include <iostream>
#include <type_traits>struct A
{int a;int f(int) { return 2011; }
};enum E
{e = 1,
};union U
{int u;
};int main()
{using namespace std;cout << boolalpha << '\n'; // boolalpha: bool 以 true 或 false输出cout << is_void<void>::value << '\n'; // true                           cout << is_integral<short>::value << '\n'; // truecout << is_floating_point<double>::value << '\n'; // truecout << is_array<int[]>::value << '\n'; // truecout << is_pointer<int*>::value << '\n'; // truecout << is_null_pointer<nullptr_t>::value << '\n'; // truecout << is_member_object_pointer<int A::*>::value << '\n'; // truecout << is_member_function_pointer<int (A::*)(int)>::value << '\n'; // truecout << is_enum<E>::value << '\n'; // truecout << is_union<U>::value << '\n'; // true cout << is_class<string>::value << '\n'; // truecout << is_function<int*(double)>::value << '\n'; // true   cout << is_lvalue_reference<int&>::value << '\n'; // truecout << is_rvalue_reference<int&&>::value << '\n'; // true
}

让我们试着实验一下这个魔法

#include <iostream>
#include <type_traits>
#include <iostream>
#include <type_traits>namespace fx
{template <class T, T v>struct intergral_constant{static constexpr T value = v;using value_type = T;using type = intergral_constant;constexpr operator value_type() const noexcept{return value;}constexpr value_type operator()() const noexcept{return value;}};using true_type = intergral_constant<bool, true>;using false_type = intergral_constant<bool, false>;template <class T>struct is_integral : public false_type{};template <>struct is_integral<bool> : public true_type{};template <>struct is_integral<char> : public true_type{};template <>struct is_integral<signed char> : public true_type{};template <>struct is_integral<unsigned char> : public true_type{};template <>struct is_integral<wchar_t> : public true_type{};template <>struct is_integral<short> : public true_type{};template <>struct is_integral<int> : public true_type{};template <>struct is_integral<long> : public true_type{};template <>struct is_integral<long long> : public true_type{};template <>struct is_integral<unsigned short> : public true_type{};template <>struct is_integral<unsigned int> : public true_type{};template <>struct is_integral<unsigned long> : public true_type{};template <>struct is_integral<unsigned long long> : public true_type{};
}int main(int argc, char* argv[])
{std::cout << fx::is_integral<int>::value << std::endl;}

fx::is_integral<>::value作为返回值,这是元函数的命名约定

自从C++17之后,有了一个更便捷的方式:

template< class T >
inline constexpr bool is_integral_v = is_integral<T>::value

这样可以使用std::integral_v<T>代替std::integral<int>::value

复合类型 Composite Type Categories

Composite data type - Wikipedia

对于主要类型和复合类型,类型萃取库提供类型属性和类型属性查询

类型属性

template <class T> struct is_const;
template <class T> struct is_volatile;
template <class T> struct is_trivial;
template <class T> struct is_trivially_copyable;
template <class T> struct is_standard_layout;
template <class T> struct is_empty;
template <class T> struct is_polymorphic;
template <class T> struct is_abstract;
template <class T> struct is_final;
template <class T> struct is_aggregate;template <class T> struct is_signed;
template <class T> struct is_unsigned;
template <class T> struct is_bounded_array;
template <class T> struct is_unbounded_array;
template <class T> struct is_scoped_enum;template <class T, class... Args> struct is_constructible;
template <class T> struct is_default_constructible;
template <class T> struct is_copy_constructible;
template <class T> struct is_move_constructible;template <class T, class U> struct is_assignable;
template <class T> struct is_copy_assignable;
template <class T> struct is_move_assignable;template <class T, class U> struct is_swappable_with;
template <class T> struct is_swappable;template <class T> struct is_destructible;template <class T, class... Args> struct is_trivially_constructible;
template <class T> struct is_trivially_default_constructible;
template <class T> struct is_trivially_copy_constructible;
template <class T> struct is_trivially_move_constructible;template <class T, class U> struct is_trivially_assignable;
template <class T> struct is_trivially_copy_assignable;
template <class T> struct is_trivially_move_assignable;
template <class T> struct is_trivially_destructible;template <class T, class... Args> struct is_nothrow_constructible;
template <class T> struct is_nothrow_default_constructible;
template <class T> struct is_nothrow_copy_constructible;
template <class T> struct is_nothrow_move_constructible;template <class T, class U> struct is_nothrow_assignable;
template <class T> struct is_nothrow_copy_assignable;
template <class T> struct is_nothrow_move_assignable;template <class T, class U> struct is_nothrow_swappable_with;
template <class T> struct is_nothrow_swappable;template <class T> struct is_nothrow_destructible;template <class T> struct has_virtual_destructor;template <class T> struct has_unique_object_representations;

类型属性查询

template <class T> struct alignment_of;
template <class T> struct rank;
template <class T, unsigned I = 0> struct extent;

template struct has_virtual_destructor;

template struct has_unique_object_representations;


### 类型属性查询```cpp
template <class T> struct alignment_of;
template <class T> struct rank;
template <class T, unsigned I = 0> struct extent;

类型萃取类型检查 Type-Traits LibraryType Checks --- C++20相关推荐

C++中的萃取机制（traits）
由来在设计迭代器(iterator)时,考虑到需要经常访问迭代器所指对象之类型,称之为该迭代器的value_type,利用内嵌类型声明typedef可轻松实现隐藏所指对象类型: template&l ...
C++ 模板类型萃取技术 traits
当函数,类或者一些封装的通用算法中的某些部分会因为数据类型不同而导致处理或逻辑不同(而我们又不希望因为数据类型的差异而修改算法本身的封装时),traits会是一种很好的解决方案.(类型测试发生在编译期 ...
C++11 类型支持之type traits
文章目录一.type_traits是什么二.type_traits通常用来做什么三.辅助基类四.类型相关判断信息获取 4.1 判断基础类型类别 4.1 判断组合类型类别 4.3 判断类型的属性 ...
泛型技巧系列：类型字典和Type Traits
注意:未经许可,本系列禁止转载. 本文所介绍的技巧,是我在研究泛型开发不久就发现并成功运用的技巧.这个技巧是突破.NET泛型限制,达到"看上去很美"境界的法宝.当然本方法也存在重大 ...
C++类型萃取之type_traits和type_info
类型萃取类型判断 typeid decltype和declval enable_if 类型萃取通过type_traits可以实现在编译期计算.查询.判断.转换和选择,增强了泛型编程的能力,也增强了 ...
type_traits 类型萃取
一. c++ traits traits是c++模板编程中使用的一种技术,主要功能: 把功能相同而参数不同的函数抽象出来,通过traits将不同的参数的相同属性提取出来,在函数中利用这些用traits ...
C/Cpp / STL / 类型萃取
作用类型萃取使用模板技术来萃取类型(包含自定义类型和内置类型)的某些特性,用以判断该类型是否含有某些特性,从而在泛型算法中来对该类型进行特殊的处理用来达到提高效率或者其他的目的. 类型萃取的实现的基 ...
type traits
Type Traits, 类型萃取,这个概念涉及到的内容太多.基本常用的萃取方法可以参考 http://en.cppreference.com/w/cpp/types 这里主要记录一下对函数的萃取技 ...
C++的类型萃取技术
http://www.cppblog.com/nacci/archive/2005/11/03/911.aspx?spm=0.0.0.0.iyJqvt&file=911.aspx 自从C++中 ...

类型萃取类型检查 Type-Traits LibraryType Checks --- C++20