C++中为何decltype(++c)返回int&而decltype(a++)返回int

这个差异来自两个核心C++规则：一是内置类型前置/后置自增运算符的返回值设计差异，二是decltype的类型推导规则，两者共同导致了你看到的编译结果。

1. 前置和后置的返回值本质不同 #

• 前置自增++var：逻辑是先将变量自身的值加1，操作完成后直接返回原变量本身，返回类型是对应类型的左值引用。对int32_t类型来说就是int32_t&。也正因为返回的是可修改的左值，你可以写出++c = 100这样的合法代码，直接给自增后的变量赋值。
• 后置自增var++：逻辑是先把变量当前的值拷贝出一个临时副本，再给原变量加1，最后返回那个存了旧值的临时对象。临时对象是纯右值，内置类型的后置自增返回的就是值类型，对int32_t来说就是int32_t，没有引用。你如果写a++ = 100会直接编译报错，因为纯右值不能放在赋值运算符左侧被赋值。

2. decltype对表达式的推导规则和值类别绑定 #

decltype推导表达式类型时，会严格根据表达式的值类别返回对应类型：

• 若表达式是左值，推导结果为该类型的左值引用T&
• 若表达式是纯右值，推导结果为该类型本身T
• 若表达式是亡值，推导结果为该类型的右值引用T&&（本案例不涉及）

对应到代码逻辑 #

• decltype(a++)中，a++是返回临时int的纯右值，因此推导结果为int32_t，声明的变量b是普通int类型。普通内置类型变量声明时不强制要求初始化（只是未初始化的局部变量值不确定，属于未定义行为，但语法层面合法），所以这行可以编译通过。
• decltype(++c)中，++c是返回c自身的左值，因此推导结果为int32_t&，声明的变量d是int的左值引用。而C++语法强制要求左值引用在声明时必须绑定到一个合法的对象，不允许声明后不初始化，因此直接触发对应的编译错误。

补充说明：decltype属于不求值语境，推导时只会静态分析括号内表达式的类型和值类别，不会真的执行表达式，所以代码里的a和c不会因为写在decltype中真的发生自增。

内容的提问来源于stack exchange，提问作者DailyLearner