C++标准模板（STL）- 类型支持 （类型属性，is_volatile，is_trivial，is_const）

类型特性

类型特性定义一个编译时基于模板的结构，以查询或修改类型的属性。

试图特化定义于 头文件的模板导致未定义行为，除了 std::common_type 可依照其所描述特化。

定义于头文件的模板可以用不完整类型实例化，除非另外有指定，尽管通常禁止以不完整类型实例化标准库模板。

类型属性

定义于头文件

继承自 std::integral_constant

成员常量

value [静态]

若 T 为 const 限定类型则为 true ，否则为 false (公开静态成员常量)

成员函数

operator bool	转换对象为 bool ，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

类型	定义
value_type	bool
type	std::integral_constant

注意

若 T 为引用类型则 is_const::value 始终为 false 。检查可能为引用的类型的常性的正确方式是移除引用： is_const::type> 。

 可能的实现

template struct is_const          : std::false_type {};
template struct is_const : std::true_type {};

检查类型是否为 const 限定

std::is_const

template< class T > struct is_const;

(C++11 起)

若 T 为 const 限定类型（即 const 或 const volatile ），则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > inline constexpr bool is_const_v = is_const::value;

(C++17 起)

 调用示例

#include 
#include 

int main()
{
    std::cout << std::boolalpha;
    std::cout << "std::is_const::value:            "
              << std::is_const::value << std::endl; // false
    std::cout << "std::is_const::value:      "
              << std::is_const::value << std::endl; // true
    std::cout << "std::is_const::value:     "
              << std::is_const::value << std::endl; // false
    std::cout << "std::is_const::value:     "
              << std::is_const::value << std::endl; // true
    std::cout << "std::is_const::value:     "
              << std::is_const::value << std::endl; // false
    std::cout << "std::is_const::type>::value:   "
              << std::is_const::type>::value << std::endl; // true

    return 0;
}

输出

检查类型是否为 volatile 限定

std::is_volatile

template< class T > struct is_volatile;

(C++11 起)

若 T 为 volatile 限定类型（即 volatile 或 const volatile ），则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > inline constexpr bool is_volatile_v = is_volatile::value;

(C++17 起)

 可能的实现

template struct is_volatile             : std::false_type {};
template struct is_volatile : std::true_type {};

调用示例

#include 
#include 

int main()
{
    std::cout << std::boolalpha;
    std::cout << "std::is_volatile::value:         "
              << std::is_volatile::value << std::endl;
    std::cout << "std::is_volatile::value:"
              << std::is_volatile::value << std::endl;

    return 0;
}

输出 

检查类型是否平凡

std::is_trivial

template< class T > struct is_trivial;

(C++11 起)

若 T 为平凡类型 (TrivialType) （即标量类型、有平凡默认构造函数的可平凡复制类，或这些类/类型的数组，可有 cv 限定），则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。

若 std::remove_all_extents_t 是（可有 cv 限定的） void 以外的不完整类型，则行为未定义。

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > inline constexpr bool is_trivial_v = is_trivial::value;

(C++17 起)

可能的实现

template< class T >
struct is_trivial : std::integral_constant< 
    bool,
    std::is_trivially_copyable::value &&
    std::is_trivially_default_constructible::value > {};

调用示例

#include 
#include 

struct A
{
    int m;
};

struct B
{
    B() {}
};

int main()
{
    std::cout << std::boolalpha;
    std::cout << "std::is_trivial::value:    "
              << std::is_trivial::value << std::endl;
    std::cout << "std::is_trivial::value:    "
              << std::is_trivial::value << std::endl;

    return 0;
}

输出