引言：

https://github.com/0voice

auto和decltype都是类型推导，但是两者的推导逻辑和适用场景有明显区别。

auto类型推导

auto是c++11引入的关键字，auto是根据初始化值，推导类型。核心作用：让编译器根据初始化表达式自动推导类型

基本用法：

//基本用法
auto a=10;//推导为int类型
auto b=3.14;//推导为double类型
auto c="hello";//推导为 const char *类型
//高级用法简化代码
vector<int>v1={1,2,3};
auto it=v1.begin();
//推导为迭代器 vector<int>::iterator类型

推导规则：

忽略顶层const/volatile：顶层的const会被忽略，底层的const不会被忽略。

volatile关键字：禁止编译器优化。

const int a=20;
auto a1=a;//auto的类型为int，忽略了const
auto& a2=a;//主要是引用的原因所以auto类型为const int类型
const int*p=&a;
auto a3=p;//auto类型为const int *类型

数组和函数退化为指针：如果初始化值是数组名或函数名，auto 会推导为对应的指针类型（除非用引用接收）。

int arr[5] = {1, 2, 3, 4, 5};
auto a = arr;     // a 是 int*（数组名退化为指针）
auto& b = arr;    // b 是 int(&)[5]（引用接收，保留数组类型）

decltype类型推导

作用：推导一个表达式的类型，但不实际执行该表达式

基本用法：

#include<iostream>
using namespace std;
//语法decltype(表达式)
int main(){
int x=10;
double y=3.14;
decltype(x) a=30;
decltype(y) b;
cout<<"a的类型"<<typeid(a).name()<<endl;//int
cout<<"b的类型"<<typeid(b).name()<<endl;//double
}

推到规则：

保留所有类型修饰：decltype 会完整保留表达式的 const、volatile、引用等属性，与 auto 不同。

const int a=20;
decltype(a) x;//类型为const int类型
const int x = 10;
int& rx = x;

decltype(x) a;     // a 是 const int（保留x的const）
decltype(rx) b = x;// b 是 int&（保留rx的引用属性）

根据表达式的值类别（左值 / 右值）推导：

/*1表达式是左值
decltype推导为“引用类型”*/
/*2表达式是右值
decltype推导为“值类型”
*/
int x = 10;

decltype(x) a;       // x是左值，但这里表达式是“变量本身”，推导为int（特殊规则）
decltype((x)) b = x; // (x)是左值表达式（带括号的变量），推导为int&（引用）
decltype(10 + 20) c; // 10+20是右值（临时结果），推导为int

用于模板和复杂类型场景：

当需要根据表达式类型定义变量或函数返回类型时，decltype 非常有用。

// 模板中推导返回类型（C++11）
template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {  // 尾置返回类型，用decltype推导t+u的类型
    return t + u;
}

auto和decltype的核心区别：

特性	auto	decltype
推导依据	变量的初始化值	表达式类型
初始化要求	必须初始化	不用初始化
const/引用处理	可能忽略顶层 const，引用会被 “解引用”	完整保留 const、引用等所有类型修饰
使用场景	简化变量声明（尤其是复杂类型）	精确获取表达式类型（如模板、返回类型）

总结：

auto侧重于简化变量声明

decltype用与获取表达式类型