Attribute[計算機語言]

Attribute[計算機語言]
Attribute[計算機語言]
更多義項 ▼ 收起列表 ▲

元素用於向元素添加屬性。 注釋: 元素會替換名稱相同的已有屬性。

定義和用法

<xsl:attribute> 元素用於向元素添加屬性。

注釋:<xsl:attribute> 元素會替換名稱相同的已有屬性。

語法

<xsl:attribute name="attributename" namespace="uri"> <!-- Content:template --></xsl:attribute>

屬性

屬性描述
name attributename 必需。規定屬性的名稱。
namespace URI 可選。為屬性定義命名空間的 URI。

實例

例子 1

向 picture 元素添加 source屬性:

<picture> <xsl:attribute name="source"/></picture>

例子 2

向 picture 元素添加 source 屬性,並使用 "images/name" 中的值為其賦值:

<picture> <xsl:attribute name="source"> <xsl:value-of select="images/name" /> </xsl:attribute></picture>

例子 3

創建能夠套用到任何輸出元素的屬性集:

<xsl:attribute-set name="font"> <xsl:attribute name="fname">Arial</xsl:attribute> <xsl:attribute name="size">14px</xsl:attribute> <xsl:attribute name="color">red</xsl:attribute></xsl:attribute-set>

機制

1. __attribute__

GNU C的一大特色(卻不被初學者所知)就是__attribute__機制。

__attribute__可以設定函式屬性(Function Attribute)、變數屬性(Variable Attribute)和類型屬性(Type Attribute)

__attribute__前後都有兩個下劃線,並且後面會緊跟一對原括弧,括弧裡面是相應的__attribute__參數

__attribute__ 語法格式為:

__attribute__ ( ( attribute-list ) )

函式屬性(Function Attribute),函式屬性可以幫助開發者把一些特性添加到函式聲明中,從而可以使編譯器在錯誤檢查方面的功能更強大。

__attribute__機制也很容易同非GNU應用程式做到兼容。

GNU CC需要使用 –Wall,這是控制警告信息的一個很好的方式。下面介紹幾個常見的屬性參數。

2. format

該屬性可以使編譯器檢查函式聲明和函式實際調用參數之間的格式化字元串是否匹配。它可以給被聲明的函式加上類似printf或者scanf的特徵,該功能十分有用,尤其是處理一些很難發現的bug。

format 的語法格式為:

format ( archetype, string-index, first-to-check )

format屬性告訴編譯器,按照printf,scanf,strftime或strfmon的參數表格式規則對該函式的參數進行檢查。archetype:指定是哪種風格;

string-index:指定傳入函式的第幾個參數是格式化字元串;

first-to-check:指定從函式的第幾個參數開始按上述規則進行檢查。

具體使用格式如下:

__attribute__( ( format( printf,m,n ) ) )

__attribute__( ( format( scanf,m,n ) ) )

其中參數m與n的含義為:

m 第幾個參數為格式化字元串(format string);

n 參數集合中的第一個,即參數“…”里的第一個參數在函式參數總數排在第幾

注意,有時函式參數裡還有“隱身”的呢,後面會提到;

在使用上,__attribute__((format(printf,m,n)))是常用的,而另一種卻很少見到。

下面舉例說明,其中myprint為自己定義的一個帶有可變參數的函式,其功能類似於printf:

//m=1;n=2

extern void myprint( const char *format,… ) __attribute__( ( format( printf,1,2 ) ) );

//m=2;n=3

extern void myprint( int l,const char *format,... ) __attribute__( ( format( printf,2,3 ) ) );

需要特別注意的是,如果myprint是一個函式的成員函式,那么m和n的值可有點“懸乎”了,例如:

//m=3;n=4

extern void myprint( int l,const char *format,... ) __attribute__( ( format( printf,3,4 ) ) );

其原因是,類成員函式的第一個參數實際上一個“隱身”的“ this”指針。(有點C++基礎的都知道點this指針,不知道你在這裡還知道嗎?)

這裡給出測試用例:attribute.c,代碼如下:

extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));

void test()

{

myprint("i=%d/n",6);

myprint("i=%s/n",6);

myprint("i=%s/n","abc");

myprint("%s,%d,%d/n",1,2);

}

運行$gcc –Wall –c attribute.c attribute後,輸出結果為:

attribute.c: In function `test':

attribute.c:7: warning: format argument is not a pointer (arg 2)

attribute.c:9: warning: format argument is not a pointer (arg 2)

attribute.c:9: warning: too few arguments for format

如果在attribute.c中的函式聲明去掉__attribute__((format(printf,1,2))),再重新編譯,

既運行$gcc –Wall –c attribute.c attribute後,則並不會輸出任何警告信息。

注意,默認情況下,編譯器是能識別類似printf的“標準”庫函式。

3. noreturn

該屬性通知編譯器函式從不返回值。

當遇到函式需要返回值卻還沒運行到返回值處就已退出來的情況,該屬性可以避免出現錯誤信息。C庫函式中的abort()和exit()的聲明格式就採用了這種格式

extern void exit(int) __attribute__( ( noreturn ) );

extern void abort(void) __attribute__( ( noreturn ) );

為了方便理解,大家可以參考如下的例子:

//name: noreturn.c ;測試 __attribute__((noreturn))

extern void myexit();

int test( int n )

{

if ( n > 0 )

{

myexit();

/* 程式不可能到達這裡 */

}

else

{

return 0;

}

}

編譯$gcc –Wall –c noreturn.c 顯示的輸出信息為:

noreturn.c: In function `test':

