C++标准库学习之 decltype 类型指示符 typeid 运算符

先来说一下 decltype 的这个概念, decltype 是一个推到类型,在C++ 中的推到类型常常使用 auto ,但是 auto 的使用存在一些限制

举个例子

arduino 复制代码
template<class T>
auto getT(T t)-> decltype (t){
    return t;
}

在上面这段代码中,使用了模板类型,你传入的类型是什么,我就给你返回什么类型, 如果不使用 decltype 约束返回类型是 t 的类型,那么这段代码就无解了,

decltype 获取的常常是变量的左值,也就是变量的类型 ,配合 typeid 可以获取 左值类型的id

arduino 复制代码
#include <iostream>
#include <string>
#include <typeinfo>

using namespace std;

template<class  T>
auto get_decltype(T t) -> decltype(t) {
    return t;
}




int main(){
    
    
    decltype(get_decltype(10)) tsm_int =10;
    
    // typeid 返回类型是一个 typeinfo ,他在 <typeinfo> 这个包下
    cout<< "tsm 实际的类型是" << (typeid(tsm_int).name()) <<endl;

    return 0;
}

结果:

vbnet 复制代码
D:\CWorkSpace\tsmTest\cmake-build-debug\tsmTest.exe
tsm 实际的类型是i

Process finished with exit code 0

可以看到 int 的类型是i, 从网上查了一下,由于编译器的差异导致的,并不是错误

我们来增加点难度

arduino 复制代码
#include <iostream>
#include <string>
#include <typeinfo>

using namespace std;

template<class  T>
auto get_decltype(T t) -> decltype(t) {
    return t;
}



int compare(int a,int b){
    if(a>b)
        return 1;
    else return  0;
}



int main(){
    const int i=45;

    // 有点类似 java 中的 二目三项式 ,只不过他指定的是左值, java 的 二目三项式指定的是右值
    conditional< (i>100),int,conditional< (i>50) ,double ,float >::type  >::type a;

    cout<< "tsm 实际的类型是" << (typeid(a).name()) <<endl;
    return 0;
}

结果:

vbnet 复制代码
D:\CWorkSpace\tsmTest\cmake-build-debug\tsmTest.exe
tsm 实际的类型是f

Process finished with exit code 0

这里面使用了 conditional 来指定 i 在不同范围 , a 的类型是不同的,

那么 conditional 的用法又是什么样子的呢

c 复制代码
////    conditional 简单用法
conditional<false,int,double>::type b;
cout<< "tsm 实际的类型是" << (typeid(b).name()) <<endl;

源码

arduino 复制代码
template<typename _Iftrue, typename _Iffalse>
  struct conditional<false, _Iftrue, _Iffalse>
  { typedef _Iffalse type; };

从源码看起来好像也比较简单, 如果是false 使用 _Iffalse 的typename ,如果是true使用 _Iftrue 的typename

conditional typeid decltype 都是在 template 中经常被用到的地方

相关推荐
清辞8531 小时前
C++入门(底层知识C与C++的不同)
开发语言·c++·算法
fqbqrr1 小时前
2510C++,api设计原则,不除零
开发语言·c++
fqbqrr1 小时前
2510d,C++虚混杂
c++·d
科比不来it1 小时前
Go语言数据竞争Data Race 问题怎么检测?怎么解决?
开发语言·c++·golang
给大佬递杯卡布奇诺2 小时前
FFmpeg 基本API av_seek_frame函数内部调用流程分析
c++·ffmpeg·音视频
uxiang_blog2 小时前
C++进阶:重载类型转换
linux·开发语言·c++
moringlightyn3 小时前
c++11可变模版参数 emplace接口 新的类功能 lambda 包装器
开发语言·c++·笔记·其他·c++11·lambda·包装器
郝学胜-神的一滴3 小时前
使用Linux系统函数递归遍历指定目录
linux·运维·服务器·开发语言·c++·软件工程
会开花的二叉树4 小时前
C++微服务 UserServer 设计与实现
开发语言·c++·微服务
我星期八休息4 小时前
C++智能指针全面解析:原理、使用场景与最佳实践
java·大数据·开发语言·jvm·c++·人工智能·python