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

void (*func_p)(int a);

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

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

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

typedef union u_t

{

int *a;

float b;

struct

{

short c;

char d;

};

} u_t __attribute__((__transparent_union__));

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

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

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

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

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

void (*func_p)(u_t u);

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

void func_a(int *a)

{

/*Some code here*/

}

void func_b(float b)

{

/*Some code here*/

}

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

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

func_p=func_a;

func_p(4.5F);

而下面一個語句是無法編譯通過的：

func_a(4.5F);

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

#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 */

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

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

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

u_t func_u(u_t u);

{

/*Some code here*/

}

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

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

總結(jié)

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

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