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

void (*func_p)(int a);

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

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

透明聯合類型的定義的一個范例如下所示：

typedef union u_t

{

int *a;

float b;

struct

{

short c;

char d;

};

} u_t __attribute__((__transparent_union__));

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

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

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

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

利用該透明聯合類型，我們可以定義如下的函數指針：

void (*func_p)(u_t u);

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

void func_a(int *a)

{

/*Some code here*/

}

void func_b(float b)

{

/*Some code here*/

}

由于u_t中第三個參數為匿名結構體，所以無法寫出一個參數為該結構體的函數，函數指針自然也無法指向它。

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

func_p=func_a;

func_p(4.5F);

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

func_a(4.5F);

從中也可以看出，透明聯合類型削弱了C語言的類型檢測機制。或者，換言之，它起到了類似強制類型轉換的效果。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這一函數指針，copy_func和free_func的參數類型得以放寬，增加了用戶的自由度。

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

例如以下一個函數：

u_t func_u(u_t u);

{

/*Some code here*/

}

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

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。