decltype是C++11引入的关键字，作用是在编译阶段推导表达式的类型，推导结果可以作为类型说明符使用，在很多需要获取表达式类型的场景中非常实用。
decltype基础用法
decltype的基本语法格式为decltype(表达式)，它会返回对应表达式的类型，常见的使用方式有以下几种：
- 推导变量类型：直接获取已定义变量的类型
- 推导表达式类型：获取运算表达式的结果类型
- 推导函数返回类型：获取函数调用返回的结果类型
下面是基础的用法示例：
#include <iostream>
#include <typeinfo>
int main() {
int a = 10;
// 推导变量a的类型
decltype(a) b = 20;
std::cout << typeid(b).name() << std::endl; // 输出i，代表int类型
double x = 1.5, y = 2.5;
// 推导表达式x + y的类型
decltype(x + y) sum = x + y;
std::cout << typeid(sum).name() << std::endl; // 输出d，代表double类型
// 定义测试函数
int func() {
return 100;
}
// 推导函数返回类型
decltype(func()) ret = func();
std::cout << typeid(ret).name() << std::endl; // 输出i，代表int类型
return 0;
}
decltype类型推导规则
decltype的推导规则会根据表达式的形式有所不同，主要分为以下几类：
1. 表达式是普通变量或普通表达式
如果表达式是一个不带括号的普通变量，或者是一个普通的非引用、非指针的表达式，decltype会直接返回该表达式的类型，不会保留引用或const属性相关的额外修饰（除非表达式本身带有这些修饰）。
#include <iostream>
#include <typeinfo>
int main() {
const int c = 10;
decltype(c) d = 20; // d的类型是const int
// d = 30; 报错，因为d是const类型
int e = 5;
int& ref_e = e;
decltype(ref_e) ref_f = e; // ref_f的类型是int&，保留引用属性
ref_f = 10;
std::cout << e << std::endl; // 输出10，ref_f修改会影响e
return 0;
}
2. 表达式是函数调用
如果表达式是一个函数调用，decltype会返回函数返回值的类型，不会实际执行函数，仅在编译期推导类型。
#include <iostream>
#include <typeinfo>
// 返回值为double的函数
double get_value() {
return 3.14;
}
int main() {
decltype(get_value()) val = 2.5; // val类型是double
std::cout << typeid(val).name() << std::endl; // 输出d
return 0;
}
3. 表达式是左值且带括号的变量
如果表达式是一个带括号的变量，且该变量是左值，decltype会推导出该变量的引用类型。
#include <iostream>
#include <typeinfo>
int main() {
int a = 10;
decltype(a) b = 20; // b类型是int
decltype((a)) c = a; // c类型是int&，因为(a)是带括号的左值表达式
c = 30;
std::cout << a << std::endl; // 输出30
return 0;
}
4. 表达式是右值
如果表达式是一个右值（比如字面量、临时对象等），decltype会返回该右值的类型，不会返回引用类型。
#include <iostream>
#include <typeinfo>
int main() {
decltype(10) a = 20; // 10是右值，a类型是int
decltype(std::string("test")) str = "hello"; // 临时对象是右值，str类型是std::string
std::cout << typeid(str).name() << std::endl;
return 0;
}
decltype应用场景
1. 模板编程中推导返回类型
在模板函数中，返回值类型可能依赖于模板参数，使用decltype可以动态推导返回类型，避免手动指定类型的麻烦。
#include <iostream>
// 模板函数，返回两个参数相加的结果，返回类型由decltype推导
template <typename T1, typename T2>
auto add(T1 a, T2 b) -> decltype(a + b) {
return a + b;
}
int main() {
int a = 10;
double b = 2.5;
auto ret = add(a, b);
std::cout << ret << std::endl; // 输出12.5，ret类型是double
return 0;
}
2. 泛型编程中定义与表达式类型一致的变量
在泛型场景中，需要定义和某个表达式类型完全一致的变量时，decltype可以直接获取对应类型，保证类型匹配。
#include <iostream>
#include <vector>
int main() {
std::vector<int> vec = {1, 2, 3, 4};
// 获取vector元素迭代器的类型
decltype(vec.begin()) it = vec.begin();
for (; it != vec.end(); ++it) {
std::cout << *it << " ";
}
// 输出1 2 3 4
return 0;
}
3. 配合auto实现复杂类型声明
当类型比较复杂（比如嵌套的模板类型、引用类型等），可以结合auto和decltype简化代码，提升可读性。
#include <iostream>
#include <map>
#include <string>
int main() {
std::map<std::string, int> score_map = {{"Alice", 90}, {"Bob", 85}};
// 使用decltype获取map的value_type类型，配合auto简化声明
for (auto& pair : score_map) {
decltype(pair.second) score = pair.second;
std::cout << pair.first << " score is " << score << std::endl;
}
return 0;
}
使用注意事项
- decltype推导的是表达式的静态类型，不会执行表达式本身，所以不用担心函数调用或表达式运算带来的副作用。
- 带括号的变量表达式和不带括号的推导结果可能不同，使用时要特别注意左值带括号的情况。
- 和auto推导不同，decltype会保留引用和const属性，在需要保留这些修饰的场景中更适用。