C++中的函数指针语法

我刚刚学习 C++ 中的函数指针。以下示例全部编译并返回预期结果，但我被告知示例 3 是正确的方法。为什么其他示例仍然有效？

还有一件事看起来很奇怪，那就是例子f,g,h,i与上面的示例相比，这并不全部有效。与示例 1-8 相比，它们为什么不起作用？

int executeOperator1(int a, int b, int f(int,int)){
    return f(a,b);
}

int executeOperator2(int a, int b, int f(int,int)){
    return (*f)(a,b);
}
int executeOperator3(int a, int b, int (*f)(int,int)){
    return f(a,b);
}

int executeOperator4(int a, int b, int (*f)(int,int)){
    return (*f)(a,b);
}

int op(int x, int y){
    return x+y;
}


int main(int argc, char *argv[])
{
    int a = 2, b=3;
    //the following 8 examples compile nicely:
    cout << "a=" << a << " b=" << b << " res=" << executeOperator1(a,b,op) <<endl; //1
    cout << "a=" << a << " b=" << b << " res=" << executeOperator2(a,b,op) <<endl; //2
    cout << "a=" << a << " b=" << b << " res=" << executeOperator3(a,b,op) <<endl; //3
    cout << "a=" << a << " b=" << b << " res=" << executeOperator4(a,b,op) <<endl; //4
    cout << "a=" << a << " b=" << b << " res=" << executeOperator1(a,b,&op) <<endl; //5
    cout << "a=" << a << " b=" << b << " res=" << executeOperator2(a,b,&op) <<endl; //6
    cout << "a=" << a << " b=" << b << " res=" << executeOperator3(a,b,&op) <<endl; //7
    cout << "a=" << a << " b=" << b << " res=" << executeOperator4(a,b,&op) <<endl; //8

    //int f(int,int) = op;  //does not compile
    int (*g)(int,int) = op; //does compile
    //int h(int,int) = &op; //does not compile
    int (*i)(int,int) = &op;//does compile
    return 0;
}

你所有的例子都有效，因为所谓的美妙指针衰减规则。函数名称decays指向几乎所有上下文中函数的指针。 （Decay这里意味着原始的类型信息丢失了，剩下的只是指针。在某些情况下，数组也会衰减为指针）。

所以你所有的例子在语义上都是相同的，我不会称呼它们中的任何一个首选.

只是为了好玩，这也可以编译：

int executeOperator_insane(int a, int b, int f(int,int)){
    return (***************f)(a,b);
}