c typedef 函式指標詳細說明

引用自兩篇blog

原帖1位址 http://www.enjoykorea.net/html/25/25-26214.html

原帖2位址 http://blog.csdn.net/sharpdew/archive/2006/04/28/694852.aspx

乙個函式在編譯時被分配乙個入口位址，將這個入口位址稱為函式的指標，可以用乙個指標變數指向該函式指標，然後通過該變數來呼叫函式。

有關說明：

1、函式指標的宣告格式：

函式返回值型別（＊指標變數名）（引數型別列表）

或者是：

typedef

函式返回值型別　（＊指標變數名）（引數型別列表） 2

、乙個函式指標只能指向一種型別的函式，即具有相同的返回值和相同的引數的函式

3、關於函式指標的加減運算沒有意義

函式定義：

函式指標陣列定義：

指標賦值：

函式呼叫：

宣告乙個指向成員函式的指標

乙個成員函式指標包括成員函式的返回型別，後隨::操作符類名，指標名和函式的引數。初看上去，語法有點複雜。其實可以把它理解為乙個指向原函式的指標，格式是：函式返回型別，類名，::操作符，指標星號，指標名，函式引數

。指向外部函式的指標可如下宣告：

相應指向類

a的成員函式的指標如下表示：以上

pmf是指向類

a的乙個成員函式的指標，傳遞兩個變數

char *

和const char *

，沒有返回值。注意星號前面的

a::符號，這和前面的宣告是一致的。

賦值

為了給乙個指向成員函式的指標賦值，可以採用成員函式名並再其前面加乙個

&的方式。

有些老的編譯器可以通過沒有&號的賦值方式，但標準c++強制要求加上&號。

使用

typedef

你可以使用

typedef

來隱藏一些指向成員函式的複雜指標。例如，下面的**定義了乙個類

a中的成員函式的指標

pma，並傳遞

char *

和const char *

引數。

使用typedef特別有用，尤其是對於指向成員函式的陣列指標。下文會看到使用型別定義特別有利於宣告成員指標陣列。

通過成員指標呼叫成員函式

可以在不必知道函式名的情況下，通過成員指標呼叫物件的成員函式。例如，函式dispatcher有乙個變數pmf，通過它呼叫類成員函式，不管它呼叫的是strcpy()函式還是strcat()函式。指向外部原函式的指標和指向類成員函式的指標是有很大區別的。後者必須指向被調函式的宿主物件。因此，除了要有成員指標外，還要有合法物件或物件指標。

現舉例做進一步說明。假設a有二個例項，成員函式指標支援多型性。這樣在成員指標呼叫虛成員函式時是動態處理的(即所謂後聯編 - 譯註)。注意，不可呼叫構造和析構函式。示例如下：

高階使用技巧

以上是成員函式的基本知識。現在介紹它的高階使用技巧。

成員指標陣列

在下例，宣告了乙個含有二個成員指標的陣列，並分配類的成員函式位址給成員指標

也就是這樣的陣列在選單驅動應用中很有用。選擇選單項後，應用將呼叫相應的回叫函式，如下所示：

const型別的成員函式

成員指標的型別應該與成員函式型別一致。上面例子中的pmf 可以指向a的任意函式，只要該函式不是const型別。如下所示，如果將touppercase()的位址分配給pmf，將導致編譯出錯，因為touppercase() 的型別是const。

有些差勁的編譯器允許乙個非const型別的成員指標指向const型別的成員函式。這在標準c++是不允許的。

可能有點費解：成員指標不是真正的指標。傳統意義上的指標是乙個整數，儲存指向某個變數或函式的位址。成員指標則是乙個復合資料結構，包含有若干個資料成員。成員指標的這個複雜性使得入門比較困難。然而，一旦掌握了它的語法，就能感到它是在事件驅動和多執行緒應用中呼叫回叫函式必不可少的工具。

■void型別的指標

void

含義：

void

是「無型別」，

void*

則為無型別指標，

void*

可以指向任何型別的資料。

void a；//

此變數沒有任何實際意義，無法編譯通過「

illegal use of type

」void

的作用：

1、對程式返回的限定

2、對函式引數的限定

我們知道，如何指標p1和

p2的型別相同，那麼我們可以直接在p1和

p2間賦值，如果不同，必須使用強制型別轉換。

如：float *p1; int *p2; 若：

p1 = p2;

編譯出錯：「

can not covert from int* to float*

」必須為：

p1 = (float*)p2; 而

void*

不同，任何型別的指標都可以直接賦為它，不需要強制型別轉換：

如：void *p1; int *p2;

可作：p1 =p2;

無型別可以包容有型別，有型別不能包容無型別：

必須為：

p2 = (int*)p1;

viod

和

void*

使用規則總結：

●如果函式沒有返回值，那麼應宣告為

void

型別在

c語言中，凡不加返回值型別限定的函式，就會被編譯器作為返回整型值處理。但是許多程式設計師卻誤以為其為

void

型別.

林銳博士《高質量

c/c++

程式設計》中提到：「

c++語言有很嚴格的型別安全檢查，不允許上述情況（指函式不加型別宣告）發生」。可是編譯器並不一定這麼認定，譬如在

visual c++6.0

中上述add

函式的編譯無錯也無警告且執行正確，所以不能寄希望於編譯器會做嚴格的型別檢查。

因此，為了避免混亂，我們在編寫

c/c++

程式時，對於任何函式都必須乙個不漏地指定其型別。如果函式沒有返回值，一定要宣告為

void

型別。這既是程式良好可讀性的需要，也是程式設計規範性的要求。另外，加上

void

型別宣告後，也可以發揮**的「自注釋」作用。**的「自注釋」即**能自己注釋自己。

●如果函式無引數，那麼應宣告其引數為

void

●小心使用

void

指標型別按照

ansi

的標準，不能對

void

指標進行演算法操作，即下列操作是不合法的：

ansi

標準之所以這樣認定，是因為它堅持，進行演算法操作的指標必須是確定知道其指向資料型別的大小的。

但gun

（gun

』s not unix

）則不這麼認為，它指定

void*

的演算法操作與

char*

一致。因此在

gun編譯器中上述語句是正確的。

在實際的程式中，為了迎合

ansi

標準，並提高程式的可移植性，我們可以這樣實現同樣功能的**：

●如果函式的引數可以是任意型別指標，那麼應宣告其引數為

void *

典型的如記憶體操作函式

memcpy

和memset

的函式原型分別為：

這樣，任何型別的指標都可以傳入

memcpy

和memset

中，這也真實地體現了記憶體操作函式的意義，因為它操作的物件僅僅是一片記憶體，而不論記憶體是什型別。

●void不能代表乙個真實的變數

■this指標

《深入淺出

mfc》中解釋：

定義類crect

，定義兩個物件

rect1

、rect2

，各有自己的

m_color

成員變數，但

rect1.setcolor

和rect2.setcolor

卻都是通往唯一的

crect::setcolor

成員函式，那麼

crect::setcolor

如何處理不同物件的

m_color

？答案是由乙個隱藏引數，名為

this

指標。當你呼叫：

時，編譯器實際上為你做出來一下的**：

多出來的引數，就是所謂的

this

指標。

被編譯後，其實為：

c typedef 函式指標詳細說明

c typedef 函式指標詳細說明

c typedef 函式指標

memset函式詳細說明

相關推薦