在Linux上,可用的C编译器是GNU C编译器,它建立在自由软件基金会的编程许可证的基础上,因此可以自由地进行发布。GNU C对标准C进行了一系列扩展,以增强标准C的功能。
GNU C允许使用零长度数组。这个特性在定义变长对象的头结构时非常有用。例如:
1 2 3 4 |
|
在这里,char data[0]
表示通过var_data
结构体的实例的data[index]
成员来访问len
之后的第index
个地址。值得注意的是,它并没有为data[]
数组分配内存,因此sizeof(struct var_data) = sizeof(int)
。
假设struct var_data
的数据域保存在紧接着struct var_data
的内存区域中,那么通过下面的代码可以遍历这些数据:
1 2 3 |
|
GNU C中也可以使用1个变量定义数组,例如如下代码中定义的“double x[n]”:
1 2 3 4 5 6 |
|
GNU C支持case x…y这样的语法,区间[x,y]中的数都会满足这个case的条件,请看下面的代码:
1 2 3 4 5 6 7 8 |
|
代码中的case’0’…’9’等价于标准C中的:
1 2 |
|
GNU C把包含在括号中的复合语句看成是一个表达式,称为语句表达式,它可以出现在任何允许表达式的地 方。我们可以在语句表达式中使用原本只能在复合语句中使用的循环、局部变量等,例如:
1 2 3 4 |
|
因为重新定义了__xx和__y这两个局部变量,所以用上述方式定义的宏将不会有副作用。在标准C中,对应的如 下宏则会产生副作用:
1 |
|
代码min(++ia,++ib)会展开为((++ia)
typeof(x)语句可以获得x的类型,因此,可以借助typeof重新定义min这个宏:
1 2 3 4 5 |
|
我们不需要像min_t(type,x,y)那个宏那样把type传入,因为通过typeof(x)、typeof(y)可以获得type。代 码行(void)(&_x==&_y)的作用是检查_x和_y的类型是否一致。
标准C就支持可变参数函数,意味着函数的参数是不固定的,例如printf()函数的原型为:
1 |
|
而在GNU C中,宏也可以接受可变数目的参数,例如:
1 2 |
|
这里arg表示其余的参数,可以有零个或多个参数,这些参数以及参数之间的逗号构成arg的值,在宏扩展时替换 arg,如下列代码:
1 |
|
会被扩展为:
1 |
|
使用“##”是为了处理arg不代表任何参数的情况,这时候,前面的逗号就变得多余了。使用“##”之后,GNU C预 处理器会丢弃前面的逗号,这样,下列代码:
1 |
|
会被正确地扩展为:
1 |
|
而不是:
1 |
|
标准C要求数组或结构体的初始化值必须以固定的顺序出现,在GNU C中,通过指定索引或结构体成员名,允许 初始化值以任意顺序出现。
指定数组索引的方法是在初始化值前添加“[INDEX]=”,当然也可以用“[FIRST…LAST]=”的形式指定一个范围。例如,下面的代码定义了一个数组,并把其中的所有元素赋值为0:
1 |
|
下面的代码借助结构体成员名初始化结构体:
1 2 3 4 5 6 7 8 9 10 |
|
但是,Linux 2.6推荐类似的代码应该尽量采用标准C的方式:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
|
GNU C预定义了两个标识符保存当前函数的名字,__FUNCTION__保存函数在源码中的名字,__PRETTY_FUNCTION__保存带语言特色的名字。在C函数中,这两个名字是相同的。
1 2 3 4 |
|
代码中的__FUNCTION__意味着字符串“example”。C99已经支持__func__宏,因此建议在Linux编程中不再使用__FUNCTION__,而转而使用__func__:
1 2 3 4 |
|
GNU C允许声明函数、变量和类型的特殊属性,以便手动优化代码和定制代码检查的方法。要指定一个声明的 属性,只需要在声明后添加__attribute__((ATTRIBUTE))。其中ATTRIBUTE为属性说明,如果存在多个属 性,则以逗号分隔。GNU C支持noreturn、format、section、aligned、packed等十多个属性。
noreturn属性作用于函数,表示该函数从不返回。这会让编译器优化代码,并消除不必要的警告信息。例如:
1 2 |
|
format属性也用于函数,表示该函数使用printf、scanf或strftime风格的参数,指定format属性可以让编译器根据格 式串检查参数类型。例如:
1 |
|
上述代码中的第1个参数是格式串,从第2个参数开始都会根据printf()函数的格式串规则检查参数。
unused属性作用于函数和变量,表示该函数或变量可能不会用到,这个属性可以避免编译器产生警告信息。
aligned属性用于变量、结构体或联合体,指定变量、结构体或联合体的对齐方式,以字节为单位,例如:
1 2 3 4 5 |
|
表示该结构类型的变量以4字节对齐。
packed属性作用于变量和类型,用于变量或结构体成员时表示使用最小可能的对齐,用于枚举、结构体或联合体类型时表示该类型使用最小的内存。例如:
1 2 3 4 5 |
|
编译器对结构体成员及变量对齐的目的是为了更快地访问结构体成员及变量占据的内存。例如,对 于一个32位的整型变量,若以4字节方式存放(即低两位地址为00),则CPU在一个总线周期内就可以读取32 位;否则,CPU需要两个总线周期才能读取32位。
GNU C提供了大量内建函数,其中大部分是标准C库函数的GNU C编译器内建版本,例如memcpy()等,它们与对应的标准C库函数功能相同。
不属于库函数的其他内建函数的命名通常以__builtin开始,如下所示。
内建函数__builtin_return_address(LEVEL)返回当前函数或其调用者的返回地址,参数LEVEL指定调用栈的级数,如0表示当前函数的返回地址,1表示当前函数的调用者的返回地址。
内建函数__builtin_constant_p(EXP)用于判断一个值是否为编译时常数,如果参数EXP的值是常数,函数返回1,否则返回0。例如,下面的代码可检测第1个参数是否为编译时常数以确定采用参数版本还是非参数版本:
1 2 3 4 |
|
内建函数__builtin_expect(EXP,C)用于为编译器提供分支预测信息,其返回值是整数表达式EXP的值,C的 值必须是编译时常数。
Linux内核编程时常用的likely()和unlikely()底层调用的likely_notrace()、unlikely_notrace()就是基于 __builtin_expect(EXP,C)实现的。
1 2 |
|
若代码中出现分支,则即可能中断流水线,我们可以通过likely()和unlikely()暗示分支容易成立还是不容易 成立,例如:
1 2 3 |
|
在使用gcc编译C程序的时候,如果使用“-ansi–pedantic”编译选项,则会告诉编译器不使用GNU扩展语法。例如对 于如下C程序test.c:
1 2 3 4 5 |
|
直接编译可以通过:
1 |
|
如果使用“-ansi–pedantic”编译选项,编译会报警:
1 2 |
|
以上是答疑解惑 | Linux GNU C 与 ANSI C 的区别的详细内容。更多信息请关注PHP中文网其他相关文章!