C++中能否自动声明与函数返回类型相同的局部变量？

你描述的需求在现代C中有成熟的实现方案，根据使用的C标准版本，可以选择以下几种实现方式：

C++14及以上：自动返回值推导（零额外开销） #

直接用auto作为函数返回值占位符，编译器会根据函数内return语句的表达式类型自动推导最终返回值类型，内部局部返回变量也可以直接用auto声明，全程不需要重复手写类型：

auto calculate() {
    auto ret = 0; // ret自动推导为int，函数返回值同步推导为int
    // 执行业务逻辑
    return ret;
}

这种写法的注意点：

• 函数内所有return语句返回的表达式类型必须完全一致，否则会触发编译错误
• 如果需要修改返回类型，只需要调整ret初始化值的类型即可，比如把0改为0.0，ret类型和函数返回值会同步变为double，不需要修改其他位置的类型声明

C++11及以上：类型别名方案（兼容性最好） #

如果你需要显式固定函数返回类型，不想依赖自动返回值推导，可以在函数定义前先为返回值类型定义别名，函数内部直接用别名声明局部变量，修改返回类型时只需要调整别名定义一处即可：

// 所有返回值类型相关的修改只需要改这一行
using CalcReturnType = int;

CalcReturnType calculate() {
    CalcReturnType ret = 0;
    // 执行业务逻辑
    return ret;
}

这种写法兼容所有支持C++11标准的编译器，没有额外语法学习成本，是工业界长期使用的通用方案。

C++23及以上：标准库原生获取当前函数返回类型 #

C++23标准正式新增了std::current_function_return_type_t类型萃取工具，可以直接在函数体内部获取当前函数的返回类型，和你最初期望的写法逻辑完全一致：

#include <type_traits>

int calculate() {
    // 自动推导为当前函数的返回类型int
    std::current_function_return_type_t ret = 0;
    // 执行业务逻辑
    return ret;
}

这个特性需要对应版本的编译器支持，目前GCC 13+、Clang 16+、MSVC 2022 17.7+已经完成适配。

旧标准无法直接实现decltype(return_type)写法的原因 #

在C++23之前的语法设计中，函数的返回类型不属于函数体作用域内可被名称查找的实体，编译器解析函数内部代码时，不会自动将函数返回类型作为可访问的符号暴露，因此没有原生语法可以直接在函数体内获取当前函数的返回类型。

内容的提问来源于stack exchange，提问作者Ádám Bakai