深度分析typedef--定义自己的数据类型
最近在看redis源碼的時候看到Ae.h的時候看到如下源碼:
/* Types and data structures */
typedef void aeFileProc(struct aeEventLoop *eventLoop, int fd, void *clientData, int mask);
typedef int aeTimeProc(struct aeEventLoop *eventLoop, long long id, void *clientData);
typedef void aeEventFinalizerProc(struct aeEventLoop *eventLoop, void *clientData);
typedef void aeBeforeSleepProc(struct aeEventLoop *eventLoop);
對于函數,typedef有兩類自定義類型,恰好在Nginx和Redis中分別使用了一種風格。參見:函數指針--Nginx和Redis中兩種回調函數寫法
?----以上選自《C語言編程:一本全面的C語言入門教程 (第3版)》
更深度的分析:
--以上出自《C語言入門經典(第四版)》
下面是一些常用的總結:
1、定義數組類型
typedef int myIntArray[100];
或
typedef int myIntArray [100];
則myIntArray a;
等價于
int a[100];
2、定義函數類型
typedef bool do();
則do就成為一種函數類型,它可以用來定義指向bool類型函數的指針,如下:
bool realDo();
do * doP = realDo; 或 do* doP = &realDo; (這兩個語句是一樣的,函數名本身就是一個指針,他們性質完全相同,只是哪個更容易理解一些而已)
還不明白的話,可以試運行以下的代碼:
#include <iostream.h>
typedef bool a();
bool aaa()
{
cout << "ok" << endl;
return true;
}
void main()
{
a * aa = aaa;(此處 a * aa = &aaa; 也可以)
aa();
}
3、定義函數指針
typedef void (*funcPtr)(int);
上面的語句的意義是:定義了一個函數指針,它可以指向的函數類型是無反回值并且有一個int參數,如下:
#include <iostream.h>
typedef void (*funcPtr)(int);
void print(int a)
{
cout << a << endl;
}
void main()
{
funcPtr pFunc;
pFunc = print;
pFunc(1);
}
來個復雜的:
funcPtr aa(funcPtr bb);
如果不用typedef定義的函數類型,則要寫成如下形式:
void (*aa(void (*bb) (int))(int);
就會很難懂。
4、定義指針
typedef int * intP;
也許新手用這個關鍵字不多,但它卻是一個很有用的關鍵字,可以使代碼模塊化程度更好(即與其它代碼的關聯較少),在C++中還是實現Traits技術的基礎,也是模板編程的基本語法之一。
若說變量定義是為變量命名,而typedef(或稱為類型定義)就是為類型命名。既然都是命名,那就會有很多類似的地方。而變量定義我想大家都會使用,因此類型定義也必然會使用。
類型定義的語法可以歸結為一句話:只要在變量定義前面加上typedef,就成了類型定義。這兒的原本應該是變量的東西,就成為了類型。
如,下面的變量定義:
int integer;???? //整型變量
int *pointer;?? //整型指針變量
int array [5]; //整型數組變量
int *p_array [5]; //整型指針的數組的變量
int (*array_pointer) [5];//整型數組的指針的變量
int function (int param);//函數定義,也可將函數名看作函數的變量
int *function (int param);//仍然是函數,但返回值是整型指針
int (*function) (int param);//現在就是指向函數的指針了
若要定義相應類型,即為類型來起名字,就是下面的形式:
typedef int integer_t;????????????????????? //整型類型
typedef int *pointer_t; ??? //整型指針類型
typedef int array_t [5]; //整型數組類型
typedef int *p_array_t [5]; ?? //整型指針的數組的類型
typedef int (*array_pointer_t) [5]; //整型數組的指針的類型
typedef int function_t (int param);???? //函數類型
typedef int *function_t (int param);??? //函數類型
typedef int (*function_t) (int param); //指向函數的指針的類型
注意,上面的函數類型在C中可能會出錯,因為C中并沒有函數類型,它的函數變量會自動退化成函數指針;在C++中好像是可以的。在這里主要說明的是形式上的相似性.
?
?
typedef的一般形式為:
typedef?? 類型???? 定義名;
在編程中使用typedef目的一般有兩個,一個是給變量一個易記且意義明確的新名字,另一個是簡化一些比較復雜的類型聲明。
其實,在C語言中聲明變量的時候,有個存儲類型指示符(storage-class-specifier),它包括我們熟悉的extern、static、auto、register。在不指定存儲類型指示符的時候,編譯器會根據約定自動取缺省值。另外,存儲類型指示符的位置也是任意的(但要求在變量名和指針*之前),也就是說以下幾行代碼是等價的:
static const int i;
const static int i;
int const static i;
const int static i;
根據C語言規范,在進行句法分析的時候,typedef和存儲類型指示符是等價的!所以,我們把上述使用static的地方替換為typedef:
typedef const int i;
const typedef int i;
int const typedef i;
const int typedef i;
上述代碼的語義是:將i定義為一個類型名,其等價的類型為const int。以后如果我們有i?? a代碼,就等價于const int a。對于有指針的地方也是一樣的,比如:
int const typedef *t;那么代碼t?? p。就相當于int const *p。
另外,typedef不能和static等存儲類型指示符同時使用,因為每個變量只能有一種存儲類型,所以代碼:typedef static int i;是非法的。
使用typedef簡化復雜的變量聲明
1)、定義一個有10個指針的數組,該指針指向一個函數,該函數有一個整形參數,并返回一個整型?
第一種方法:int (*a[10])(int);
第二種方法:typedef int (*pfunc)(int);
???????????? pfunc a[10];
2)、定義一個有10個指針的數組,該指針指向一個函數,該函數有一個函數指針(不帶參數,返回值為空)參數,并返回空。
第一種方法:void (*a[10])(void (*)(void));
第二種方法:typedef void (*pfuncParam)(void);
?????????????? typedef void (*pfunc)(pfuncParam);
pfunc a[10];
3)、一個指向有10個函數指針(不帶參數,返回值為double)數組的指針
第一種方法:double (*)(void) (*p)[10];
第二種方法:typedef double (*pfunc)(void);
???????????? typedef pfunc (*pfuncParam)[10];
???????????? pfuncParam p;
總結:
typedef有兩種用法:
一、一般形式,定義已有類型的別名
typedef?? 類型??? 定義名;
二、創建一個新的類型
???? typedef?? 返回值類型?? 新類型名(參數列表);
?參考:
typedef用法詳解
http://my.oschina.net/u/178323/blog/32452
typedef幾種不常用用法??函數類型和函數指針
總結
以上是生活随笔為你收集整理的深度分析typedef--定义自己的数据类型的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: C语言Free时报错HEAP CORRU
- 下一篇: GDB使用总结