关于C++ function pointer声明、参数使用的困惑及原理咨询

1. 先搞懂fn_p1和fn_p2的本质差异 #

• using fn_p1 = void(int); 定义的是函数类型，它描述的是“接受int参数、返回void的函数”这个类型本身，不是指针。你可以把它理解成一种“函数的蓝图”，但不能直接用它声明变量。
• using fn_p2 = void (*)(int); 定义的是函数指针类型，是指向上述函数类型的指针，本质是存储函数地址的变量类型。

2. 为什么functional(f)和functional(*f)都能正常运行？ #

当函数参数被声明为函数类型（比如void functional(fn_p1 f)）时，C++编译器会自动将该参数调整为对应的函数指针类型。也就是说，这个声明等价于：

void functional(void (*f)(int)) {
    f(1);
}

这是C++继承自C的语法规则，目的是简化函数指针作为参数的写法。因此：

• 传递函数指针f（fn_p2类型）时，编译器直接匹配调整后的参数类型，没问题。
• 传递解引用后的*f（函数类型）时，编译器会自动把它转换成函数指针，同样匹配参数类型。

3. 为什么fn_p1 f1 = ...这类赋值全部失败？ #

函数类型（fn_p1）不能作为变量类型使用。你无法声明一个“函数类型”的变量，因为函数是代码段里的实体，不能像普通数据一样被存储在变量中——变量只能存储指向函数的指针（fn_p2类型）。

• fn_p1 f2 = callback; 不合法，因为你试图把函数赋值给一个函数类型的变量，这在C++里根本不允许。
• static_cast<fn_p1>(f) 也不合法，函数指针和函数类型是完全不同的实体：一个是存储地址的指针，一个是代码本身，两者之间不能直接转换。

4. 函数指针调用的语法糖 #

你提到的f(1)、(*f)(1)甚至(*****f)(1)都能工作，是因为C++对函数指针做了语法简化：

• 当你对函数指针使用()调用时，编译器会自动隐式解引用指针，所以f(1)等价于(*f)(1)。
• 反过来，对函数名使用*时，编译器会自动把它转换成函数指针，所以*callback其实是一个函数指针。
  这种双向隐式转换让调用语法更灵活，但也容易混淆函数类型和函数指针类型的边界。

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