typeof((fifo) + 1),typeof高级用法

typeof(param)的作用就是获取param的数据类型。这个是大家都知道的。

在阅读内核kfifo.h文件时看到下面的定义:

#define kfifo_reset(fifo) \
(void)({ \
    typeof((fifo) + 1) __tmp = (fifo); \
    __tmp->kfifo.in = __tmp->kfifo.out = 0; \
})

其中typeof((fifo) + 1) 的用法有点违背我们平时看到的代码的使用方法。这里声明__tmp时为什么使用的是typeof((fifo)+1)。通过后面的_tmp->kfifo.in = __tmp->kfifo.out = 0 语句我们可以知道，__tmp是一个地址(指针)，那么fifo就是一个指针(因为fifo赋值给了__tmp)。fifo+1是在fifo地址的基础上指向下一个fifo类型的地址处，虽然+1操作但是其还是指向fifo类型的指针,所以typeof((fifo)+1)获取到的类型还是fifo类型指针和typeof(fifo)的结果是一致的。效果是一样的为什么还要+1呢?如果笔误，传入的不是指针，而是变量值，那么+1就不对了，因为1是int类型，而fifo是一个struct类型，这时+号两边的类型是不匹配的，编译时会报错。所以typeof((fifo) + 1)的目的就是为了确保传入的是一个指针。

下面是一个例子，读者可以自行编译跑下，看看结果，加深下印象。把BAR_INIT(&bar);这行修改为BAR_INIT(bar);再编译下看看会发生什么?

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

struct _test_t {
    int a;
    int b;
};

#define BAR_INIT(bar) \
    typeof(bar+1) _tmp = bar; \
    _tmp->a = 1;    \
    _tmp->b = 2;

int main(int argc,char *argv[])
{
    struct _test_t bar;
    BAR_INIT(&bar);

    /*
      如果传入的值非&bar,如BAR_INIT(bar) 则报错如下:
      error: invalid operands to binary + (have ‘struct _test_t’ and ‘int’)typeof(bar+1) _tmp = bar;
    */
    

    printf("a:%d,b:%d \r\n",bar.a,bar.b);

    return 0;
}