从Lambda表达式理解auto函数指针类型：两种写法为何类型一致？哪种更优？

为什么两者类型完全相同？ #

这是由C++的auto类型推导规则决定的：

• 对于auto fptr_b = func：函数名func在赋值语境下会隐式转换为函数指针类型int (*)(int)，auto会直接推导为这个指针类型，最终fptr_b的类型就是int (*)(int)。
• 对于auto* fptr_a = func：auto*要求初始化表达式必须是指针类型（否则编译报错）。这里func同样隐式转为int (*)(int)，编译器会把auto推导为函数类型int(int)，加上*修饰后，最终auto*的完整类型就是int (*)(int)，和前者完全一致。

两种写法只是推导路径不同，但最终都得到了相同的函数指针类型。

哪种写法更值得推荐？ #

分场景来看：

• 优先推荐auto*：这种写法明确强调变量是指针类型，可读性更强，同时自带编译期校验——如果初始化表达式意外不是指针（比如误写为函数调用func(0)），编译器会直接报错，避免隐式推导成非指针类型的bug，尤其适合团队协作的代码场景。
• auto适合简洁场景：如果变量命名已经清晰表明是函数指针（比如fptr前缀），且上下文不会产生歧义，用auto可以让代码更简洁，也是合理的选择。

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