C++ 中 decltype 关键字使用总结

背景

在 C++ 中 auto 用于变量类型的自动推断:在声明变量的时候,根据变量初始值的类型自动为此变量选择匹配的类型,而不需要显示指定类型。
但是 auto 所修饰的变量必须被初始化,编译器需要通过初始化来确定auto 所代表的类型,即必须要定义变量。
如果仅希望得到类型,则需要使用 C++ 中另一个关键字:decltype 。

decltype

decltype 用于推导类型,对于一个给定的变量名或者表达式,decltype 能够返回其类型。
同 auto 一样,decltype 的自动类型推断发生在编译器,但 decltype 不会真正计算表达式的值。

decltype 类型推导规则

①.decltype 和变量
对于变量,decltype 会把变量的 const 属性、引用属性& 都返回。

const int x = 0;
const int& y = z;
int arr[5] = {0};
int *ptr = arr;

decltype(x) a = 1;// a 类型为 const int
decltype(y) b = a;// b 类型为 const int&
decltype(arr) var1;// var1 类型为 int[5]
decltype(ptr) var2;// var2 类型为 int *

②.decltype 和表达式
若表达式的值是一个右值,则返回其值的类型。

decltype(10) a = 1;// a 类型为 int
decltype(a+3) b = 0;// b 类型为 int
decltype(b++) c = 10;// c 类型为 int

若表达式的值是一个左值,则返回其引用类型。

int i = 3;
int arr[5] = {0};
int *ptr = &i;
decltype(true ? i:i ) var1 = 3;//var1 类型为 int&,三元运算符返回左值
decltype(++i) var2 = 2;//var2 类型为 int&,前置运算符返回左值
decltype(arr[2]) var3 = 3;//var3 类型为 int&,[]运算符返回左值
decltype(*i) var4 = 0;//var4 类型为 int&,解引用 *运算符返回左值
decltype("hello") var5 = "hello";//var5 类型为 const char(&)[5],字符串字面量是左值
decltype((i)) var6 = 1;//var6 类型为 int&,(i) 可在= 左边直接赋值,是左值

③.decltype 和函数
若表达式是一个函数,则返回函数的返回值类型,但并不调用该函数。

int& func1();
int&& func2(); 
decltype(func1()) a = 0;//a 类型为 int&
decltype(func2()) b = 0;//b 类型为 int&&

若表达式是一个函数名,则返回函数类型。

int& func();
decltype(func) f;// f 类型为 int(void)

decltype 的使用

①.推导变量类型

using size_t = decltype(sizeof(0));
vector<int> vec;
typedef decltype(vec.begin()) veciter;

②.提取函数类型

int& func();
function<decltype(func)> tmp = func; 

③.重用匿名类型

enum class{
  A,B,C
} en;
decltype(en) m_en;

④.尾置函数返回类型

auto func() ->int;

⑤.模板编程中类型推导

template<typename T1,typename T2>
auto Sum(T1 &t1,T2 &t2) -> decltype(t1+t2)
{
  return t1+t2;
}

在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值