noreturn.c:12: warning: control reaches end of non-void function

警告信息也很好理解,因為你定義了一個有返回值的函式test卻有可能沒有返回值,程式當然不知道怎么辦了!加上__attribute__((noreturn))則可以很好的處理類似這種問題。把 extern void myexit(); 修改為:

extern void myexit() __attribute__((noreturn));

之後,編譯不會再出現警告信息。

4. const

該屬性只能用於帶有數值類型參數的函式上,當重複調用帶有數值參數的函式時,由於返回值是相同的。所以此時編譯器可以進行最佳化處理,除第一次需要運算外, 其它只需要返回第一次的結果。

該屬性主要適用於沒有靜態狀態(static state)和副作用的一些函式,並且返回值僅僅依賴輸入的參數。為了說明問題,下面舉個非常“糟糕”的例子,該例子將重複調用一個帶有相同參數值的函式,具體如下:

extern int square( int n ) __attribute__ ( (const) );

for (i = 0; i < 100; i++ )

{

total += square (5) + i;

}

添加__attribute__((const))聲明,編譯器只調用了函式一次,以後只是直接得到了相同的一個返回值。

事實上,const參數不能用在帶有指針類型參數的函式中,因為該屬性不但影響函式的參數值,同樣也影響到了參數指向的數據,它可能會對代碼本身產生嚴重甚至是不可恢復的嚴重後果。並且,帶有該屬性的函式不能有任何副作用或者是靜態的狀態,類似getchar()或time()的函式是不適合使用該屬性。

5. finstrument-functions

該參數可以使程式在編譯時,在函式的入口和出口處生成instrumentation調用。恰好在函式入口之後並恰好在函式出口之前,將使用當前函式的地址和調用地址來調用下面的profiling函式。(在一些平台上,__builtin_return_address不能在超過當前函式範圍之外正常工作,所以調用地址信息可能對profiling函式是無效的)

void __cyg_profile_func_enter( void *this_fn,void *call_site );

void __cyg_profile_func_exit( void *this_fn,void *call_site );

其中,第一個參數this_fn是當前函式的起始地址,可在符號表中找到;第二個參數call_site是調用處地址。

6. instrumentation

也可用於在其它函式中展開的內聯函式。從概念上來說,profiling調用將指出在哪裡進入和退出內聯函式。這就意味著這種函式必須具有可定址形式。如果函式包含內聯,而所有使用到該函式的程式都要把該內聯展開,這會額外地增加代碼長度。如果要在C 代碼中使用extern inline聲明,必須提供這種函式的可定址形式。

可對函式指定no_instrument_function屬性,在這種情況下不會進行 instrumentation操作。例如,可以在以下情況下使用no_instrument_function屬性:上面列出的profiling函式、高優先權的中斷例程以及任何不能保證profiling正常調用的函式。

no_instrument_function

如果使用了-finstrument-functions,將在絕大多數用戶編譯的函式的入口和出口點調用profiling函式。使用該屬性,將不進行instrument操作。

7. constructor/destructor

若函式被設定為constructor屬性,則該函式會在main()函式執行之前被自動的執行。類似的,若函式被設定為destructor屬性,則該函式會在main()函式執行之後或者exit()被調用後被自動的執行。擁有此類屬性的函式經常隱式的用在程式的初始化數據方面,這兩個屬性還沒有在面向對象C中實現。

8. 同時使用多個屬性

可以在同一個函式聲明里使用多個__attribute__,並且實際套用中這種情況是十分常見的。使用方式上,你可以選擇兩個單獨的__attribute__,或者把它們寫在一起,可以參考下面的例子:

extern void die(const char *format, ...) __attribute__( (noreturn)) __attribute__((format(printf, 1, 2)) );

或者寫成

extern void die(const char *format,...) __attribute__( (noreturn, format(printf, 1, 2)) );

如果帶有該屬性的自定義函式追加到庫的頭檔案里,那么所以調用該函式的程式都要做相應的檢查。

9. 和非GNU編譯器的兼容性

__attribute__設計的非常巧妙,很容易作到和其它編譯器保持兼容。也就是說,如果工作在其它的非GNU編譯器上,可以很容易的忽略該屬性。即使__attribute__使用了多個參數,也可以很容易的使用一對圓括弧進行處理,例如:

/* 如果使用的是非GNU C, 那么就忽略__attribute__ */

#ifndef __GNUC__

#define __attribute__(x) /* NOTHING * /

#endif

需要說明的是,__attribute__適用於函式的聲明而不是函式的定義。所以,當需要使用該屬性的函式時,必須在同一個檔案里進行聲明,例如:

/* 函式聲明 */

