漫談C 程式設計中的多型與new關鍵字

2021-04-24 13:51:38 字數 2680 閱讀 3636

void printstatus() in base");}}

我們只需要讓 derived2 重新實現 iface:

// code #09

class derived2 : base, iface

}derived1 保持不變。則把:

// code #10

iface fs = new iface

傳遞給:

// code #11

public void displaystatusof(iface fs)

}輸出結果是:

// output #03

// public virtual void printstatus() in base

// public override void printstatus() in derived1

// public new void printstatus() in derived2

從輸出結果中,我們可以看到,雖然 derived2.printstatus 應用了 new,但卻依然參與動態繫結,這是由於 new 只能割斷 derived2.printstatus 和 base.printstatus 的聯絡,而不能割斷它與 iface.printstatus 的聯絡。我在 derived2 的定義中重新指定實現 iface,這將使得編譯器認為 derived2.printstatus 是 iface.printstatus 的隱式實現,於是,在動態繫結時 derived2.printstatus 就被包括進來了。

5. 誰的問題?

我必須指出,如果 base(code #01)和 derived2(code #04)同時存在的話,它們倆其中乙個存在著設計上的問題。為什麼這樣說呢?base 的設計者在 printstatus 上應用 virtual 說明了他希望派生類能透過重寫這一方法來參與動態繫結,即多型性;而 derived2 的設計者在 printstatus 上應用 new 則說明了他希望割斷 derived2.printstatus 和 base.printstatus 之間的聯絡,這將使得 derived2.printstatus 無法參與到 base 的設計者所期望的動態繫結中。如果在 base.printstatus 上應用 virtual(即對多型性的期望)是合理的話,那麼 derived2.printstatus 應該換用另外乙個名字了;如果在 derived2.printstatus 上應用 new(即否決參與動態繫結)是合理的,那麼 base.printstatus 應該考慮是否去掉 virtual 了,否則就會出現一些奇怪的行為,例如 output #01 的第三行輸出。

假如繼承體系中多型性行為的期望是合理的話,那麼更實際的做法應該是把 base 定義成這樣:

// code #12

abstract class base

而原來 base 中的實現應該下移到乙個派生類中: // code #13

class derived3 : base

}這樣,derived2.printstatus 將使得編譯無法完成,從而迫使其設計者要麼更改方法的名字,要麼換用 override 修飾。這種強制使得 derived2 的設計者不得不重新考慮其設計的合理性。

假如繼承體系中多型性行為的期望不總是合理呢?例如 stream 有這樣乙個方法:

public abstract long seek(long offset, seekorigin origin);

現在假設我有乙個方法在處理輸入流時需要用到 stream.seek:

// code #14

public void resume(stream input, long offset)

當我們向 resume 傳遞乙個 networkstream 的例項,resume 將會丟擲乙個 notsupportedexception,因為 networkstream 不支援 seek。那麼這是否說明 stream 的設計有問題呢?

// c

ode #15

public void resume(stream input, long offset)

else

}如果 canseek 為 false,那就只好從頭來過了。

實際上,我們並不能保證任何 stream 的派生類都能夠支援某個(些)操作,我們甚至不能保證來自同乙個派生類的所有例項都支援某個(些)操作。你可以設想有這樣乙個 prioritystream,它能夠根據當前登入賬號的許可權來決定是否提供寫操作,這使得擁有足夠許可權的人才能修改資料。或許 stream 的設計者已經預料到這類情況的發生,所以 canread、canseek 和 canwrite 就被加入到 stream 裡了。

值得注意的是,code #07 的 derived2 可能是乙個很糟糕的設計,也可能是乙個很實用的設計。在本文,它是乙個很糟糕的設計,如果你足夠細心,你會察覺到 derived2 的設計者希望 derived2.printstatus 繞過 base.printstatus 而直接和 iface.printstauts 進行關聯,表面上這沒什麼不妥,但實質上 base.printstatus 和 iface.printstauts 在約定上是同質的,這意味著如果與 iface.printstauts 進行關聯就等於承認自己和 base.printstatus 是同質的,這樣的話,為什麼不直接在 derived2 裡重寫 printstatus 呢?在《基類與介面混合繼承的宣告問題》中,我示範了乙個實用的設計,用 new 和介面重新實現(inte***ce reimplementation)來糾正非預期的多型行為。

漫談C 程式設計中的多型與new關鍵字 C 教程

1.你通常怎樣用多型?假設我有乙個類,裡面有乙個 printstatus 方法,用於列印例項的當前狀態,我希望該類的派生類都帶有乙個 printstatus 方法,並且這些方法都用於列印其實例的當前狀態。那麼我會這樣表達我的願望 code 01 class base 於是我可以寫乙個這樣的方法 co...

漫談C 程式設計中的多型與new關鍵字 C 教程

1.你通常怎樣用多型?假設我有乙個類,裡面有乙個 printstatus 方法,用於列印例項的當前狀態,我希望該類的派生類都帶有乙個 printstatus 方法,並且這些方法都用於列印其實例的當前狀態。那麼我會這樣表達我的願望 code 01 class base 於是我可以寫乙個這樣的方法 co...

C 程式設計中的 New 關鍵詞的幾種用法

前段時間乙個朋友問到c 的new關鍵字有幾種用法,雖說在日常程式設計中經常用到這個小傢伙,但它到底有幾種用法還真沒有留意過,現將從網上總結出的資料記下以供同仁學習。1 new 運算子 用於建立物件和呼叫建構函式。2 new 修飾符 用於隱藏基類成員的繼承成員。3 new 約束 用於在泛型宣告中約束可...