Question

当我将函数作为参数传递给c ++中的其他函数时，我是否必须将其指定为

void callOtherFunctions(void f());

或

void callOtherFunctions(void (*f)());

我不知道幕后会发生什么，所以我尝试使用如下的简单程序运行两个版本，替换第二次运行所需的部分。

#include <iostream>
using namespace std;

void printHello();
void callOtherFunctions(void f());

int main() {

    callOtherFunctions(printHello);
    return 0;
}
void printHello(){
    std::cout<<"\n Hello World";
}
void callOtherFunctions(void f()){
    for (int i=0;i<5;++i){
        f();
    }
}

令我惊讶的是，两者都执行相同的输出而没有警告。那么这是首选的方式，还是正确的方式（如果我做错了什么的话）。在每种情况下实际发生的事情，当我传递指针时 - 它是否在那里执行地址函数，当我传递函数时 - 是否在那里复制整个函数？或其他什么？

这是Ideone Link

Answer 1

void callOtherFunctions（void f（））;

和

void callOtherFunctions（void（* f）（））;

是完全相同的。引用N1570，

§6.7.6.3/ 8参数声明为“函数返回类型” 应调整为“指向函数返回类型”的指针，如 6.3.2.1。

我更喜欢函数指针语法，因为更多的人会熟悉它，而且它是明确的你的意思。要回答你的第二个问题，在某些情况下也会发生转换（非正式地称为“衰变”）：

§6.3.2.1/ 4 函数指示符是一个具有函数的表达式类型。除非它是sizeof运算符的操作数，否则 _Alignof运算符，^65）或一元&运算符，a 具有“函数返回类型”类型的函数指示符将转换为具有“指向函数返回类型”的类型的表达式。

Answer 2

函数参数声明有点不寻常;编译器将调整一些声明的类型。这是其中之一：函数类型的函数参数被调整为相应的指针类型。

对函数参数的其他常见调整是数组到指针类型，并删除顶级const：

int foo(int a[5]);    // a is a pointer
int foo(const int a); // foo() can be called with a non-const int argument.

我必须在函数指针之前指定'*'吗？

2 个答案: