| 導購 | 订阅 | 在线投稿
分享
 
 
當前位置: 王朝網路 >> delphi >> 與大蝦對話: 領悟設計模式
 

與大蝦對話: 領悟設計模式

2006-12-17 07:36:16  編輯來源:互聯網  简体版  手機版  評論  字體: ||
 
 
  與大蝦對話: 領悟設計模式

  

  與大蝦對話: 領悟設計模式 與大蝦對話: 領悟設計模式

  --Template Method / Visitor

  [譯者按] 本文根據發表在CUJ Expert Forum上的兩篇文章編譯而成。C/C++ User's Journal是目前最出色的C/C++語言專業雜志,特別是在C++ Report閉刊之後,CUJ的地位更加突出。CUJ Expert Forum是CUJ主辦的網上技術專欄,彙集2000年10月以來C++社群中頂尖專家的技術短文,並免費公開發布,精彩紛呈,是每一個C/C++學習者不可錯過的資料。由Jim Hyslop和Herb Sutter主持的Conversation系列,是CUJ Expert Forum每期必備的精品專欄,以風趣幽默的對話形式講解C++高級技術,在C++社群內得到廣泛贊譽。譯者特別挑選兩篇設計模式方面的文章,介紹給大家。設計模式方面的經典著作是GoF的Design Patterns。但是那本書有一個缺點,不好懂。從風格上講,該書與其說是爲學習者而寫作的教程範本,還不如說是給學術界人士看的學術報告,嚴謹有余,生動不足。這一點包括該書作者和象Bjarne Stroustrup這樣的大師都從不諱言。實際上Design Pattern並非一定是晦澀難懂的,通過生動的例子,一個中等水平的C++學習者完全可以掌握基本用法,在自己的編程實踐中使用,得到立竿見影的功效。這兩篇文章就是很好的例證。本文翻譯在保證技術完整性的前提下作了不少刪節和修改,以便使文章顯得更緊湊。

  ----------------------------------------------------------

  人物介紹:

  我 --- 一個追求上進的C++程序員,尚在試用期,聰明但是經驗不足。

  Wendy --- 公司裏的技術大拿,就坐在我旁邊的隔間裏,C++大蝦,最了不起的是,她是個女的!她什麽都好,就是有點刻薄,

  我對她真是又崇拜又嫉妒。

  ----------------------------------------------------------

  I. Virtually Yours -- Template Method模式

  我在研究Wendy寫的一個類。那是她爲這個項目寫的一個抽象基類,而我的工作就是從中派生出一個具象類(concrete class)。這個類的public部分是這樣的:

  class Mountie {

  public:

  void read( std::istream & );

  void write( std::ostream & ) const;

  virtual ~Mountie();

  很正常,virtual destructor表明這個類打算被繼承。那麽再看看其protected部分:

  protected:

  virtual void do_read( std::istream & );

  virtual void do_write( std::ostream & ) const;

  也不過就是一會兒的功夫,我識破了Wendy的把戲:她在使用template method模式。public成員函數read和write是非虛擬的,它們肯定是調用protected部分do_read/do_write虛擬成員函數來完成實際的工作。啊,我簡直爲自己的進步而飄飄然了!哈,Wendy,這回你可難不住我,還有什麽招數?盡管放馬過來... 突然,笑容在我臉上凝固,因爲我看到了其private部分:

  private:

  virtual std::string classID() const = 0;

  這是什麽?一個private純序函數,能工作麽?我站了起來,

  「Wendy,你的Mountie類好像不能工作耶,它有一個private virtual function。」

  「你試過了?」她連頭都不擡。

  「嗯,那倒是沒有啦,可是想想也不行啊?我的派生類怎麽能override你的private函數呢?」 我嘟囔著。

  「嗬,你倒是很確定啊!」Wendy的聲音很輕柔,「你怎麽老是這也不行,那也不行的,這幾個月跟著我你就沒學到什麽東西嗎?小菜鳥。」

  真是可惡啊...

  「小菜鳥,你全都忘了,訪問控制級別跟一個函數是不是虛擬的根本沒關系。判斷一個函數是動態綁定還是靜態綁定是函數調用解析的最後一個步驟。好好讀讀標准的3.4和5.2.2節吧。」

  我完全處于下風,只好采取幹擾戰術。「好吧,就算你說的不錯,我也還是不明白,何必把它設爲private?」

  「我且問你,倘若你不想讓一個類中的成員函數被其他的類調用,應當如何處理?」

  「當然是把它設置爲private的,」 我回答道。

  「那麽你去看看我的Mountie類實現,特別是write()函數的實現。」

  我正巴不得逃開Wendy那刺人的目光,便轉過頭去在我的屏幕上搜索,很快,我找到了:

  void Mountie::write(std::ostream &Dudley) const

  {

  Dudley << classID() << std::endl;

  do_write(Dudley);

  }

  嗨,最近卡通片真是看得太多了,居然犯這樣的低級失誤。還是老是承認吧:「好了,我明白了。classID()是一個實現細節,用來在保存對象時指示具象類的類型,派生類必須覆蓋它,所以必須是純虛的。但是既然是實現細節,就應該設爲private的。」

  「這還差不多,小菜鳥。」大蝦點了點頭,「現在給我解釋一下爲什麽do_read()和do_write()是protected的?」

  這個問題並不難,我組織了一下就回答:「因爲派生類對象需要調用這兩個函數的實現來讀寫其中的基類對象。」

  「很好很好,」大蝦差不多滿意了,「不過,你再解釋解釋爲什麽我不把它們設爲public的?」

  現在我感覺好多了:「因爲調用它們的時候必須以一種特定的方式進行。比如do_write()函數,必須先把類型信息寫入,再把對象信息寫入,這樣讀取的時候,負責生成對象的模塊首先能夠知道要讀出來的對象是什麽類型的,然後才能正確地從流中讀取對象信息。」

  「聰明啊,我的小菜鳥!」Wendy停頓了一下,「就跟學習外國口語一樣,學習C++也不光是掌握語法而已,還必須要掌握大量的慣用法。」

  「是啊是啊,我正打算讀Coplien的書...」

  [譯者注:就是James Coplien 1992年的經典著作Advanced C++ Programming Style and Idioms]

  大蝦揮了揮她的手,「冷靜,小菜鳥,我不是指先知Coplien的那本書,我是指某種結構背後隱含的慣用法。比如一個類有virtual destructor,相當于告訴你說:『嗨,我是一個多態基類,來繼承我吧!』 而如果一個類的destructor不是虛擬的,則相當于是在說:『我不能作爲多態基類,看在老天的份上,別繼承我。』」

  「同樣的,virtual函數的訪問控制級別也具有隱含的意義。一個protected virtual function告訴你:『你寫的派生類應該,哦,可是說是必須調用我的實現。』而一個private virtual function是在說:『派生類可以覆蓋,也可以不覆蓋我,隨你的便。但是你不可以調用我的實現。』」

  我點點頭,告訴她我懂了,然後追問道:「那麽public virtual function呢?」

  「盡可能不要使用public virtual function。」她拿起一支筆寫下了以下代碼:

  class HardToExtend

  {

  public:

  virtual void f();

  };

  void HardToExtend::f()

  {

  // Perform a specific action

  }

  「假設你發布了這個類。在寫第二版時,需求有所變化,你必須改用Template Method。可是這根本不可能,你知道爲什麽?」

  「呃,這個...,不知道。」

  「由兩種可能的辦法。其一,將f()的實現代碼轉移到一個新的函數中,然後將f()本身設爲non-virtual的:

  class HardToExtend

  {

  // possibly protected

  virtual void do_f();

  public:

  void f();

  };

  void HardToExtend::f()

  {

  // pre-processing

  do_f();

  // post-processing

  }

  void HardToExtend::do_f()

  {

  // Perform a specific action

  }

  然而你原來寫的派生類都是企圖override函數f()而不是do_f()的,你必須改變所有的派生類實現,只要你錯過了一個類,你的類層次就會染上先知Meyers所說的『精神分裂的行徑』。」 [譯者注:參見Scott Meyers,Effective C++, Item 37,絕對不要重新定義繼承而來的非虛擬函數]

  「另一種辦法是將f()移到private區域,引入一個新的non-virtual函數:」

  class HardToExtend

  {

  // possibly protected

  virtual void f();

  public:

  void call_f();

  };

  「這會導致無數令人頭痛的問題。首先,所有的客戶都企圖調用f()而不是call_f(),現在它們的代碼都不能編譯了。更有甚者,大部分派生類都回把f()放在public區域中,這樣直接使用派生類的用戶可以訪問到你本來想保護的細節。」

  「對待虛函數要象對待數據成員一樣,把它們設爲private的,直到設計上要求使用更寬松的訪問控制再來調整。要知道由private入public易,由public入private難啊!」

  [譯者注:這篇文章所表達的思想具有一定的顛覆性,因爲我們太容易在基類中設置public virtual function了,Java中甚至專門爲這種做法建立了interface機制,現在竟然說這不好!一時間真是接受不了。但是仔細體會作者的意思,他並不是一般地反對public virtual function,只是在template method大背景下給出上述原則。雖然這個原則在一般的設計中也是值得考慮的,但是主要的應用領域還是在template method模式中。當然,template method是一種非常有用和常用的模式,因此也決定了本文提出的原則具有廣泛的意義。]

  ----------------------------------------------------------------

  II. Visitor模式

  我正在爲一個設計問題苦惱。試用期快結束了,我希望自己解決這個問題,來證明自己的進步。每個人都記得自己的第一份工作吧,也都應該知道在這個時候把活兒做好是多麽的重要!我親眼看到其他的新雇員沒有過完試用期就被炒了鱿魚,就是因爲他們不懂得如何對付那個大蝦...,別誤會,我不是說她不好,她是我見過最棒的程序員,可就是有點刻薄古怪...。現在我拜她爲師,不爲別的,就是因爲我十分希望能達到她那個高度。

  我想在一個類層次(class hierarchy)中增加一個新的虛函數,但是這個類層次是由另外一幫人維護的,其他人碰都不能碰:

  class Personnel

  {

  public:

  virtual void Pay ( /*...*/ ) = 0;

  virtual void Promote( /*...*/ ) = 0;

  virtual void Accept ( PersonnelV& ) = 0;

  // ... other functions ...

  };

  class Officer : public Personnel { /* override virtuals */ };

  class Captain : public Officer { /* override virtuals */ };

  class First : public Officer { /* override virtuals */ };

  我想要一個函數,如果對象是船長(Captain)就這麽做,如果是大副(First Officer)就那麽做。Virtual function正是解決之道,在Personnel或者Officer中聲明它,而在Captain和First覆蓋(override)它。

  糟糕的是,我不能增加這麽一個虛函數。我知道可以用RTTI給出一個解決方案:

  void f( Officer &o )

  {

  if( dynamic_cast<Captain*>(&o) )

  /* do one thing */

  else if( dynamic_cast<First*>(&o) )

  /* do another thing */

  }

  int main()

  {

  Captain k;

  First s;

  f( k );

  f( s );

  }

  但是我知道使用RTTI是公司編碼標准所排斥的行爲,我對自己說:「是的,雖然我以前不喜歡RTTI,但是這回我得改變對它的看法了。很顯然,除了使用RTTI,別無它法。」

  「任何問題都可以通過增加間接層次的方法解決。」

  我噌地一下跳起來,那是大蝦的聲音,她不知道什麽時候跑到我背後,「啊喲,您嚇了我一跳...您剛才說什麽?」

  「任何問...」

  「是的,我聽清楚了,」我也不知道哪來的勇氣,居然敢打斷她,「我只是不知道您從哪冒出來的。」其實這話只不過是掩飾我內心的慌張。

  「哈,算了吧,小菜鳥,」大蝦斜著眼看著我,「你以爲我不知道你心裏想什麽!」她把聲音提高了八度,直盯著我,「那些可憐的C語言門徒才會使用switch語句處理不同的對象類型。你看:」

  /* A not-atypical C program */

  void f(struct someStruct *s)

  {

  switch(s->type) {

  case APPLE:

  /* do one thing */

  break;

  case ORANGE:

  /* do another thing */

  break;

  /* ... etc. ... */

  }

  }

  「這些人學習Stroustrup教主的C++語言時,最重要的事情就是學習如何設計好的類層次。」

  「沒錯,」我又一次打斷她,迫不及待地想讓Wendy明白,我還是有兩下子的,「他們應該設計一個Fruit基類,派生出Apple和Orange,用virtual function來作具體的事情。

  「很好,小菜鳥。C語言門徒通常老習慣改不掉。但是,你應該知道,通過使用virtual function,你增加了一個間接層次。」她放下筆,「你所需要的不就是一個新的虛函數嗎?」

  「是的。可是我沒有權力這麽幹。」

  「因爲你無權修改類層次,對吧!」

  「您終于了解了情況,我們沒法動它。也不知道這個該死的類層次是哪個家夥設計的...」 我嘀嘀咕咕著。

  「是我設計的。」

  「啊...,真的?!這個,嘿嘿...」,我極爲尴尬。

  「這個類層次必須非常穩定,因爲有跨平台的問題。但是它的設計允許你增加新的virtual function,而不必煩勞RTTI。你可以通過增加一個間接層次的辦法解決這個問題。請問,Personnel::Accept是什麽?」

  」嗯,這個...」

  「這個類實現了一個模式,可惜這個模式的名字起得不太好,是個PNP,叫Visitor模式。」

  [譯者注:PNP,Poor-Named Pattern, 沒起好名字的模式]

  「啊,我剛剛讀過Visitor模式。但是那只不過是允許若幹對象之間相互叠代訪問的模式,不是嗎?」

  她歎了一口氣,「這是流行的錯誤理解。那個V,我覺得毋甯說是Visitor,還不如說是Virtual更好。這個PNP最重要的用途是允許在不改變類層次的前提下,向已經存在的類層次中增加新的虛函數。首先來看看Personnel及其派生類的Accept實現細節。」她拿起筆寫下:

  void Personnel::Accept( PersonnelV& v )

  { v.Visit( *this ); }

  void Officer::Accept ( PersonnelV& v )

  { v.Visit( *this ); }

  void Captain::Accept ( PersonnelV& v )

  { v.Visit( *this ); }

  void First::Accept ( PersonnelV& v )

  { v.Visit( *this ); }

  「Visitor的基類如下:」

  class PersonnelV/*isitor*/

  {

  public:

  virtual void Visit( Personnel& ) = 0;

  virtual void Visit( Officer& ) = 0;

  virtual void Visit( Captain& ) = 0;

  virtual void Visit( First& ) = 0;

  };

  「啊,我記起來了。當我要利用Personnel類層次的多態性時,我只要調用Personnel::Accept(myVisitorObject)。由于Accept是虛函數,我的myVisitorObject.Visit()會針對正確的對象類型調用,根據重載法則,編譯器會挑選最貼切的那個Visit來調用。這不相當于增加了一個新的虛擬函數了嗎?」

  「沒錯,小菜鳥。只要類層次支持Accept,我們就可以在不改動類層次的情況下增加新的虛函數了。」

  「好了,我現在知道該怎麽辦了」,我寫道:

  class DoSomething : public PersonnelV

  {

  public:

  virtual void Visit( Personnel& );

  virtual void Visit( Officer& );

  virtual void Visit( Captain& );

  virtual void Visit( First& );

  };

  void DoSomething::Visit( Captain& c )

  {

  if( femaleGuestStarIsPresent )

  c.TurnOnCharm();

  else

  c.StartFight();

  }

  void DoSomething::Visit( First& f )

  {

  f.RaiseEyebrowAtCaptainsBehavior();

  }

  void f( Personnel& p )

  {

  p.Accept( DoSomething() ); // 相當于 p.DoSomething()

  }

  int main()

  {

  Captain k;

  First s;

  f( k );

  f( s );

  }

  大蝦滿意地笑了,「也許這個模式換一個名字會更好理解,可惜世事往往不遂人意...」。
 
 
 
上一篇《異常死亡進程的自動複活》
下一篇《如何編寫SMTP郵件服務器》
 
 
 
 
 
 
日版寵物情人插曲《Winding Road》歌詞

日版寵物情人2017的插曲,很帶節奏感,日語的,女生唱的。 最後聽見是在第8集的時候女主手割傷了,然後男主用嘴幫她吸了一下,插曲就出來了。 歌手:Def...

兄弟共妻,我成了他們夜裏的美食

老鍾家的兩個兒子很特別,就是跟其他的人不太一樣,魔一般的執著。兄弟倆都到了要結婚的年齡了,不管自家老爹怎麽磨破嘴皮子,兄弟倆說不娶就不娶,老父母爲兄弟兩操碎了心...

如何磨出破洞牛仔褲?牛仔褲怎麽剪破洞?

把牛仔褲磨出有線的破洞 1、具體工具就是磨腳石,下面墊一個硬物,然後用磨腳石一直磨一直磨,到把那塊磨薄了,用手撕開就好了。出來的洞啊很自然的。需要貓須的話調幾...

我就是掃描下圖得到了敬業福和愛國福

先來看下敬業福和愛國福 今年春節,支付寶再次推出了“五福紅包”活動,表示要“把欠大家的敬業福都還給大家”。 今天該活動正式啓動,和去年一樣,需要收集“五福”...

冰箱異味産生的原因和臭味去除的方法

有時候我們打開冰箱就會聞到一股異味,冰箱裏的這種異味是因爲一些物質發出的氣味的混合體,聞起來讓人惡心。 産生這些異味的主要原因有以下幾點。 1、很多人有這種習...

《極品家丁》1-31集大結局分集劇情介紹

簡介 《極品家丁》講述了現代白領林晚榮無意回到古代金陵,並追隨蕭二小姐化名“林三”進入蕭府,不料卻陰差陽錯上演了一出低級家丁拼搏上位的“林三升職記”。...

李溪芮《極品家丁》片尾曲《你就是我最愛的寶寶》歌詞

你就是我最愛的寶寶 - 李溪芮 (電視劇《極品家丁》片尾曲) 作詞:常馨內 作曲:常馨內 你的眉 又鬼馬的挑 你的嘴 又壞壞的笑 上一秒吵鬧 下...

烏梅的功效與作用以及烏梅的食用禁忌有哪些?

烏梅,又稱春梅,中醫認爲,烏梅味酸,性溫,無毒,具有安心、除熱、下氣、祛痰、止渴調中、殺蟲的功效,治肢體痛、肺痨病。烏梅泡水喝能治傷寒煩熱、止吐瀉,與幹姜一起制...

什麽是脂肪粒?如何消除臉部脂肪粒?

什麽是脂肪粒 在我們的臉上總會長一個個像脂肪的小顆粒,弄也弄不掉,而且顔色還是白白的。它既不是粉刺也不是其他的任何痘痘,它就是脂肪粒。 脂肪粒雖然也是由油脂...

網絡安全治理:國家安全保障的主要方向是打擊犯罪,而不是處置和懲罰受害者

來源:中國青年報 新的攻擊方法不斷湧現,黑客幾乎永遠占據網絡攻擊的上風,我們不可能通過技術手段杜絕網絡攻擊。國家安全保障的主要方向是打擊犯罪,而不是處置和懲罰...

河南夫妻在溫嶺網絡直播“造人”內容涉黃被刑事拘留

夫妻網絡直播“造人”爆紅   1月9日,溫嶺城北派出所接到南京警方的協查通告,他們近期打掉了一個涉黃直播APP平台。而根據掌握的線索,其中有一對涉案的夫妻主播...

如何防止牆紙老化?牆紙變舊變黃怎麽辦?

如何防止牆紙老化? (1)選擇透氣性好的牆紙 市場上牆紙的材質分無紡布的、木纖維的、PVC的、玻璃纖維基材的、布面的等,相對而言,PVC材質的牆紙最不透氣...

鮮肌之謎非日本生産VS鮮肌之謎假日貨是謠言

觀點一:破日本銷售量的“鮮肌之謎” 非日本生産 近一段時間,淘寶上架了一款名爲“鮮肌之謎的” 鲑魚卵巢美容液,號稱是最近日本的一款推出的全新護膚品,産品本身所...

中國最美古詩詞精選摘抄

系腰裙(北宋詞人 張先) 惜霜蟾照夜雲天,朦胧影、畫勾闌。人情縱似長情月,算一年年。又能得、幾番圓。 欲寄西江題葉字,流不到、五亭前。東池始有荷新綠,尚小如...

關于女人的經典語句

關于女人的經典語句1、【做一個獨立的女人】 思想獨立:有主見、有自己的人生觀、價值觀。有上進心,永遠不放棄自己的理想,做一份自己喜愛的事業,擁有快樂和成就...

未來我們可以和性愛機器人結婚嗎?

你想體驗機器人性愛嗎?你想和性愛機器人結婚嗎?如果你想,機器人有拒絕你的權利嗎? 近日,第二屆“國際人類-機器人性愛研討會”大會在倫敦金史密斯大學落下帷幕。而...

全球最變態的十個地方

10.土耳其地下洞穴城市 變態指數:★★☆☆☆ 這是土耳其卡帕多西亞的一個著名景點,傳說是當年基督教徒們爲了躲避戰爭而在此修建。裏面曾住著20000人,...

科學家稱,人類死亡後意識將在另外一個宇宙中繼續存活

據英國《每日快報》報道,一位科學家兼理論家Robert Lanza博士宣稱,世界上並不存在人類死亡,死亡的只是身體。他認爲我們的意識借助我們體內的能量生存,而且...

《屏裏狐》片頭曲《我愛狐狸精》歌詞是什麽?

《我愛狐狸精》 - 劉馨棋   (電視劇《屏裏狐》主題曲)   作詞:金十三&李旦   作曲:劉嘉   狐狸精 狐狸仙   千年修...

 
 
 
與大蝦對話: 領悟設計模式 與大蝦對話: 領悟設計模式 與大蝦對話: 領悟設計模式 --Template Method / Visitor [譯者按] 本文根據發表在CUJ Expert Forum上的兩篇文章編譯而成。C/C++ User's Journal是目前最出色的C/C++語言專業雜志,特別是在C++ Report閉刊之後,CUJ的地位更加突出。CUJ Expert Forum是CUJ主辦的網上技術專欄,彙集2000年10月以來C++社群中頂尖專家的技術短文,並免費公開發布,精彩紛呈,是每一個C/C++學習者不可錯過的資料。由Jim Hyslop和Herb Sutter主持的Conversation系列,是CUJ Expert Forum每期必備的精品專欄,以風趣幽默的對話形式講解C++高級技術,在C++社群內得到廣泛贊譽。譯者特別挑選兩篇設計模式方面的文章,介紹給大家。設計模式方面的經典著作是GoF的Design Patterns。但是那本書有一個缺點,不好懂。從風格上講,該書與其說是爲學習者而寫作的教程範本,還不如說是給學術界人士看的學術報告,嚴謹有余,生動不足。這一點包括該書作者和象Bjarne Stroustrup這樣的大師都從不諱言。實際上Design Pattern並非一定是晦澀難懂的,通過生動的例子,一個中等水平的C++學習者完全可以掌握基本用法,在自己的編程實踐中使用,得到立竿見影的功效。這兩篇文章就是很好的例證。本文翻譯在保證技術完整性的前提下作了不少刪節和修改,以便使文章顯得更緊湊。 ---------------------------------------------------------- 人物介紹: 我 --- 一個追求上進的C++程序員,尚在試用期,聰明但是經驗不足。 Wendy --- 公司裏的技術大拿,就坐在我旁邊的隔間裏,C++大蝦,最了不起的是,她是個女的!她什麽都好,就是有點刻薄, 我對她真是又崇拜又嫉妒。 ---------------------------------------------------------- I. Virtually Yours -- Template Method模式 我在研究Wendy寫的一個類。那是她爲這個項目寫的一個抽象基類,而我的工作就是從中派生出一個具象類(concrete class)。這個類的public部分是這樣的: class Mountie { public: void read( std::istream & ); void write( std::ostream & ) const; virtual ~Mountie(); 很正常,virtual destructor表明這個類打算被繼承。那麽再看看其protected部分: protected: virtual void do_read( std::istream & ); virtual void do_write( std::ostream & ) const; 也不過就是一會兒的功夫,我識破了Wendy的把戲:她在使用template method模式。public成員函數read和write是非虛擬的,它們肯定是調用protected部分do_read/do_write虛擬成員函數來完成實際的工作。啊,我簡直爲自己的進步而飄飄然了!哈,Wendy,這回你可難不住我,還有什麽招數?盡管放馬過來... 突然,笑容在我臉上凝固,因爲我看到了其private部分: private: virtual std::string classID() const = 0; 這是什麽?一個private純序函數,能工作麽?我站了起來, 「Wendy,你的Mountie類好像不能工作耶,它有一個private virtual function。」 「你試過了?」她連頭都不擡。 「嗯,那倒是沒有啦,可是想想也不行啊?我的派生類怎麽能override你的private函數呢?」 我嘟囔著。 「嗬,你倒是很確定啊!」Wendy的聲音很輕柔,「你怎麽老是這也不行,那也不行的,這幾個月跟著我你就沒學到什麽東西嗎?小菜鳥。」 真是可惡啊... 「小菜鳥,你全都忘了,訪問控制級別跟一個函數是不是虛擬的根本沒關系。判斷一個函數是動態綁定還是靜態綁定是函數調用解析的最後一個步驟。好好讀讀標准的3.4和5.2.2節吧。」 我完全處于下風,只好采取幹擾戰術。「好吧,就算你說的不錯,我也還是不明白,何必把它設爲private?」 「我且問你,倘若你不想讓一個類中的成員函數被其他的類調用,應當如何處理?」 「當然是把它設置爲private的,」 我回答道。 「那麽你去看看我的Mountie類實現,特別是write()函數的實現。」 我正巴不得逃開Wendy那刺人的目光,便轉過頭去在我的屏幕上搜索,很快,我找到了: void Mountie::write(std::ostream &Dudley) const { Dudley << classID() << std::endl; do_write(Dudley); } 嗨,最近卡通片真是看得太多了,居然犯這樣的低級失誤。還是老是承認吧:「好了,我明白了。classID()是一個實現細節,用來在保存對象時指示具象類的類型,派生類必須覆蓋它,所以必須是純虛的。但是既然是實現細節,就應該設爲private的。」 「這還差不多,小菜鳥。」大蝦點了點頭,「現在給我解釋一下爲什麽do_read()和do_write()是protected的?」 這個問題並不難,我組織了一下就回答:「因爲派生類對象需要調用這兩個函數的實現來讀寫其中的基類對象。」 「很好很好,」大蝦差不多滿意了,「不過,你再解釋解釋爲什麽我不把它們設爲public的?」 現在我感覺好多了:「因爲調用它們的時候必須以一種特定的方式進行。比如do_write()函數,必須先把類型信息寫入,再把對象信息寫入,這樣讀取的時候,負責生成對象的模塊首先能夠知道要讀出來的對象是什麽類型的,然後才能正確地從流中讀取對象信息。」 「聰明啊,我的小菜鳥!」Wendy停頓了一下,「就跟學習外國口語一樣,學習C++也不光是掌握語法而已,還必須要掌握大量的慣用法。」 「是啊是啊,我正打算讀Coplien的書...」 [譯者注:就是James Coplien 1992年的經典著作Advanced C++ Programming Style and Idioms] 大蝦揮了揮她的手,「冷靜,小菜鳥,我不是指先知Coplien的那本書,我是指某種結構背後隱含的慣用法。比如一個類有virtual destructor,相當于告訴你說:『嗨,我是一個多態基類,來繼承我吧!』 而如果一個類的destructor不是虛擬的,則相當于是在說:『我不能作爲多態基類,看在老天的份上,別繼承我。』」 「同樣的,virtual函數的訪問控制級別也具有隱含的意義。一個protected virtual function告訴你:『你寫的派生類應該,哦,可是說是必須調用我的實現。』而一個private virtual function是在說:『派生類可以覆蓋,也可以不覆蓋我,隨你的便。但是你不可以調用我的實現。』」 我點點頭,告訴她我懂了,然後追問道:「那麽public virtual function呢?」 「盡可能不要使用public virtual function。」她拿起一支筆寫下了以下代碼: class HardToExtend { public: virtual void f(); }; void HardToExtend::f() { // Perform a specific action } 「假設你發布了這個類。在寫第二版時,需求有所變化,你必須改用Template Method。可是這根本不可能,你知道爲什麽?」 「呃,這個...,不知道。」 「由兩種可能的辦法。其一,將f()的實現代碼轉移到一個新的函數中,然後將f()本身設爲non-virtual的: class HardToExtend { // possibly protected virtual void do_f(); public: void f(); }; void HardToExtend::f() { // pre-processing do_f(); // post-processing } void HardToExtend::do_f() { // Perform a specific action } 然而你原來寫的派生類都是企圖override函數f()而不是do_f()的,你必須改變所有的派生類實現,只要你錯過了一個類,你的類層次就會染上先知Meyers所說的『精神分裂的行徑』。」 [譯者注:參見Scott Meyers,Effective C++, Item 37,絕對不要重新定義繼承而來的非虛擬函數] 「另一種辦法是將f()移到private區域,引入一個新的non-virtual函數:」 class HardToExtend { // possibly protected virtual void f(); public: void call_f(); }; 「這會導致無數令人頭痛的問題。首先,所有的客戶都企圖調用f()而不是call_f(),現在它們的代碼都不能編譯了。更有甚者,大部分派生類都回把f()放在public區域中,這樣直接使用派生類的用戶可以訪問到你本來想保護的細節。」 「對待虛函數要象對待數據成員一樣,把它們設爲private的,直到設計上要求使用更寬松的訪問控制再來調整。要知道由private入public易,由public入private難啊!」 [譯者注:這篇文章所表達的思想具有一定的顛覆性,因爲我們太容易在基類中設置public virtual function了,Java中甚至專門爲這種做法建立了interface機制,現在竟然說這不好!一時間真是接受不了。但是仔細體會作者的意思,他並不是一般地反對public virtual function,只是在template method大背景下給出上述原則。雖然這個原則在一般的設計中也是值得考慮的,但是主要的應用領域還是在template method模式中。當然,template method是一種非常有用和常用的模式,因此也決定了本文提出的原則具有廣泛的意義。] ---------------------------------------------------------------- II. Visitor模式 我正在爲一個設計問題苦惱。試用期快結束了,我希望自己解決這個問題,來證明自己的進步。每個人都記得自己的第一份工作吧,也都應該知道在這個時候把活兒做好是多麽的重要!我親眼看到其他的新雇員沒有過完試用期就被炒了鱿魚,就是因爲他們不懂得如何對付那個大蝦...,別誤會,我不是說她不好,她是我見過最棒的程序員,可就是有點刻薄古怪...。現在我拜她爲師,不爲別的,就是因爲我十分希望能達到她那個高度。 我想在一個類層次(class hierarchy)中增加一個新的虛函數,但是這個類層次是由另外一幫人維護的,其他人碰都不能碰: class Personnel { public: virtual void Pay ( /*...*/ ) = 0; virtual void Promote( /*...*/ ) = 0; virtual void Accept ( PersonnelV& ) = 0; // ... other functions ... }; class Officer : public Personnel { /* override virtuals */ }; class Captain : public Officer { /* override virtuals */ }; class First : public Officer { /* override virtuals */ }; 我想要一個函數,如果對象是船長(Captain)就這麽做,如果是大副(First Officer)就那麽做。Virtual function正是解決之道,在Personnel或者Officer中聲明它,而在Captain和First覆蓋(override)它。 糟糕的是,我不能增加這麽一個虛函數。我知道可以用RTTI給出一個解決方案: void f( Officer &o ) { if( dynamic_cast<Captain*>(&o) ) /* do one thing */ else if( dynamic_cast<First*>(&o) ) /* do another thing */ } int main() { Captain k; First s; f( k ); f( s ); } 但是我知道使用RTTI是公司編碼標准所排斥的行爲,我對自己說:「是的,雖然我以前不喜歡RTTI,但是這回我得改變對它的看法了。很顯然,除了使用RTTI,別無它法。」 「任何問題都可以通過增加間接層次的方法解決。」 我噌地一下跳起來,那是大蝦的聲音,她不知道什麽時候跑到我背後,「啊喲,您嚇了我一跳...您剛才說什麽?」 「任何問...」 「是的,我聽清楚了,」我也不知道哪來的勇氣,居然敢打斷她,「我只是不知道您從哪冒出來的。」其實這話只不過是掩飾我內心的慌張。 「哈,算了吧,小菜鳥,」大蝦斜著眼看著我,「你以爲我不知道你心裏想什麽!」她把聲音提高了八度,直盯著我,「那些可憐的C語言門徒才會使用switch語句處理不同的對象類型。你看:」 /* A not-atypical C program */ void f(struct someStruct *s) { switch(s->type) { case APPLE: /* do one thing */ break; case ORANGE: /* do another thing */ break; /* ... etc. ... */ } } 「這些人學習Stroustrup教主的C++語言時,最重要的事情就是學習如何設計好的類層次。」 「沒錯,」我又一次打斷她,迫不及待地想讓Wendy明白,我還是有兩下子的,「他們應該設計一個Fruit基類,派生出Apple和Orange,用virtual function來作具體的事情。 「很好,小菜鳥。C語言門徒通常老習慣改不掉。但是,你應該知道,通過使用virtual function,你增加了一個間接層次。」她放下筆,「你所需要的不就是一個新的虛函數嗎?」 「是的。可是我沒有權力這麽幹。」 「因爲你無權修改類層次,對吧!」 「您終于了解了情況,我們沒法動它。也不知道這個該死的類層次是哪個家夥設計的...」 我嘀嘀咕咕著。 「是我設計的。」 「啊...,真的?!這個,嘿嘿...」,我極爲尴尬。 「這個類層次必須非常穩定,因爲有跨平台的問題。但是它的設計允許你增加新的virtual function,而不必煩勞RTTI。你可以通過增加一個間接層次的辦法解決這個問題。請問,Personnel::Accept是什麽?」 」嗯,這個...」 「這個類實現了一個模式,可惜這個模式的名字起得不太好,是個PNP,叫Visitor模式。」 [譯者注:PNP,Poor-Named Pattern, 沒起好名字的模式] 「啊,我剛剛讀過Visitor模式。但是那只不過是允許若幹對象之間相互叠代訪問的模式,不是嗎?」 她歎了一口氣,「這是流行的錯誤理解。那個V,我覺得毋甯說是Visitor,還不如說是Virtual更好。這個PNP最重要的用途是允許在不改變類層次的前提下,向已經存在的類層次中增加新的虛函數。首先來看看Personnel及其派生類的Accept實現細節。」她拿起筆寫下: void Personnel::Accept( PersonnelV& v ) { v.Visit( *this ); } void Officer::Accept ( PersonnelV& v ) { v.Visit( *this ); } void Captain::Accept ( PersonnelV& v ) { v.Visit( *this ); } void First::Accept ( PersonnelV& v ) { v.Visit( *this ); } 「Visitor的基類如下:」 class PersonnelV/*isitor*/ { public: virtual void Visit( Personnel& ) = 0; virtual void Visit( Officer& ) = 0; virtual void Visit( Captain& ) = 0; virtual void Visit( First& ) = 0; }; 「啊,我記起來了。當我要利用Personnel類層次的多態性時,我只要調用Personnel::Accept(myVisitorObject)。由于Accept是虛函數,我的myVisitorObject.Visit()會針對正確的對象類型調用,根據重載法則,編譯器會挑選最貼切的那個Visit來調用。這不相當于增加了一個新的虛擬函數了嗎?」 「沒錯,小菜鳥。只要類層次支持Accept,我們就可以在不改動類層次的情況下增加新的虛函數了。」 「好了,我現在知道該怎麽辦了」,我寫道: class DoSomething : public PersonnelV { public: virtual void Visit( Personnel& ); virtual void Visit( Officer& ); virtual void Visit( Captain& ); virtual void Visit( First& ); }; void DoSomething::Visit( Captain& c ) { if( femaleGuestStarIsPresent ) c.TurnOnCharm(); else c.StartFight(); } void DoSomething::Visit( First& f ) { f.RaiseEyebrowAtCaptainsBehavior(); } void f( Personnel& p ) { p.Accept( DoSomething() ); // 相當于 p.DoSomething() } int main() { Captain k; First s; f( k ); f( s ); } 大蝦滿意地笑了,「也許這個模式換一個名字會更好理解,可惜世事往往不遂人意...」。
󰈣󰈤
 
 
 
  免責聲明:本文僅代表作者個人觀點,與王朝網路無關。王朝網路登載此文出於傳遞更多信息之目的,並不意味著贊同其觀點或證實其描述,其原創性以及文中陳述文字和內容未經本站證實,對本文以及其中全部或者部分內容、文字的真實性、完整性、及時性本站不作任何保證或承諾,請讀者僅作參考,並請自行核實相關內容。
 
 
陽光靓麗的模特兒(8)
陽光靓麗的模特兒(7)
陽光靓麗的模特兒(6)
陽光靓麗的模特兒(5)
秋-印象
德慶盤龍峽 一
松江印象之三
雲之南(寬幅)
 
>>返回首頁<<
 
 
 
 熱帖排行
 
 
 
 
© 2005- 王朝網路 版權所有