C语言typeof详解

前言:
    typeof关键字是C语言中的一个新扩展,这个特性在linux内核中应用非常广泛。

一,说明
    typeof的参数可以是两种形式:表达式类型

    1,表达式的的例子:
        typeof(x[0](1)
        这里假设x是一个函数指针数组,这样就可以得到这个函数返回值的类型了。
        如果将typeof用于表达式,则该表达式不会执行。只会得到该表达式的类型。
        以下示例声明了int类型的var变量,因为表达式foo()是int类型的。由于表达式不会被执行,所以不会调用foo函数。
            extern int foo();
            typeof(foo()) var;

    2,参数的例子:
        typeof(int *) a,b;
            等价于:
            int *a,*b;


二,实例
    1,把y定义成x指向的数据类型:
           typeof(*x) y;
    2,把y定义成x指向数据类型的数组:
           typeof(*x) y[4];
    3,把y定义成一个字符指针数组:
            typeof(typeof(char *)[4] y;
    这与下面的定义等价:
            char *y[4];

    4,typeof(int *) p1,p2; /* Declares two int pointers p1, p2 */
            int *p1, *p2;

    5,typeof(int) *p3,p4;/* Declares int pointer p3 and int p4 */
            int *p3, p4;

    6,typeof(int [10]) a1, a2;/* Declares two arrays of integers */
            int a1[10], a2[10];


,局限
    typeof构造中的类型名不能包含存储类说明符,如externstatic。不过允许包含类型限定符,如constvolatile

    例如,下列代码是无效的,因为它在typeof构造中声明了extern:

前言:
    typeof关键字是C语言中的一个新扩展,这个特性在linux内核中应用非常广泛。

一,说明
    typeof的参数可以是两种形式:表达式类型

    1,表达式的的例子:
        typeof(x[0](1)
        这里假设x是一个函数指针数组,这样就可以得到这个函数返回值的类型了。
        如果将typeof用于表达式,则该表达式不会执行。只会得到该表达式的类型。
        以下示例声明了int类型的var变量,因为表达式foo()是int类型的。由于表达式不会被执行,所以不会调用foo函数。
            extern int foo();
            typeof(foo()) var;

    2,参数的例子:
        typeof(int *) a,b;
            等价于:
            int *a,*b;


二,实例
    1,把y定义成x指向的数据类型:
           typeof(*x) y;
    2,把y定义成x指向数据类型的数组:
           typeof(*x) y[4];
    3,把y定义成一个字符指针数组:
            typeof(typeof(char *)[4] y;
    这与下面的定义等价:
            char *y[4];

    4,typeof(int *) p1,p2; /* Declares two int pointers p1, p2 */
            int *p1, *p2;

    5,typeof(int) *p3,p4;/* Declares int pointer p3 and int p4 */
            int *p3, p4;

    6,typeof(int [10]) a1, a2;/* Declares two arrays of integers */
            int a1[10], a2[10];


,局限
    typeof构造中的类型名不能包含存储类说明符,如externstatic。不过允许包含类型限定符,如constvolatile
    例如,下列代码是无效的,因为它在typeof构造中声明了extern:


前言:
    typeof关键字是C语言中的一个新扩展,这个特性在linux内核中应用非常广泛。

一,说明
    typeof的参数可以是两种形式:表达式类型

    1,表达式的的例子:
        typeof(x[0](1)
        这里假设x是一个函数指针数组,这样就可以得到这个函数返回值的类型了。
        如果将typeof用于表达式,则该表达式不会执行。只会得到该表达式的类型。
        以下示例声明了int类型的var变量,因为表达式foo()是int类型的。由于表达式不会被执行,所以不会调用foo函数。
            extern int foo();
            typeof(foo()) var;

    2,参数的例子:
        typeof(int *) a,b;
            等价于:
            int *a,*b;


二,实例
    1,把y定义成x指向的数据类型:
           typeof(*x) y;
    2,把y定义成x指向数据类型的数组:
           typeof(*x) y[4];
    3,把y定义成一个字符指针数组:
            typeof(typeof(char *)[4] y;
    这与下面的定义等价:
            char *y[4];

    4,typeof(int *) p1,p2; /* Declares two int pointers p1, p2 */
            int *p1, *p2;

    5,typeof(int) *p3,p4;/* Declares int pointer p3 and int p4 */
            int *p3, p4;

    6,typeof(int [10]) a1, a2;/* Declares two arrays of integers */
            int a1[10], a2[10];


,局限
    typeof构造中的类型名不能包含存储类说明符,如externstatic。不过允许包含类型限定符,如constvolatile
    例如,下列代码是无效的,因为它在typeof构造中声明了extern:

  typeof(extern int) a;

### C语言 `typeof` 与结构体的使用 #### 使用 `typeof` 定义结构体类型别名 在C语言中,`typeof` 是GCC和Clang编译器的一个扩展特性[^3]。此操作符允许获取表达式的类型,并可用于创建更灵活的类型别名。 对于结构体而言,可以通过 `typeof` 创建其类型的别名,从而简化后续代码编写: ```c #include <stdio.h> // 声明一个匿名结构体并立即通过 typeof 给它起个别名 typedef typeof((struct { int intValue; char stringValue[20]; })) MyStruct; int main() { // 使用新定义的类型来声明变量 MyStruct instance; instance.intValue = 10; snprintf(instance.stringValue, sizeof(instance.stringValue), "Hello"); printf("intValue=%d, stringValue=%s\n", instance.intValue, instance.stringValue); } ``` 上述例子展示了如何利用 `typeof` 对于匿名结构体快速建立类型别名的方法[^4]。 #### 利用 `typeof` 实现泛型函数 另一个常见的应用场景是借助 `typeof` 来构建能够处理多种不同类型参数的通用宏或内联函数,在这里也适用于含有不同字段组合的结构体对象之间复制特定成员值的操作: ```c #define COPY_MEMBER(dest, src, member) \ do { \ (dest)->member = (src)->member; \ } while(0) // 或者更加复杂的场景下可以这样写: #define GENERIC_COPY(src, dest, ...) ({\ __auto_type _src = (src); \ __auto_type _dest = (dest); \ (_dest).__VA_ARGS__ = (_src).__VA_ARGS__; \ }) // 应用示例 typedef struct Point { double x; double y; } Point; Point p1 = {.x=1.0,.y=2.0}; Point p2; GENERIC_COPY(p1,p2,x,y); printf("p2.x=%.f, p2.y=%.f\n", p2.x, p2.y); ``` 这段代码片段说明了怎样运用 `typeof` 达成一定程度上的“泛型编程”,即让某些逻辑能适应更多种类的数据结构而不必重复书写相似的功能模块[^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值