void die( const char *format, ... ) __attribute__( (noreturn) ) __attribute__( ( format(printf,1,2) ) );

void die( const char *format,... )

{ /* 函式定義 */ }

更多屬性參考:http://gcc.gnu.org/onlinedocs/gcc-4.0.0/gcc/Function-Attributes.html

10. 變數屬性(Variable Attributes)

關鍵字__attribute__也可以對變數(variable)或結構體成員(structure field)進行屬性設定。

在使用__attribute__參數時,你也可以在參數的前後都加上“__”(兩個下劃線),例如,使用__aligned__而不是aligned,這樣,你就可以在相應的頭檔案里使用它而不用關心頭檔案里是否有重名的宏定義。

11. 類型屬性(Type Attribute)

關鍵字__attribute__也可以對結構體(struct)或共用體(union)進行屬性設定。

大致有六個參數值可以被設定: aligned packed transparent_union unused deprecatedmay_alias

12. aligned (alignment)

該屬性設定一個指定大小的對齊格式(以位元組為單位),例如:

struct S { short f[3]; } __attribute__ ( ( aligned (8) ) );

typedef int more_aligned_int __attribute__ ( ( aligned (8) ) );

這裡,如果sizeof(short)的大小為2(byte),那么,S的大小就為6。取一個2的次方值,使得該值大於等於6,則該值為8,所以編譯器將設定S類型的對齊方式為8位元組。該聲明將強制編譯器確保(盡它所能)變數類型為struct S或者more-aligned-int的變數在分配空間時採用8位元組對齊方式。

如上所述,你可以手動指定對齊的格式,同樣,你也可以使用默認的對齊方式。例如:

struct S { short f[3]; } __attribute__ ( (aligned) );

上面,aligned後面不緊跟一個指定的數字值,編譯器將依據你的目標機器情況使用最大最有益的對齊方式。

int x __attribute__ ( (aligned (16) ) ) = 0;

編譯器將以16位元組(注意是位元組byte不是位bit)對齊的方式分配一個變數。也可以對結構體成員變數設定該屬性,例如,創建一個雙字對齊的int對,可以這么寫:

Struct foo { int x[2] __attribute__ ( (aligned (8) ) ); };

選擇針對目標機器最大的對齊方式,可以提高拷貝操作的效率。

aligned屬性使被設定的對象占用更多的空間,相反的,使用packed可以減小對象占用的空間。

需要注意的是,attribute屬性的效力與你的連線器也有關,如果你的連線器最大隻支持16位元組對齊,那么你此時定義32位元組對齊也是無濟於事的。

13. packed

使用該屬性可以使得變數或者結構體成員使用最小的對齊方式,即對變數是一位元組對齊,對域(field)是位對齊。使用該屬性對struct或者union類型進行定義,設定其類型的每一個變數的記憶體約束。當用在enum類型定義時,暗示了應該使用最小完整的類型 (it indicates that the smallest integral type should be used)。

下面的例子中,x成員變數使用了該屬性,則其值將緊放置在a的後面:

struct test

{

char a;

int x[2] __attribute__ ((packed));

};

下面的例子中,my-packed-struct類型的變數數組中的值將會緊緊的靠在一起,但內部的成員變數s不會被“pack”,如果希望內部的成員變數也被packed,my-unpacked-struct也需要使用packed進行相應的約束。

struct my_packed_struct

{

char c;

int i;

struct my_unpacked_struct s;

}__attribute__ ( (__packed__) );

其它可選的屬性值還可以是:cleanup,common,nocommon,deprecated,mode,section,shared, tls_model,transparent_union,unused,vector_size,weak,dllimport,dlexport等。

14. 變數屬性與類型屬性舉例

下面的例子中使用__attribute__屬性定義了一些結構體及其變數,並給出了輸出結果和對結果的分析。

程式代碼為:

struct p

{

int a;

char b;

char c;

}__attribute__( ( aligned(4) ) ) pp;

struct q

{

int a;

char b;

structp qn;

char c;

}__attribute__( ( aligned(8) ) ) qq;

int main()

{

printf("sizeof(int)=%d,sizeof(short)=%d,sizeof(char)=%d/n",sizeof(int),sizeof(short),sizeof(char));

printf("pp=%d,qq=%d /n", sizeof(pp),sizeof(qq));

return 0;

}

輸出結果:

sizeof(int)=4,sizeof(short)=2,sizeof(char)=1

pp=8,qq=24

分析:

sizeof(pp):

sizeof(a)+ sizeof(b)+ sizeof(c)=4+1+1=6<2^3=8= sizeof(pp)

sizeof(qq):

sizeof(a)+ sizeof(b)=4+1=5

sizeof(qn)=8;

即qn是採用8位元組對齊的,所以要在a,b後面添3個空餘位元組,然後才能存儲qn,

4+1+(3)+8+1=17

因為qq採用的對齊是8位元組對齊,所以qq的大小必定是8的整數倍,即qq的大小是一個比17大又是8的倍數的一個最小值,由此得到

17<2^4+8=24= sizeof(qq)

相關詞條

相關搜尋

熱門詞條

聯絡我們