带有typedef ed函数指针的常量限定符

关于类型定义的函数指针在函数的参数中是const限定的,C标准有什么要说的?例如,假设我有以下类型

typedef int (*Operation)(int a, int b);

我有一系列的运算,取两个int,执行这个运算,然后返回一个int。然后我有一个函数,它执行实际的函数指针调用。

int doOpOnce(const Operation op, int a, int b)
{
    return op(a, b);
}

doOpOnce 我还想向 杜蓬斯

int doOpOnce(const Operation op, int a, int b)
int doOpOnce(Operation const op, int a, int b)

最后,这里有一个例子。它是用gcc 4.9.2编译的,带有标志 -std=c99 -Wall -Wextra -pedantic 当我试图更改常量函数指针时,它正确地出错了。

#include <stdio.h>

typedef int (*Operation)(int a, int b);

int opAdd(int a, int b)
{
    return a + b;
}

int opSub(int a, int b)
{
    return a - b;
}

int doOpOnce(const Operation op, int a, int b)
{
    op = opSub; // error: assignment of read-only parameter 'op'

    return op(a, b);
}

int main()
{
    printf("%d\n", doOpOnce(opAdd, 10, 20));

    return 0;
}

我不想将常量限定符添加到 Operation typedef,因为我有其他可以修改的函数 活动 指针。我只是想在某些情况下打字更有力。