一般情況下，在C語(yǔ)言中，函數(shù)指針定義時(shí)就會(huì)說(shuō)明其指向的函數(shù)的參數(shù)情況以及返回值類型，比如以下定義：

void (*func_p)(int a);

以上代碼就聲明了一個(gè)函數(shù)指針func_p，其指向的函數(shù)的返回值類型為void類型，即沒(méi)有返回值，并且該函數(shù)有且只有一個(gè)int類型的參數(shù)。

那有沒(méi)有方法使得函數(shù)指針能夠指向參數(shù)類型不同的函數(shù)呢？事實(shí)上，在gcc中，我們可以使用透明聯(lián)合類型。這里所謂的“透明”，指的是對(duì)用戶而言，該聯(lián)合類型是透明的。自然，用戶也就無(wú)法發(fā)覺(jué)。

透明聯(lián)合類型的定義的一個(gè)范例如下所示：

typedef union u_t

{

int *a;

float b;

struct

{

short c;

char d;

};

} u_t __attribute__((__transparent_union__));

從中可以看出，透明聯(lián)合類型定義時(shí)，同普通的聯(lián)合類型是很相似的，只是要在末尾加上attribute屬性transparent_union。事實(shí)上__transparent_union__的確也可以寫(xiě)為transparent_union，但為了避免與自定義的宏重復(fù)，最好在兩邊加上雙下劃線。

另外，對(duì)透明聯(lián)合類型的成員有以下兩點(diǎn)要求：

浮點(diǎn)類型(float, double, float _Complex, 以及double _Complex)以及向量類型(vector)可以作為透 明聯(lián)合類型的成員，但是不能作為第一個(gè)成員。

透明聯(lián)合類型中的任意一個(gè)成員的所占的內(nèi)存空間的大小必須小于等于該透明聯(lián)合類型中的第一個(gè)成員的所占的內(nèi)存空間的大小。

利用該透明聯(lián)合類型，我們可以定義如下的函數(shù)指針：

void (*func_p)(u_t u);

該函數(shù)指針可以正確無(wú)誤的指向以下兩個(gè)函數(shù)(所謂正確無(wú)誤是指不會(huì)提示assignment from incompatible pointer type)：

void func_a(int *a)

{

/*Some code here*/

}

void func_b(float b)

{

/*Some code here*/

}

由于u_t中第三個(gè)參數(shù)為匿名結(jié)構(gòu)體，所以無(wú)法寫(xiě)出一個(gè)參數(shù)為該結(jié)構(gòu)體的函數(shù)，函數(shù)指針自然也無(wú)法指向它。

我們需要注意，下面一段代碼也是可以順利編譯通過(guò)的：

func_p=func_a;

func_p(4.5F);

而下面一個(gè)語(yǔ)句是無(wú)法編譯通過(guò)的：

func_a(4.5F);

從中也可以看出，透明聯(lián)合類型削弱了C語(yǔ)言的類型檢測(cè)機(jī)制。或者，換言之，它起到了類似強(qiáng)制類型轉(zhuǎn)換的效果。GObject在定義_G_DEFINE_BOXED_TYPE_BEGIN宏時(shí)，便利用了這一點(diǎn)：

#define _G_DEFINE_BOXED_TYPE_BEGIN(TypeName, type_name, copy_func, free_func) \

GType \

type_name##_get_type (void) \

{ \

static volatile gsize g_define_type_id__volatile = 0; \

if (g_once_init_enter (&g_define_type_id__volatile)) \

{ \

GType (* _g_register_boxed) \

(const gchar *, \

union \

{ \

TypeName * (*do_copy_type) (TypeName *); \

TypeName * (*do_const_copy_type) (const TypeName *); \

GBoxedCopyFunc do_copy_boxed; \

} __attribute__((__transparent_union__)), \

union \

{ \

void (* do_free_type) (TypeName *); \

GBoxedFreeFunc do_free_boxed; \

} __attribute__((__transparent_union__)) \

) = g_boxed_type_register_static; \

GType g_define_type_id = \

_g_register_boxed (g_intern_static_string (#TypeName), copy_func, free_func); \

{ /* custom code follows */

通過(guò)_g_register_boxed這一函數(shù)指針，copy_func和free_func的參數(shù)類型得以放寬，增加了用戶的自由度。

事實(shí)上，透明聯(lián)合類型也可以用在函數(shù)中，作為函數(shù)的參數(shù)或返回值的類型來(lái)使用。

例如以下一個(gè)函數(shù)：

u_t func_u(u_t u);

{

/*Some code here*/

}

該函數(shù)調(diào)用時(shí)，其實(shí)參的類型可以是int類型，也可以是float類型，同時(shí)，其返回值類型也是不確定的。換言之，通過(guò)透明聯(lián)合類型，我們使得一個(gè)函數(shù)可以接受多種類型的參數(shù)，返回多種類型的參數(shù)。

考慮到在底層，類型實(shí)質(zhì)上是不存在的，因此所謂的透明聯(lián)合類型，也就是在一定程度上打破了類型對(duì)我們的束縛，使數(shù)據(jù)以一種更底層的角度呈現(xiàn)在我們面前。不過(guò)這樣也弱化了C語(yǔ)言對(duì)類型的檢測(cè)，由此也可能帶來(lái)一些很嚴(yán)重的錯(cuò)誤。

總結(jié)

以上是生活随笔為你收集整理的c语言笔记照片_C语言学习笔记的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。