為了方便使用,GNU C在標(biāo)準(zhǔn)C語(yǔ)言的基礎(chǔ)上進(jìn)行了部分方便開(kāi)發(fā)的擴(kuò)展。
這里講解一些開(kāi)發(fā)中可能會(huì)用到的,或者使用頻率比較高的內(nèi)容。
零長(zhǎng)度數(shù)組和變量長(zhǎng)度數(shù)組GNU C 允許使用零長(zhǎng)度數(shù)組,比如:
char data[0];
GNU C 允許使用一個(gè)變量定義數(shù)組的長(zhǎng)度如:
int n=0;
scanf("%d",&n);
int array[n];
case 范圍
GNU C支持 case x...y這樣的語(yǔ)法,[x,y]之間數(shù)均滿足條件。
case 'a'...'z': /*from 'a' to 'z'*/
break;
語(yǔ)句表達(dá)式
GNU C 把包含在括號(hào)中的復(fù)合語(yǔ)句看作是一個(gè)表達(dá)式,稱為語(yǔ)句表達(dá)式。
#define min_t(type,x,y)
({type __x=(x); type __y=(y);__x<__y?__x:__y;})
這種寫(xiě)法可以避免:
#define min_t(x,y) ((x)<(y)?(x):(y))
在min_t(x++,++y)中出現(xiàn)的副作用。
typeof 關(guān)鍵字
typeof(x)可以獲得x的類型借助typeof關(guān)鍵字我們可以重新定義min_t:
#define min_t(x,y)
({typeof(x) __x=(x); typeof(y) __y=(y);__x<__y?__x:__y;})
可變參數(shù)宏
GNU C中宏也支持可變參數(shù):
#define pr_debug(fmt,arg...)
printk(fmt,##arg)
這里,如果可變參數(shù)被忽略或?yàn)榭?,?#”操作將使預(yù)處理器去掉它前面的那個(gè)逗號(hào)。如果你在宏調(diào)用時(shí),確實(shí)提供了一些可變參數(shù),GNU C也會(huì)工作正常,它會(huì)把這些可變參數(shù)放到逗號(hào)的后面。
標(biāo)號(hào)元素
標(biāo)準(zhǔn)C要求數(shù)組或結(jié)構(gòu)體的初始化值必須以固定的順序出現(xiàn),在GNU C中,通過(guò)指定索引或結(jié)構(gòu)體成員名,允許初始化以任意順序出現(xiàn)。
unsigned char data[MAX] =
{
[0]=10,
[10]=100,
};
struct file_operations ext2_file_operations=
{
open:ext2_open,
close:ext2_close,
};
在linux 2.6中推薦如下方式:
struct file_operations ext2_file_operations=
{
.read=ext2_read,
.write=ext2_write,
};
當(dāng)前函數(shù)名
GNU C中預(yù)定義兩個(gè)標(biāo)志符保存當(dāng)前函數(shù)的名字,__ FUNCTION __ 保存函數(shù)在源碼中的名字, __ PRETTY__ FUNCTION __保存帶語(yǔ)言特色的名字。在C函數(shù)中這兩個(gè)名字是相同的。
void func_example()
{
printf("the function name is %s",__FUNCTION__);
}
在C99中支持__ func __ 宏,因此建議使用 __ func __ 替代 __ FUNCTION __ 。
特殊屬性聲明
GNU C 允許聲明函數(shù)、變量和類型的特殊屬性,以便進(jìn)行手工的代碼優(yōu)化和定制。如果要指定一個(gè)屬性聲明,只需要在聲明后添加__ attribute __((ATTRIBUTE))。其中ATTRIBUTE為屬性說(shuō)明,如果存在多個(gè)屬性,則以逗號(hào)分隔。GNU C 支持noreturn,noinline, always_inline, pure, const, nothrow, format, format_arg, no_instrument_function, section, constructor, destructor, used, unused, deprecated, weak, malloc, alias warn_unused_result nonnull等十個(gè)屬性。
noreturn屬性作用于函數(shù),表示該函數(shù)從不返回。這會(huì)讓編譯器優(yōu)化代碼并消除不必要的警告信息。例如:
#define ATTRIB_NORET __attribute__((noreturn)) ....
asmlinkage NORET_TYPE void do_exit(long error_code) ATTRIB_NORET;
packed屬性作用于變量和類型,用于變量或結(jié)構(gòu)域時(shí),表示使用最小可能的對(duì)齊,用于枚舉、結(jié)構(gòu)或聯(lián)合類型時(shí)表示該類型使用最小的內(nèi)存。如對(duì)于結(jié)構(gòu)體,就是它告訴編譯器取消結(jié)構(gòu)在編譯過(guò)程中的優(yōu)化對(duì)齊,按照實(shí)際占用字節(jié)數(shù)進(jìn)行對(duì)齊。例如:
struct example_struct
{
char a;
int b;
long c;
} __attribute__((packed));
regparm屬性用于指定最多可以使用n個(gè)寄存器(eax, edx, ecx)傳遞參數(shù),n的范圍是0~3,超過(guò)n時(shí)則將參數(shù)壓入棧中(n=0表示不用寄存器傳遞參數(shù))。
注意:以上這些屬性都是在X86處理器體系結(jié)構(gòu)下的,在X64體系結(jié)構(gòu)下,大部分內(nèi)容都是同樣有效的。但是,這里要注意regparm屬性,由于在X64體系結(jié)構(gòu)下,GUN C的默認(rèn)調(diào)用約定使用寄存器傳遞參數(shù)。所以,如果regparm屬性里使用的寄存器個(gè)數(shù)超過(guò)3個(gè),也仍然會(huì)使用其他寄存器來(lái)傳遞參數(shù)。這一點(diǎn)要遵循X64體系結(jié)構(gòu)的調(diào)用約定。
下面可以看一個(gè)例子:
int q = 0x5a;
int t1 = 1;
int t2 = 2;
int t3 = 3;
int t4 = 4;
#define REGPARM3 __attribute((regparm(3)))
#define REGPARM0 __attribute((regparm(0)))
void REGPARM0 p1(int a)
{
q = a + 1;
}
void REGPARM3 p2(int a, int b, int c, int d)
{
q = a + b + c + d + 1;
}
int main()
{
p1(t1);
p2(t1,t2,t3,t4);
return 0;
}
使用objdump命令反匯編,相關(guān)命令如下:
objdump -D 可執(zhí)行程序
其中-D選項(xiàng)用于反匯編所有的程序段,包括:代碼段、數(shù)據(jù)段、只讀數(shù)據(jù)段以及一些系統(tǒng)段等等。而-d命令只反匯編代碼段的內(nèi)容。
反匯編后的關(guān)鍵代碼如下:
Disassembly of section .text:
0000000000400474 :
400474: 55 push %rbp
400475: 48 89 e5 mov %rsp,%rbp
400478: 89 7d fc mov %edi,-0x4(%rbp)
40047b: 8b 45 fc mov -0x4(%rbp),%eax
40047e: 83 c0 01 add $0x1,%eax
400481: 89 05 3d 04 20 00 mov %eax,0x20043d(%rip) # 6008c4
400487: c9 leaveq
400488: c3 retq
0000000000400489 :
400489: 55 push %rbp
40048a: 48 89 e5 mov %rsp,%rbp
40048d: 89 7d fc mov %edi,-0x4(%rbp)
400490: 89 75 f8 mov %esi,-0x8(%rbp)
400493: 89 55 f4 mov %edx,-0xc(%rbp)
400496: 89 4d f0 mov %ecx,-0x10(%rbp)
400499: 8b 45 f8 mov -0x8(%rbp),%eax
40049c: 8b 55 fc mov -0x4(%rbp),%edx
40049f: 8d 04 02 lea (%rdx,%rax,1),%eax
4004a2: 03 45 f4 add -0xc(%rbp),%eax
4004a5: 03 45 f0 add -0x10(%rbp),%eax
4004a8: 83 c0 01 add $0x1,%eax
4004ab: 89 05 13 04 20 00 mov %eax,0x200413(%rip) # 6008c4
4004b1: c9 leaveq
4004b2: c3 retq
00000000004004b3 :
4004b3: 55 push %rbp
4004b4: 48 89 e5 mov %rsp,%rbp
4004b7: 53 push %rbx
4004b8: 8b 05 0a 04 20 00 mov 0x20040a(%rip),%eax # 6008c8
4004be: 89 c7 mov %eax,%edi
4004c0: e8 af ff ff ff callq 400474
4004c5: 8b 0d 09 04 20 00 mov 0x200409(%rip),%ecx # 6008d4
4004cb: 8b 15 ff 03 20 00 mov 0x2003ff(%rip),%edx # 6008d0
4004d1: 8b 1d f5 03 20 00 mov 0x2003f5(%rip),%ebx # 6008cc
4004d7: 8b 05 eb 03 20 00 mov 0x2003eb(%rip),%eax # 6008c8
4004dd: 89 de mov %ebx,%esi
4004df: 89 c7 mov %eax,%edi
4004e1: e8 a3 ff ff ff callq 400489
4004e6: b8 00 00 00 00 mov $0x0,%eax
4004eb: 5b pop %rbx
4004ec: c9 leaveq
4004ed: c3 retq
4004ee: 90 nop
4004ef: 90 nop
Disassembly of section .data:
00000000006008c0 <__data_start>:
6008c0: 00 00 add %al,(%rax)
...
00000000006008c4 :
6008c4: 5a pop %rdx
6008c5: 00 00 add %al,(%rax)
...
00000000006008c8 :
6008c8: 01 00 add %eax,(%rax)
...
00000000006008cc :
6008cc: 02 00 add (%rax),%al
...
00000000006008d0 :
6008d0: 03 00 add (%rax),%eax
...
00000000006008d4 :
6008d4: 04 00 add $0x0,%al
...
如果讀者還記得2.2.3節(jié)中,關(guān)于GCC基于X64體系結(jié)構(gòu)的調(diào)用約定的話,那就很容易可以看出,函數(shù)p1和p2都使用寄存器傳遞參數(shù),順序就是RDI, RSI, RDX, RCX,這些細(xì)節(jié)已經(jīng)跟regparm的規(guī)定完全不一致了。所以,在這里作者覺(jué)得,regparm已經(jīng)不起作用了。
來(lái)源:https://my.oschina.net/LinuxDaxingxing/blog/751319
-
C語(yǔ)言
+關(guān)注
關(guān)注
180文章
7604瀏覽量
136683 -
GNU
+關(guān)注
關(guān)注
0文章
143瀏覽量
17492
原文標(biāo)題:你知道GNU C對(duì)C語(yǔ)言的擴(kuò)展嗎?
文章出處:【微信號(hào):gh_c472c2199c88,微信公眾號(hào):嵌入式微處理器】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論