指向常量函数的指针的含义是什么？

Question

指针可以声明为指向可变(非常量)数据或指向常量数据的指针.
可以将指针定义为指向函数.

我的同事和我正在讨论使用带有指针的"const",并且出现了关于使用const函数指针的问题.

以下是一些问题:

1. 指向常量函数的指针与指向非常量函数的指针的含义是什么？
2. 函数可以是常量吗？
3. 函数可以是非const(可变)吗？
4. 传递函数指针的正确(安全)语法是什么？

编辑1:函数指针语法

typedef void (*Function_Pointer)(void); // Pointer to void function returning void.

void function_a(Function_Pointer p_func); // Example 1.
void function_b(const Function_Pointer p_func); // Example 2.
void function_c(Function_Pointer const p_func); // Example 3.
void function_d(const Function_Pointer const p_func); // Example 4.

上述声明是将函数指针视为指向内部类型的指针的示例.

数据,变量或存储器指针允许上述组合.
所以问题是:函数指针是否具有相同的组合以及指向const函数的指针(例如示例2)是什么意思？

Answer 1

在C中,没有函数const或其他东西,所以指向const函数的指针是没有意义的(不应该编译,虽然我没有检查过任何特定的编译器).

请注意,尽管它有所不同,但您可以拥有一个指向函数的const指针,一个指向函数返回const的指针等.基本上除了函数本身之外的所有东西都可以是const.考虑一些例子:

// normal pointer to function
int (*func)(int);

// pointer to const function -- not allowed
int (const *func)(int);

// const pointer to function. Allowed, must be initialized.          
int (*const func)(int) = some_func;

// Bonus: pointer to function returning pointer to const
void const *(*func)(int);

// triple bonus: const pointer to function returning pointer to const.
void const *(*const func)(int) = func.

至于将指向函数的指针作为参数传递,它非常简单.您通常只想将指针传递给正确的类型.但是,指向任何类型函数的指针都可以转换为指向其他类型函数的指针,然后返回其原始类型,并保留原始值.

Answer 2

根据C规范(C99,第6.7.3节):

与限定类型关联的属性仅对作为左值的表达式有意义.

当规范说"资格类型",这意味着与定义的东西const,restrict或volatile关键字.Snice函数不是左值,函数上的const关键字没有意义.您可能正在查看某种特定于编译器的扩展.如果您尝试将函数声明为,则某些编译器将抛出错误const.

你确定你正在寻找一个指向一个恒定的功能,而不是一个常量指针的函数(即,它的指针那const,而不是功能)？

关于#4:有关创建,传递和使用函数指针的有用概述,请参阅本指南.