我今天看到了一张图片，希望能得到解释。以下是该图片:
翻译："C并不难：void (*(*f[])())()定义 f 为一个未指定大小的函数指针数组，它返回指向返回 void 的函数指针的指针。
我感到困惑，想知道这样的代码是否实用。我在谷歌上搜索了这张图片，并在Reddit上找到另一张图片，以下是该图片:
翻译："因此，符号可以读作：f [] * () * () void。f 是一个指针数组，它不采用参数，并返回一个不采用参数且返回类型为 void 的指针。"
所以这种"螺旋阅读"是有效的吗？这是C编译器的解析方式吗？
如果有更简单的解释，那就太好了。
除此之外，这种代码有用吗？如果有，那在什么情况下使用？
关于"spriral rule"，已经有一个问题提出，但我不仅仅想问如何应用它以及如何阅读该规则的表达式。我还质疑这种表达式和螺旋规则的有效性。关于这些问题，已经有一些很好的回答。
有一个规则叫做"顺时针/螺旋法则",它可以帮助找到复杂声明的含义。
来自c-faq:
遵循以下三个简单步骤：
从未知元素开始，沿着螺旋/顺时针方向移动；当遇到以下元素时，请用相应的英语语句替换它们：
[X]或[]
=> 数组X大小为...或数组大小未定义...
(type1, type2)
=> 函数传递类型1和类型2并返回...
*
=> 指向...的指针（s）继续按螺旋/顺时针方向执行此操作，直到覆盖所有令牌。
始终首先解决括号中的任何内容！
您可以查看上面的链接以获取示例。
还要注意，为了帮助您，还有一个名为的网站：
您可以输入C语言声明语句，程序会给出它对应的英文含义。
void (*(*f[])())()
它的输出结果为：
声明f为指向返回指向void的函数指针的函数指针数组
编辑：
正如Random832在评论中指出的那样，螺旋规则并不适用于数组的数组，并且在这些声明中会导致错误的结果。例如对于int **x[1][2];，螺旋规则忽略了[]比*具有更高的优先级。
当面对数组的数组时，可以在应用螺旋规则之前先添加明确的括号。例如：int **x[1][2];与int **(x[1][2]);（也是有效的C语言）由于优先级而相同，然后正确地将其读作“x是一个数组1，包含数组2个指向指向int的指针”的英文声明。
T *a[] -- a is an array of pointer to T
T (*a)[] -- a is a pointer to an array of T
T *f() -- f is a function returning a pointer to T
T (*f)() -- f is a pointer to a function returning T
[]和函数调用运算符()的优先级比一元运算符*高，所以*f()被解析为*(f())，*a[]被解析为*(a[])。*与标识符分组，例如：(*a)[]或(*f)()。a和f可以是更复杂的表达式，而不仅仅是标识符；在T (*a)[N]中，a可以是一个简单的标识符，也可以是一个函数调用，如(*f())[N]（a -> f()），或者是一个数组，如(*p[M])[N]（a -> p[M]），或者是一个指向函数的指针数组，如(*(*p[M])())[N]（a -> (*p[M])()）等等。*是后缀而不是一元的话，声明从左到右读起来会更容易些（void f[]*()*();肯定比void (*(*f[])())()更顺畅），但事实并非如此。 f -- f
f[] -- is an array
*f[] -- of pointers ([] has higher precedence than *)
(*f[])() -- to functions
*(*f[])() -- returning pointers
(*(*f[])())() -- to functions
void (*(*f[])())(); -- returning void
标准库中的signal函数可能是这种疯狂类型的典型样本:
signal -- signal
signal( ) -- is a function with parameters
signal( sig, ) -- sig
signal(int sig, ) -- which is an int and
signal(int sig, func ) -- func
signal(int sig, *func ) -- which is a pointer
signal(int sig, (*func)(int)) -- to a function taking an int
signal(int sig, void (*func)(int)) -- returning void
*signal(int sig, void (*func)(int)) -- returning a pointer
(*signal(int sig, void (*func)(int)))(int) -- to a function taking an int
void (*signal(int sig, void (*func)(int)))(int); -- and returning void
在这种情况下，大多数人会说“使用typedef”，这当然是一种选择：
typedef void outerfunc(void);
typedef outerfunc *innerfunc(void);
innerfunc *f[N];
但是...
你知道它是一个指针数组，但是如何在表达式中使用 f呢？您必须查看typedef并仔细推断出正确的语法。相比之下， "naked"版本非常难懂，但它确切地告诉您如何在表达式中使用 f（即(*(*f[i])())();，假设两个函数都不带参数）。
f 声明树，解释了优先级...出于某种原因，当涉及到解释事物时，我总是对 ASCII 艺术感到兴奋 :) - txtechhelpvoid，否则它可以接受任何参数。 - haccks在 C 语言中，声明和使用是相互对应的——这就是标准规定的方式。下面是一个声明的例子：
void (*(*f[])())()
这是一个关于表达式 (*(*f[i])())() 返回类型为 void 的断言。这意味着：
f 必须是一个数组，因为你可以对它进行索引：
f[i]
因为可以对它们进行解引用，所以f的元素必须是指针：
*f[i]
这些指针必须是指向不带参数的函数的指针，因为你可以调用它们：
(*f[i])()
*(*f[i])()
这些指针必须同时也是指向不带参数的函数的指针，因为你可以调用它们：
(*(*f[i])())()
这些函数指针必须返回void
“螺旋规则”只是一种记忆法，提供了一种不同的理解方式。
vector< function<function<void()>()>* > f 这样的东西要容易得多，尤其是当你加上 std:: 时。（但好吧，这个例子确实有点牵强...即使是 f :: [IORef (IO (IO ()))] 看起来也很奇怪。） - leftaroundaboutf[i]的写法，这对我来说肯定是有意义的，但我不明白为什么代码的原始部分(*f[])()是有效的。这不是在没有定义要选择哪个元素的情况下调用数组的函数吗？ - Timo Denka[x]表示当i >= 0 && i < x时，表达式a[i]是有效的。而a[]则未指定大小，因此与*a相同：它表示表达式a[i]（或等效地*(a + i)）对于某些范围的i是有效的。 - Jon Purdy(*f[])()是一种可以索引、解引用和调用的类型，因此它是一个函数指针的数组。 - Lynn那么这个“螺旋阅读法”是有效的吗？
应用螺旋规则或使用cdecl并非总是有效的。两者在某些情况下都会失败。螺旋规则适用于许多情况，但它并不普遍适用。
要解密复杂的声明，请记住这两个简单的规则：
始终从内向外阅读声明：从最内层的括号开始。找到被声明的标识符，然后从那里开始解释声明。
当有选择时，始终优先使用[]和() 而不是 *：如果*在标识符之前且[]在其后，则该标识符表示数组，而不是指针。同样，如果*在标识符之前且()在其后，则该标识符表示函数，而不是指针。(括号始终可以用于覆盖[]和()优先于*的正常优先级。)
实际上，这个规则涉及从标识符的一边到另一边的曲折。
现在我们来解释一个简单的声明。
int *a[10];
int *a[10]; "a is"
^
int *a[10]; "a is an array"
^^^^
int *a[10]; "a is an array of pointers"
^
int *a[10]; "a is an array of pointers to `int`".
^^^
让我们解密像这样的复杂声明
void ( *(*f[]) () ) ();
void ( *(*f[]) () ) (); "f is"
^
void ( *(*f[]) () ) (); "f is an array"
^^
void ( *(*f[]) () ) (); "f is an array of pointers"
^
void ( *(*f[]) () ) (); "f is an array of pointers to function"
^^
void ( *(*f[]) () ) (); "f is an array of pointers to function returning pointer"
^
void ( *(*f[]) () ) (); "f is an array of pointers to function returning pointer to function"
^^
void ( *(*f[]) () ) (); "f is an array of pointers to function returning pointer to function returning `void`"
^^^^
这里提到的规则来自K.N KING所著《C程序设计现代方法》一书。
char (x())[5] 应该导致语法错误，但是，cdecl将其解析为：声明 x 为返回 char 数组 5 的函数。 - haccks之所以这只是一个“螺旋”，是因为在这个声明中，每个括号级别内每一侧只有一个运算符。声称你要“螺旋”进行操作通常意味着在声明int ***foo [] [] []时你会在数组和指针之间交替，但实际上所有的数组级别都在任何指针级别之前。
我怀疑这种结构在现实生活中没有任何用处。我甚至厌恶它们作为常规开发人员的面试问题（编译器编写者可能可以接受）。应该使用typedefs。
我恰巧是许多年前写下螺旋规则的原作者（当时我头发很多 :) ），很荣幸它被添加到了cfaq中。
我写螺旋规则是为了让我的学生和同事更轻松地“在脑中”阅读C语言声明，而不必使用像 cdecl.org 等软件工具。我的初衷从未是要声明螺旋规则是解析C表达式的标准方式。然而，多年来，我很高兴看到这个规则帮助了成千上万的C编程学生和实践者！
供参考:
许多网站包括我非常尊敬的 Linus Torvalds 多次“正确地”指出，有些情况下我的螺旋规则“失效”。最常见的情况是：
char *ar[10][10];
正如本帖其他人所指出的那样，规则可以更新为当您遇到数组时，只需像以下写法一样消耗所有索引：as if：
char *(ar[10][10]);
关于其有用性，当使用shellcode时，您会经常看到这种结构：
int (*ret)() = (int(*)())code;
ret();
虽然语法上没有那么复杂，但这种模式经常出现。
在此 SO 问题中有更完整的示例。
因此，尽管原始图片的实用性值得怀疑（我建议任何生产代码都应该大幅简化），但确实存在一些常见的语法结构。
The declaration
void (*(*f[])())()
只是一种晦涩的说法
Function f[]
使用
typedef void (*ResultFunction)();
typedef ResultFunction (*Function)();
实际应用中，需要使用更具描述性的名称来代替ResultFunction和Function。如果可能的话，还应将参数列表指定为void。
f是一个指向可以取任何参数的函数指针数组，如果它是void (*(*f[])(void))(void)， 那么就是没有参数的函数了。 - txtechhelp