C++标准模板（STL）- 概念库 (C++20) - 指定类型为无符号的整型类型 - （std::unsigned_integral）

概念库提供基础语言概念的定义，它们能用于进行模板实参的编译时校验，以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。

标准库中的大多数概念一同加上了语法及语义要求。通常，编译器只能检查语法要求。若在使用点语义要求未得到满足，则程序为病式，不要求诊断。

类型支持（基本类型、RTTI、类型特性）

指定类型为无符号的整型类型

std::unsigned_integral

定义于头文件 <concepts>
template < class T > concept unsigned_integral = std::integral<T> && !std::signed_integral<T>;		(C++20 起)

概念 unsigned_integral<T> 若且唯若 T 是整数类型且 std::is_signed_v<T> 为 false 才得到满足。

注意

unsigned_integral<T> 可以为不是有符号整数类型的类型，例如 bool 所满足。

参阅

is_integral (C++11)	检查类型是否为整型 (类模板)
is_signed (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 >
using is_signed_v = typename is_signed<T>::value;

template < class T >
constexpr bool integral = is_integral<T>::value;

template < class T >
constexpr bool signed_integral = (std::is_integral<T>::value) && (std::is_signed<T>::value);

template < class T >
constexpr bool unsigned_integral = (std::is_integral<T>::value) && (!std::is_signed<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<B>::value:       "
              << std::is_integral<B>::value << std::endl;
    std::cout << "std::is_integral<C>::value:       "
              << std::is_integral<C>::value << std::endl;
    std::cout << "std::is_integral<D>::value:       "
              << std::is_integral<D>::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::boolalpha;

    std::cout << "std::is_signed<A>::value:       "
              << std::is_signed<A>::value << std::endl;
    std::cout << "std::is_signed<B>::value:       "
              << std::is_signed<B>::value << std::endl;
    std::cout << "std::is_signed<C>::value:       "
              << std::is_signed<C>::value << std::endl;
    std::cout << "std::is_signed<D>::value:       "
              << std::is_signed<D>::value << std::endl;
    std::cout << "std::is_signed<E>::value:       "
              << std::is_signed<E>::value << std::endl;
    std::cout << "std::is_signed<float>::value:   "
              << std::is_signed<float>::value << std::endl;
    std::cout << "std::is_signed<int>::value:     "
              << std::is_signed<int>::value << std::endl;
    std::cout << "std::is_signed<bool>::value:    "
              << std::is_signed<bool>::value << std::endl;

    std::cout << "-----------------------------------------------" << std::endl;
    std::cout << std::endl;

    std::cout << "std::unsigned_integral<A>:       "
              << std::unsigned_integral<A> << std::endl;
    std::cout << "std::unsigned_integral<B>:       "
              << std::unsigned_integral<B> << std::endl;
    std::cout << "std::unsigned_integral<C>:       "
              << std::unsigned_integral<C> << std::endl;
    std::cout << "std::unsigned_integral<D>:       "
              << std::unsigned_integral<D> << std::endl;
    std::cout << "std::unsigned_integral<E>:       "
              << std::unsigned_integral<E> << std::endl;
    std::cout << "std::unsigned_integral<float>:   "
              << std::unsigned_integral<float> << std::endl;
    std::cout << "std::unsigned_integral<int>:     "
              << std::unsigned_integral<int> << std::endl;
    std::cout << "std::unsigned_integral<bool>:    "
              << std::unsigned_integral<bool> << std::endl;
    std::cout << std::endl;

    return 0;
}

输出

std::is_integral<A>::value:       false
std::is_integral<B>::value:       false
std::is_integral<C>::value:       false
std::is_integral<D>::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::is_signed<A>::value:       false
std::is_signed<B>::value:       false
std::is_signed<C>::value:       false
std::is_signed<D>::value:       false
std::is_signed<E>::value:       false
std::is_signed<float>::value:   true
std::is_signed<int>::value:     true
std::is_signed<bool>::value:    false
-----------------------------------------------

std::unsigned_integral<A>:       false
std::unsigned_integral<B>:       false
std::unsigned_integral<C>:       false
std::unsigned_integral<D>:       false
std::unsigned_integral<E>:       false
std::unsigned_integral<float>:   false
std::unsigned_integral<int>:     false
std::unsigned_integral<bool>:    true