轉換化簡法式:
- 先取一個適合的截斷點
- 將截斷點之後的低優先權運算以 typedef 界說為別號
- 然後用別號定義或宣佈截斷點之前的高優先權運算.
例一: 變數為一陣列, 陣列元素內容為 函數指標
- 式子(3) 現實是界說一個體名 IamFunc翻譯社 它是一個傳回值為整數且需要二個整數參數的函數.
- 式子(4) 和式子(3) 對照, 只是回傳值由 int 變為 int*. 因為在 IamFunc 右側的函數呼喚運算子 (), 比在左側的取值運算子 *, 優先官僚來得較高.
- 式子(5) 和式子(3) 比力, 多加了括號強迫取值運算子 * 先履行, 所以函數變成了指向函數的指標翻譯社 (名為 IamFunc 的資料型態翻譯社 是一個指標指向一個傳回值為整數且需要二個整數參數的函數).
- 有人說 式子(3) 和式子(5) 是對等的翻譯社 關於這點我不是很清楚翻譯社 需要多一點時候找資料及作些嘗試來驗證.
- 謎底也對也錯: 就 typedef 的界說內容來講: 他們是不一樣的. 然則就後續程式的現實利用來講: 這二個 typedef 界說完全一致翻譯社 程式的寫法相同翻譯社 效果也完全一樣. 之所以會有這類景象翻譯社 是因為 C 編譯器對 function pointer 的界說和處置體式格局和其他指標其實不一樣翻譯社 而且還有點另類: function pointer 的取址運算 & 及取值運算 * 結果或有分歧 (一個是指標的位址翻譯社 一個是函數的位址) 可是只要一帶上 () 成績都是呼喚函數並且不會搞錯 (好奇異喔!). 這裡有一篇有關 function pointer 的說明 (英文) Declaring, Assigning, and Using Function Pointers 是 Usenet 上 comp.lang.c FAQ list 的保護人 Steve Summit 師長教師寫的, 對於 function pointer 的取址運算 & 及取值運算 * 有明白的講解, 提供給人人參考.
enum color { black翻譯社 white, gold, pink }; typedef enum color iPhoneColor; iPhoneColor x = gold;
再下來是陣列 array 的例子:
// Wrong definition: typedef char * pstr; mystrcmp(const pstr, const pstr); // Correct definition: typedef const char * cpstr; mystrcmp(cpstr, cpstr);
int do_math(float arg1, int arg2) { return arg2; } int call_a_func(int (*call_this)(float, int)) { int output = call_this(5.5翻譯社 7); return output; } int final_result = call_a_func(&do_math);
套用 typedef 以後, typedef 自己易讀而且 call_a_func 的參數部分翻譯社 也變得簡單易讀.
// Examples of typedef a pointer typedef struct _list_node_ * pLIST_NODE; // (1) typedef struct _list_node_ (* pLIST_NODE); // (2) // Examples of typedef a function or pointer of function typedef int IamFunc (int, int); // (3) typedef int *IamFunc (int, int); // (4) typedef int (*IamFunc)(int, int); // (5)
- 式子(1) 是使用告終構指標翻譯社 寫法很平時, 看起來應該很習慣.
- 式子(2) 的寫法看起來感受彷佛有點玄機... 但其實並沒有, 式子(1)和(2)這二個寫法是一樣的:
在界說或宣佈指標 int * ptr 的寫法中, 星號閣下雙方的空白是可有可無的, 所以 int* ptr翻譯社 int *ptr, int * ptr, int*ptr, 都是正確的並且意義也不異.
而解釋上你可以說 ptr 是一個 int*, 也能夠說 *ptr 是一個 int. 所以多加了括號其實不會改變它的意義.
typedef uint8_t Buffer[16]; Buffer xBuf; xBuf[0] = 3; xBuf[1] = 2;
- 第3行有些小小的奇異, 定義變數時仿佛沒有指定是陣列, 後面卻可以用陣列的寫法. 其實第3行相當於 uint8_t xBuf[16]
- 用法可能看起來有點新鮮, 卻可以包管每次用 Buffer 界說或宣佈的陣列變數 必然是 16 個 uint8_t 元素. 優點是陣列的大小需要改變時翻譯社 只要點竄 typedef 沒必要整個專案翻找一遍, 還要擔憂是否是有改漏了.
如果碰到看不懂時翻譯社 建議你可以把定義中的 typedef 拿掉, 同時資料型態名稱換成變數的名稱翻譯社 就會比較容易理解. 例如: 把 typedef uint8_t Buffer[16]; 去掉 typedef, Buffer 換成變數名 xBuf翻譯社 釀成 uint8_t xBuf[16];
參考
- en.wikipedia.org typedef
- blog.sina.com.cn typedef的四个用途和两大圈套
- pixnet.net/blog C 說話:輕鬆讀懂複雜的界說 (Define and Read the complex declarations)
- Declaring, Assigning, and Using Function Pointers
// 原始寫法: void (*b[10])(void (*)()); // 轉換為: typedef void (*pFunParam)(); // 右半部, 函數的參數 typedef void (*pFunx)(pFunParam); // 左半部的函數 pFunx b[10];
例三: 變數為指向陣列之指標, 陣列元素固定為 9, 陣列元素內容為 函數指標
接著, 我們進一步加一些變化
轉換化簡
註一: 宣佈和界說有所分歧. 定義變數會實際佔據記憶體空間, 而宣佈變數則只產生參考的貫穿連接, 稍後連結程式時再連結到在其他模組界說的變數. 我們一般把宣佈變數擺放在 header file (.h 檔) 中翻譯社 有需要的模組或程式只要 include 便可. 而界說變數則視環境放在主程式或相關的模組中翻譯社 固然它通常也會 include 該 header file.
註二: ANSI C 標準文件說: 會實際佔據記憶體空間的宣佈稱為界說. 所以 ANSI C 說的宣告包括了界說及純宣告. 而註一及以下本文中所指的宣佈則是指沒有佔據記憶體空間的純宣佈, 而不是 ANSI C 本來所指的宣佈, 特此說明. 請參考維基網站 Declaration (computer programming) 段落二 'Declaration vs. definition' 及段落三 'Declarations and Definitions')
typedef unsigned char bool; typedef struct _list_node_ { unsigned long size; strcut _list_node_ *next; } LIST_NODE; bool flag1, flag2; LIST_NODE node0, *free_list;
- 第1行的 typedef 為 unsigned char 取了個好記的別號 bool.
- 第2~5行則將構造 _list_node_ 擴充為資料型態並為其定名為 LIST_NODE. 這裡要注意的是構造內部有一個指標指向和自己一樣的佈局. 在 typedef 的界說中我們只能使用 struct _list_node_ * 而不成以利用 typedef 的成果 LIST_NODE (因為 LIST_NODE 還沒有定義完成.
翻譯公司也可以把 typedef 的定義和佈局的定義拆開來). - 第7~8行則拿新定義的別號, 來界說原本程式要界說的變數. 假如再把 1~5 行的 typedef 移到標頭檔 (xxx.h), 只留下 7~8 行這二行變數界說的部分, 程式看起來就簡練多了.
- 上面有關 LIST_NODE 的部分, 也可以換一個寫法:
typedef struct _list_node_ { unsigned long size; strcut _list_node_ *next; } LIST_NODE, *pLIST_NODE; LIST_NODE node0; pLIST_NODE free_list;
註三: 利用 翻譯社 將多個變數的定義/宣佈連結起來時, 要注意 * (指標) 並不算在配合的資料型態這一邊翻譯社 而是算在變數名稱這一邊. 所以上面的例子裡的 int32_t a, *p; 和 int32_t *p翻譯社 a; 和 int32_t* p翻譯社 a; 意義上都是一樣的. 初學者需要特別謹慎最後一種寫法翻譯社 特別很是容易讓人弄錯搞含混了.
// 原始寫法: doube(*)() (*e)[9]; // 轉換為: typedef double (*pFuny)(); // 左半部 typedef pFuny (*pFunParamy)[9]; // 右半部 pFunParamy e;
函數指標最多見的利用是使用在 callback 的手藝上. 由於需要將某一函數的位址當做參數傳送給另外一個函數, 因此利用 typedef 替這類 callback 函數的指標界說一個新名字 (新資料型態), 可以大幅提昇程式的可讀性, 日後保護及點竄上比力不會出錯.
// 下行的語法是毛病: static 不成以呈現在 typedef 中 typedef static int newINT; newINT x, y, x; // 要改成以下二行才行 (static 必需移到變數定義式) typedef int newINT; static newINT x, y, z;
- 下面的式子(1)翻譯社 式子(2)和式子(3)寫法相通, 是定義一個指標變數指向常數資料 (指標值可變, 資料值弗成變).
- 式子(4)和式子(5)寫法相通, 是界說一個常數指標指向可更動的資料 (指標值不可變, 資料值可變).
- 式子(1)的寫法經常會被誤以為應當和式子(5)相等翻譯社 所以就毛病的把勢子(1)化簡為式子(5). 但實際上是式子(1)應當以化簡為式子(3). (鉦昱翻譯公司們應當把勢子(5) const ptr p 中的 ptr 看成和 const int x 中的 int 一樣, 是一個資料型態. 而不要把它以 typedef 的界說 char * 來替換.)
// define a non-const pointer to const data const char * p; // (1) char const * p; // (2) typedef const char * ptr; // (3-1) ptr p; // (3-2) // define a const pointer to non-const data char * const p; // (4) typedef char* ptr; // (5-1) const ptr p; // (5-2)
- 備註:
- 式子(4)和式子(5-2)在現實應用中是不 OK 的, 因為 (指標變數的) 變數值自己是一常數, 必須在界說變數的同時指定其常數值. 實際運用的例子以下: 式子(4a)是指定某一個變數的位址; 式子(4b)是指定一特定位址.
char * const p = &x; // (4a) char * const p = 0x200000; // (4b)
- 不外式子(4b)的用法會多浪費一個指標變數的空間 (即變數 p 自己). 這是因為 0x200000 自己就是一個 const, 所以沒需要用變數來貯存它然後又宣告說該變數是常數弗成以更動. 其實我們可以直接用 type casting 的方式把 0x200000 轉型就能夠了, 即 ((char *)0x200000). 如果感覺後續利用它的程式論述會不好讀翻譯社 那可以到場 #define CONST_P ((char *)0x200000) 如許的置換巨集, 然後把程式論述改成使用 CONST_P 來取代 ((char *)0x200000) 便可.
- 式子(1)翻譯社 式子(2)和式子(3)在現實應用中是 OK 的翻譯社 同時它只是限制弗成以經由指標變數 p 來改變其所指到的變數翻譯社 而不是限制所指到的變數必須是常數.
typedef const char * ptr; ptr p; char x = 0x20; p = &x; *p = 0x21; // Compiler will alert. x = 0x21; // OK
最常看到的毛病範例是我們想要寫一個像 strcmp() 那樣的函數翻譯社 於是宣佈了以下的函數原型 mystrcmp(const char *翻譯社 const char *)翻譯社 然後為了想簡化於是又增添了界說 typedef char * pstr; 接著把函數原型宣告改成 mystrcmp(const pstr翻譯社 const pstr), 然後就掛掉了... (鉦昱翻譯公司們進展的是字串對照時不要去動到字串的內容, 而不是指標值不克不及更動)
下面的例子含有例舉 (enum) 別號界說翻譯社 應當不用多作诠釋.
底下的程式片斷是變數界說的部份, 沒有利用 typedef 的模樣:
// 原始寫法: int *(*a[5])(int, char*); // 轉換1: typedef int *(*pFun)(int, char*); pFun a[5]; // 轉換2: typedef int *Func(int, char*); Func *a[5];
- 轉換1: 在 *a[5] 中, [] 優先權比 * 高, 故把 a[5] 留在本來變數界說的式子, 其餘的轉為 typedef
- 轉換2: 把 *a[5] 整個留在本來的變數界說式, 其餘的轉為 typedef
例二: 變數為一陣列, 陣列元素內容為 函數指標, 函數之參數為 函數指標
void (*signal(int sig, void (*func)(int)))(int); // 轉換成下面的模樣 typedef void (*sighandler_t)(int); sighandler_t signal(int sig翻譯社 sighandler_t func);
陷阱 -- 有關 storage class 和 qualifier 常常呈現的毛病
- 由於 typedef 的功效會被視為資料型態的擴充, 界說或宣佈變數時可使用指定儲區種別 (storage class) 的四個 keyword (auto, static翻譯社 extern, register) 來加以潤色, 是以 typedef 的內容自己是弗成以利用這四個 keyword 的.
- 習慣上, C 說話 (如: standard C library, POSIX) 會在衍素性型別名的後面加上 _t翻譯社 像是 size_t.
- 界說或宣佈變數時翻譯社 新設的型別不行以和 signed翻譯社 unsigned 一起適用 (即使是 原始型別是 int翻譯社 short, long... 之類的型別). 來由很簡單 signed int 和 unsigned int 是分別的根基資料型態翻譯社 意即 signed 和 unsigned 這二個 keyword 並非 int 的 storage class 或是 qualifier 之類的潤色 keyword.
- 不克不及破損原有之運算前後次序.
- 轉換化簡沒有固定的謎底, 完全視程式的需要取 typedef 的截斷點.
typedef int (*MathFunc)(float, int); int do_math(float arg1翻譯社 int arg2) { return arg2; } int call_a_func(MathFunc call_this) { int output = call_this(5.5, 7); return output; } int final_result = call_a_func(&do_math);
再來一個更極真個例子 (也是借用自 Wiki 網站對 typedef 的解說)
再來看一些用 typedef 轉換化簡的例子: from blog.sina.com.cn typedef的四个用途和两大圈套
感覺很費勁看不下去了嗎? 先讀一下這一篇 C 說話:輕鬆讀懂複雜的定義 (Define and Read the complex declarations)
C 語言中 typedef 可以用來擴充 C 原有的資料型態. 每每鉦昱翻譯公司們會將某個資料型態或將常用的資料型態組合賜與一個比較直觀而易懂的別名. 定義別號之後我們就可以像利用原本的資料型態來宣告或界說變數一樣翻譯社 直接拿它來宣佈或界說(註一, 註二)變數.
unsigned char flag1, flag2; struct _list_node_ { unsigned long size; strcut _list_node_ *next; } node0, *free_list;
再來看的是改用 typedef 後的模樣:
雜記
下面的例子借用自 Wiki 網站對 typedef 的說明註解
轉換化簡的原則:
本篇文章引用自此: http://magicjackting.pixnet.net/blog/post/65865174-c-%e8%aa%9e%e8%a8%80%3atypedef-%e7%9a%84%e7%94%a8有關各國語文翻譯公證的問題歡迎諮詢鉦昱翻譯公司02-23690937