c++ type trait 之 检验类型关系(Type Relation)

本文展示了一系列C++标准库中的类型特质示例,包括类型比较、基类判断、类型转换等,帮助读者理解如何使用这些强大的工具进行类型检查。

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

#include <iostream>

using namespace std;

int main()
{
    cout << boolalpha;
    // is_same<T1,T2> T1和T2类型是否相同(包括const volatile修饰符)
    cout << is_same<const int&, int>::value << endl;
    // is_base_of<T,D> T是否是D的基类
    cout << is_base_of<char, string>::value << endl;
    // is_convertible<T,D> T能否装换成D
    cout << is_convertible<double, int>::value << endl;
    // is_constructible<T,..Args> 能否用Args...初始化T
    cout << is_constructible<string, char, double>::value << endl;
    // is_trivially_constructible<T,...Args> 能用Args...平凡(隐式)初始化T
    cout << is_trivially_constructible<string, char, double>::value << endl;
    // is_nothrow_constructible<T,..Args> 能否用Args...初始化T且不抛出异常
    cout << is_nothrow_constructible<string, char, double>::value << endl;
    // is_assignable<T,D> 类型T能否被类型D赋值
    cout << is_assignable<double, int>::value << endl;
    // is_trivially_assignable<T,D> 类型T能被类型D平凡赋值
    cout << is_trivially_assignable<double, int>::value << endl;
    // is_nothrow_assignable<T,D> 类型T能被类型D赋值且不抛出异常
    cout << is_nothrow_assignable<double,int>::value;
    //uses_allocator<T,Alloc> Alloc可被转换T::allocator_type
    system("pause");
    return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值