如何理解C语言中EVP_MD_meth_get_cleanup相关的函数声明语句？

你遇到的是C语言中典型的「返回函数指针的函数」声明，我们可以通过C语言的「右左法则」从内到外逐层拆解：

int (*EVP_MD_meth_get_cleanup(const EVP_MD *md))(EVP_MD_CTX *ctx)

拆解逻辑 #

• 首先找到核心标识符：EVP_MD_meth_get_cleanup 是整个声明对应的函数名，不是你之前猜测的类型名
• 看标识符右侧的(const EVP_MD *md)：说明EVP_MD_meth_get_cleanup本身是一个函数，入参为const EVP_MD*类型的指针md
• 看标识符左侧的*：说明该函数的返回值是一个指针
• 再看外层括号外右侧的(EVP_MD_CTX *ctx)：说明返回的指针是函数指针，它指向的函数接收EVP_MD_CTX*类型的指针ctx作为入参
• 看最左侧的int：说明上述函数指针指向的函数，最终返回值为int类型

等价简化写法 #

用typedef给函数指针定义别名后，代码可以简化为更易读的形式：

// 定义函数指针类型：指向入参为EVP_MD_CTX*、返回值为int的函数
typedef int (*EVP_MD_CleanupCallback)(EVP_MD_CTX *ctx);
// 原声明等价于如下写法
EVP_MD_CleanupCallback EVP_MD_meth_get_cleanup(const EVP_MD *md);

这段代码实际是OpenSSL密码库的接口，作用是从传入的消息摘要算法对象EVP_MD中取出对应的上下文清理回调函数，调用取出的回调即可释放EVP_MD_CTX的内部资源。

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