一种有效解析函数指针声明语法的方法

问题描述

所以，直到现在，我还可以确定我的脑海中的指针到函数的解析器能够解析甚至最棘手的指针……我错了！在阅读一些旧代码时，我发现了这一点：

void (*(*somename)(void (*)()))(void (*)());

显然，这意味着将somename声明为函数的指针（函数返回void的指针），返回函数的指针（返回void的函数的指针），返回{{1 }} （至少根据http://cdecl.org）。

似乎我简化了函数指针声明的工作方式。我非常确定语法为void。它适用于很多情况，但不适用于复杂情况，例如上面的情况。我该如何阅读这些非常规和复杂的声明，而不必考虑所有语法规则，并试图弄清楚我应该从左向右还是反向阅读或以其他奇怪的方式阅读？

解决方法

我的一位教授教我们如何使用“左右规则”来做到这一点。他已经记录了此here。

这是将其应用于此声明的方式（首先从标识符右移）。

void (*(*somename)(void (*)()))(void (*)());
         +-------^                             somename
void (*(*somename)(void (*)()))(void (*)());
        ^--------+                             is pointer
void (*(*somename)(void (*)()))(void (*)());
       ^---------+                             (move left)
void (*(*somename)(void (*)()))(void (*)());
       +----------^                            to function
void (*(*somename)(void (*)()))(void (*)());
       +----------------------^                taking (void (*)())
void (*(*somename)(void (*)()))(void (*)());
      ^-----------------------+                returning pointer
void (*(*somename)(void (*)()))(void (*)());
     ^------------------------+                (move left)
void (*(*somename)(void (*)()))(void (*)());
     +-------------------------^               to function
void (*(*somename)(void (*)()))(void (*)());
     +------------------------------------^    taking (void (*)())
void (*(*somename)(void (*)()))(void (*)());
^-----------------------------------------+    returning void

然后可以将规则应用于参数列表中的每个参数，从括号中的内容开始，因为在这种情况下我们没有标识符：

void (*)()
      +^      pointer
void (*)()
     ^-+      (move left)
void (*)()
     +--^     to function
void (*)()
^--------+    returning void

,

诀窍是在这里使用顺时针旋转规则http://c-faq.com/decl/spiral.anderson.html有点困难，因为括号太多，但是一旦弄清楚就应该没事。

此外，您还可以为复杂声明的一部分添加标签别名，并在了解其余内容后返回标签。我的意思是：

void (*T)(void (*)());

其中的T代替（ somename）（void（）（））

,

C语法允许各种内容的不确定嵌套，因此对解析一个声明可能需要多少内存没有限制。解决这个问题：

• 在void (*(*somename)(void (*)()))(void (*)())中，我们看到了函数参数，所以我们将它们分开一些。
• 从右边开始，我们可以找到最右边括号的匹配项，并插入用于可视化的空间：void (*(*somename)(void (*)())) (void (*)())。
• 所以我们看到这声明(*(*somename)(void (*)()))是一个返回void并接受类型void (*)()的参数的函数，该参数是没有原型的void函数的指针。
• 接下来，分析(*(*somename)(void (*)()))。左括号和右括号匹配，因此为*(*somename)(void (*)())。
• 那是指向前一事物的指针（void函数使用指向没有原型的void函数的指针）。
• 如果其余部分足够简单，我们可能会看到它是指向void函数的指针，没有原型。

因此，somename指向以下函数：

• 获取没有原型的void函数的指针，并且
• 使用没有原型的指向void函数的指针返回指向void函数的指针。

如果一个声明确实在没有帮助的情况下破坏了您解析它的能力，则可以构建一棵描述它的树。 C语法自然对应于一棵树，学习相关的理论以及语法与解析之间的对应关系是计算机科学课程的一部分。正如问题所提出的那样，这对人类而言不是“有效”，但它是分析声明的确定性方法。

,

我开发的方法是从最左边的标识符开始计算，并牢记以下优先规则：

T *a[N];   // a is an array of pointer
T (*a)[N]; // a is a pointer to an array
T *f();    // f is a function returning a pointer
T (*f)();  // if is a pointer to a function

并对所有函数参数进行递归操作。

我将使用λ表示未命名的参数，因此我们得到如下信息：

         somename                               -- somename is
        *somename                               -- a pointer to
       (*somename)(           )                 --   a function taking
       (*somename)(       λ   )                 --     unnamed parameter is
       (*somename)(      *λ   )                 --     a pointer to
       (*somename)(     (*λ)())                 --       a function taking unspecified parameters
       (*somename)(void (*λ)())                 --       returning void
      *(*somename)(void (*λ)())                 --   returning a pointer to
     (*(*somename)(void (*λ)()))(           )   --     a function taking
     (*(*somename)(void (*λ)()))(       λ   )   --       unnamed parameter is
     (*(*somename)(void (*λ)()))(      *λ   )   --       a pointer to
     (*(*somename)(void (*λ)()))(     (*λ)())   --         a function taking unspecified parameters
     (*(*somename)(void (*λ)()))(void (*λ)())   --         returning void
void (*(*somename)(void (*λ)()))(void (*λ)());  --     returning void

在英语中，somename是指向某个函数的指针，该函数将指向另一个函数的指针作为参数并返回一个指针又返回另一个函数，该指针将指向的指针还有另一个函数作为其参数，并返回void。

这种令人讨厌的类型在野外很少见，但偶尔会弹出。