概念库提供基础语言概念的定义，它们能用于进行模板实参的编译时校验，以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。
标准库中的大多数概念一同加上了语法及语义要求。通常，编译器只能检查语法要求。若在使用点语义要求未得到满足，则程序为病式，不要求诊断。
类型支持（基本类型、RTTI、类型特性）
指定类型为整型类型
std::integral| template < class T > | (C++20 起) |
概念 integral<T> 若且唯若 T 为整数类型才得到满足。
参阅
| is_integral (C++11) | 检查类型是否为整型 (类模板) |
调用示例 （c++11）
#include <iostream>
#include <type_traits>class E
{
public:template<class T> E(T&&) { }
};class A {};class B : public A {};class C {};class D
{
public:operator C(){return c;} C c;
};namespace std
{
template< class T >
using is_integral_v = typename is_integral<T>::value;template < class T >
constexpr bool integral = is_integral<T>::value;
}int main()
{std::cout << std::boolalpha;std::cout << "std::is_integral<A>::value: "<< std::is_integral<A>::value << std::endl;std::cout << "std::is_integral<E>::value: "<< std::is_integral<E>::value << std::endl;std::cout << "std::is_integral<float>::value: "<< std::is_integral<float>::value << std::endl;std::cout << "std::is_integral<int>::value: "<< std::is_integral<int>::value << std::endl;std::cout << "std::is_integral<bool>::value: "<< std::is_integral<bool>::value << std::endl;std::cout << "-----------------------------------------------" << std::endl;std::cout << std::endl;std::cout << "std::integral<A>: "<< std::integral<A> << std::endl;std::cout << "std::integral<E>: "<< std::integral<E> << std::endl;std::cout << "std::integral<float>: "<< std::integral<float> << std::endl;std::cout << "std::integral<int>: "<< std::integral<int> << std::endl;std::cout << "std::integral<bool>: "<< std::integral<bool> << std::endl;std::cout << std::endl;return 0;
}
输出
std::is_integral<A>::value: false
std::is_integral<E>::value: false
std::is_integral<float>::value: false
std::is_integral<int>::value: true
std::is_integral<bool>::value: true
-----------------------------------------------std::integral<A>: false
std::integral<E>: false
std::integral<float>: false
std::integral<int>: true
std::integral<bool>: true
