对于APUE中信号的 #define SIG_ERR (void(*)())-1 的理解

在学习 APUE 的信号章节中，我们知道 Linux 中最简单的信号接口如下：

#include <signal.h>
void (*signal(int signo, void (*func)(int)))(int);

//返回值：若成功，返回以前的信号处理配置；若出错，返回 SIG_ERR

参数：

signo：上面给出的信号名。

func：常量值 SIG_IGN、常量 SIG_DEL 或当接到此信号后要调用的函数的地址。如果指定 SIG_IGN，则向内核表示忽略此信号（但是信号 SIGKILL 和 SIGSTOP 信号不能忽略）。如果指定 SIG_DEL，则表示接到此信号后的动作是系统默认动作。当指定函数地址时，如果信号发生，将会调用该函数，称这种处理为捕捉该信号，并称此函数为信号捕捉函数。

对于此函数的分析：

signal 函数原型说明此函数要求两个参数，并返回一个函数指针，且该返回的函数指针所指向的函数无返回值（void），且有一个整型参数（最后的(int)）。

要求的两个参数中，第一个参数 signo 是一个整型数，第二个参数是函数指针，它所指向的函数需要一个整型参数，无返回值。

这个 signal 函数原型太复杂了，如果使用下面的 typedef，则可使用其简单一些。简化后的 signal 函数如下：

typedef void Sigfunc(int);
Sigfunc *signal(int, Sigfunc *);

简化后，就相当清晰了，也就是要向信号处理函数传送一个整型参数，而无返回值。当调用 signal 设置信号处理程序时，第二个参数就是指向该处理函数的指针。signal 的返回值则是指向在此之前的信号处理函数的指针。

但是后面后给出了系统中头文件 <signal.h> 中的一些定义：

#define SIG_ERR (void (*)())-1
#define SIG_DFL (void (*)())0
#define SIG_IGN (void (*)()

这些常量可用于表示“指向函数的指针，该函数要求一个整型参数，而且无返回值”。signal 的第二个参数及其返回值就可用它们表示。这些常量所使用的 3 个值不一定是 −1、0 和 1，但它们必须是 3 个值而决不能是任一函数的地址。

并且我们通常使用 singal 的用法是：

static void sig_usr(int);

int main()
{
    if (signal(SIGUSR1, sig_usr) == SIG_ERR)
        err_sys("can't catch the SIGUSR1.");
    
    //...
    
    return 0;
}

到这里或许你就有些懵逼了，上面已经分析出来，signal 函数返回值应该是 void (*)(int) 类型，但是却用它的返回值和 SIG_ERR 作比较，而 SIG_ERR 的定义是 (void (*)())-1 ，我们至少有以下几个问题：

问题1：这个 SIG_ERR 为什么和那些信号值长得很像？

问题2：为什么 SIG_ERR 不是 void (*)(int) 类型？

问题3：为什么要将 -1 强转为 void (*)() 类型？

通过下面的说明，问题应该都能得到答案。

如果之前没有看过 signal 的声明，那么急躁的人就会想：signal 函数返回值是和信号类型一样的（也就是一个 int 类型的值，而且他假设 SIG_ERR 是一个 int 类型，因为它和其他信号值很像），因为通常对 signal 返回值判断的时候会用到 SIG_ERR，这样的想法虽然不正确，但是在使用上也不会出现太大的问题。然而这种想法太业余了，根本不利于个人的成长。通过上面给出的 SIG_ERR、SIG_DFL、SIG_IGN 的定义，可以知道它们可不是 int 型的。

上面对 signal 函数的分析可知，signal 函数返回是一个函数指针，函数指针的原型是 void(*)(int) ，这样的数据类型可能不好理解，可以使用 typedef 为它起一个简单的名字：

typedef void (*pSigfunc)(int); //注意必须有分号
//简化后的signal函数为
pSigfunc signal(int signo, pSigfunc func)

typedef 是编译时候处理的，当然也可以为其取名如下：

typedef void Sigfunc(int);
//简化后的signal函数为
Sigfunc* signal(int signo, Sigfunc* func)

这样似乎瞬间直观了很多。（此处需要对 typedef 有一定的理解）。

最后看上面给出的 SIG_ERR、SIG_DFL、SIG_IGN 的定义，其实就是个像值类型转换，将一些默认的错误码转换成一个函数指针，而这几个函数指针的原型就是 void(*)() 了，有人会问，(*) 为什么没有函数名啊，因为这是函数原型而不是定义，只有定义时才会有变量。就像：int a; int 只是原型，只有在定义变量时，才会用到 a。

问题是，signal 函数需要返回的是 void(*)(int) 类型，为什么返回的却可以和 void(*)() 的 SIG_ERR，进行比较？这个问题也困扰我一段时间，最后写了一点代码才弄明白（后面会给出）。主要问题就是：C 语言在声明一个函数时，如果不指定形参，那么在定义时，可以使用任意形参，但在 C++ 中却不是这样的，如果定义时的形参个数和声明时的对不上，就会报错，最后的测试代码很好的说明问题：用 gcc 编译或者用 g++ 编译，两者的区别是显而易见的。

综上所述，C 语言其实可以很精炼，但是精炼带来的后果就是不好理解，对于一个热爱 C 语言的人来说，确实是让人又爱又恨，但是如果你真的做到完全理解，才能真相欣赏它的美。

最后给出测试代码为：

#include <stdio.h>
typedef void (*func)();

void print(int a)
{
    printf("%d\n", a);
}

int main()
{
    func f1 = print;
    f1(10);
    return 1;
}

使用 gcc 编译，没有任何问题，运行结果如下：

$ ./test
10

如果使用 g++ 编译，直接报错：

$ g++ test.c -o test
test.c: In function ‘int main()’:
test.c:12:12: error: invalid conversion from ‘void (*)(int)’ to ‘func’ {aka ‘void (*)()’} [-fpermissive]
   12 |  func f1 = print;
      |            ^~~~~
      |            |
      |            void (*)(int)
test.c:13:7: error: too many arguments to function
   13 |  f1(10);

所以 C 和 C++ 在某些方面还是有很大区别。

参考：
https://www.cnblogs.com/wxyy/p/3358880.html
《UNIX 环境高级编程》