浅析decltype关键字

浅析decltype关键字

前言

​ 在现代C++编程中，decltype 是一个非常有用的关键字，它允许我们在编译时推导出表达式的类型。这个特性在模板编程和类型推导中尤其重要。今天，我们就来深入探讨 decltype 的基本用法、规则以及它如何提高我们代码的可读性和灵活性。

---

1. 基本使用

decltype的语法是:

decltype (expression)

这里的括号是必不可少的，decltype的作用是“查询表达式的类型”，因此，上面语句的效果是，返回 expression 表达式的类型。注意，decltype 仅仅“查询”表达式的类型，并不会对表达式进行“求值”。

1.1 推导出表达式类型

int i = 4;
decltype(i) a; //推导结果为int。a的类型为int。

1.2 与using/typedef合用，用于定义类型。

using size_t = decltype(sizeof(0));//sizeof(a)的返回值为size_t类型
using ptrdiff_t = decltype((int*)0 - (int*)0);
using nullptr_t = decltype(nullptr);
vector<int >vec;
typedef decltype(vec.begin()) vectype;
for (vectype i = vec.begin; i != vec.end(); i++)
{
//...
}

这样和auto一样，也提高了代码的可读性。

1.3 重用匿名类型

在C++中，我们有时候会遇上一些匿名类型，如:

struct 
{
    int d ;
    double b;
}anon_s;

而借助decltype，我们可以重新使用这个匿名的结构体：

decltype(anon_s) as ;//定义了一个上面匿名的结构体

1.4 泛型编程中结合auto，用于追踪函数的返回值类型

这也是decltype最大的用途了。

template <typename T>
auto multiply(T x, T y)->decltype(x*y)
{
	return x*y;
}

2. 判别类型规则

对于decltype(e)而言，其判别结果受以下条件的影响：

• 如果e是一个