linux 获取信号量 sem_t 当前值 sem_getvalue

查问题的时候想看这个信号量的当前值，在gdb的时候强转成int就可以打印出来，想在代码里面打印出来，用gdb强转的时候发现编译不过。
后来在/usr/include/semaphore.h文件里发现了sem_getvalue函数，可以将当前的信号量的值给取出来