解析 C 声明

Question

有人可以帮我弄清楚这个声明吗？

int *x()(int)
void (*signal(int, void (*fp)(int)))(int)

我似乎无法使用此处给出的方法解析这些。我知道有什么用这种手段cdecl.org并且也是第一个1是非法的，但我想弄清楚如何分析这些？

Answer 1

首先，一些基本规则：

T   *a[N];   // a is an array of pointer to T
T (*a)[N];   // 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
const T *p;  // p is a non-const pointer to const T
T const *p;  // same as above
T * const p; // p is a const pointer to non-const T

在声明符和表达式中，[]and()运算符的优先级高于*运算符，因此在处理数组指针 ( (*a)[N]) 和函数指针( )时，您需要将其与标识符显式分组(*f)()。

当你发现一个毛茸茸的声明时，找到最左边的标识符并找出你的出路，记住上面的规则，并将它们递归地应用于任何函数参数：

       signal                               -- signal
       signal(                    )         -- is a function taking
       signal(                    )         --   parameter unnamed
       signal(int,                )         --     of type int
       signal(int,        fp      )         --   parameter fp
       signal(int,      (*fp)     )         --     is a pointer
       signal(int,      (*fp)(   ))         --     to a function taking
       signal(int,      (*fp)(   ))         --       parameter unnamed
       signal(int,      (*fp)(int))         --       of type int 
       signal(int, void (*fp)(int))         --     returning void
     (*signal(int, void (*fp)(int)))        -- returning a pointer
     (*signal(int, void (*fp)(int)))(   )   --   to a function taking
     (*signal(int, void (*fp)(int)))(   )   --     parameter unnamed
     (*signal(int, void (*fp)(int)))(int)   --     of type int
void (*signal(int, void (*fp)(int)))(int);  --   returning void

在英语中，signal是一个函数，它接受一个整数和一个指向信号函数的指针作为参数，并返回一个指向处理函数的指针。

有时您没有标识符（如在仅指定类型的函数原型中），因此您必须在心里放入一个占位符（称为 λ）并将规则应用于该占位符：

void (*signal(int λ, void (*fp)(int λ)))(int λ);