鍙鐢ㄦ€т笌璁捐妯″紡

Posted 2021-02-18

鏍囩锛?a href='http://www.mamicode.com/so/1/%e4%b9%8b%e9%97%b4' title='涔嬮棿'>涔嬮棿   鐩殑   缂栫▼   arraylist   闈㈠悜   閫夋嫨   mic   cat   

杞欢澶嶇敤/閲嶇敤

     涓轰粈涔堣澶嶇敤/閲嶇敤锛?闄嶄綆鎴愭湰涓庡紑鍙戞椂闂达紝鍚屾椂鍏锋湁鑹ソ澶嶇敤鎬х殑浠ｇ爜/杞欢鏄粡杩囧厖鍒嗘祴璇曠殑锛屽彲闈犱笖绋冲畾銆傚浜庡彲澶嶇敤鐨勪唬鐮佷笌杞欢锛屽湪涓嶅悓鏍囧噯涓嬩粛鑳戒繚鎸佷竴鑷淬€?/p>

     澶嶇敤鏄畬缇庣殑鍚楋紵 褰撶劧涓嶆槸锛岃繖鏄樉鑰屾槗瑙佺殑锛屽綋寮€鍙戠殑搴旂敤浠呬粎闇€瑕侀潰鍚戞煇涓€涓壒瀹氱殑瀵硅薄鏃讹紝姝ゆ椂閲囩敤澶嶇敤锛屾棤鐤戝鍔犱簡鎴愭湰銆傦紙涓轰粈涔堝湪涔嬪墠瑕佽澶嶇敤鑳藉闄嶄綆鎴愭湰鍛紝杩欐槸鑰冭檻鍒板鐢ㄧ殑杞欢/浠ｇ爜琚娆￠噸澶嶄娇鐢ㄥ甫鏉ョ殑缁撴灉锛屽涓嬪浘鎵€绀猴級銆?闈㈠悜鏌愪竴涓壒瀹氬璞℃椂锛屾樉鐒堕拡瀵规€х殑杩涜寮€鍙戯紝鍙嶅€掕兘澶熼檷浣庢垚鏈€?骞朵笖鏈夋椂澶嶇敤鐨勪唬鐮?杞欢鍦ㄦ煇浜涙€ц兘琛ㄧ幇涓婏紝鏄笉濡傞拡瀵规€х殑杞欢/浠ｇ爜鐨勩€傦紙鍙互鎯宠薄鏌愪簺绠楁硶鍙兘閽堝鏌愪簺闂鍏锋湁鑹ソ琛ㄧ幇锛岃€岄拡瀵瑰彟涓€浜涢棶棰樿〃鐜板垯涓嶅敖浜烘剰锛?/p>

    

 

    閭ｄ箞鏄惁搴旇杩涜澶嶇敤鍛紵澶嶇敤鐨勬満浼氭湁澶氶绻侊紵澶嶇敤鐨勫満鍚堝張鏈夊灏戝憿锛?杩欓噷鎴戞兂鏍规嵁鎴慙ab3寮€鍙戠殑缁撴灉鏉ョ湅棣栧厛缁欏嚭涓€涓瘮杈冭嚜鎴戠殑缁撹锛氬鏋滃彲浠ワ紝璇峰閲囩敤澶嶇敤锛岄櫎闈炴槸鎸囧畾瀹屽叏閽堝鏌愪竴瀵硅薄銆傚鐢ㄦ€ц璁″浜庡涓」鐩殑寮€鍙戞墍甯︽潵鐨勪究鎹蜂笌濂藉鏄樉鑰屾槗瑙佺殑銆?nbsp; 褰撶劧閽堝杩欎釜闂杩樻槸瑕佸叿浣撴儏鍐靛叿浣撳垎鏋?/p>

   閭ｄ箞濡備綍杩涜澶嶇敤鍛紵 棣栧厛鏄袱绉嶅鐢ㄥ舰寮忥紝鐧界洅澶嶇敤涓庨粦鐩掑鐢ㄣ€?/p>

   鐧界洅澶嶇敤锛氭簮浠ｇ爜鍙锛屾敮鎸佷慨鏀规墿灞曘€傚鍒跺凡鏈変唬鐮佸埌绯荤粺涓紝鍙畾鍒跺寲绋嬪害楂樸€備緥濡傛湰娆″疄楠孡ab3涓殑location,resource绛夊睘鎬ч兘灞炰簬杩欎竴鑼冪暣銆?/p>

   榛戠洅澶嶇敤锛氭簮浠ｇ爜涓嶅彲瑙侊紝鍙兘閫氳繃API鎺ュ彛浣跨敤銆傚父鐢ㄧ殑灏辨槸java鍖呬腑鐨勬煇浜涗唬鐮侊紝姣斿list,set绛夛紝鍦ㄦ垜浠娇鐢ㄧ殑鏃跺€欏彧鏄皟鐢ㄤ簡瀹冧滑鐨勫姛鑳斤紝鑰屽畠浠殑浠ｇ爜瀹為檯涓婂苟娌℃湁鐪嬪埌銆?/p>

    瀵逛簬浠ｇ爜鏉ヨ锛屾渶绠€鍗曠殑澶嶇敤鑷劧鏄痗opy paste锛岃繖涔熸槸鎴戜滑鍗佸垎鐔熸倝鐨勪竴绉嶅鐢ㄦ柟寮忋€傝繖绉嶆柟寮忓苟涓嶅弽瀵癸紝浣嗘槸瀵逛簬鎴戜滑姹傚鑰呰€岃█锛岃繕鏄鐭ュ叾鐒跺苟鐭ュ叾鎵€浠ョ劧鏄渶濂界殑銆?/p>

   鑰屾洿楂樹竴涓眰娆＄殑澶嶇敤鍒欐潵鑷被鍜屾帴鍙ｃ€?绫荤殑澶嶇敤鍦↙ab3涓帴瑙﹀疄闄呬笂鏄崄鍒嗗鐨勩€?澶ц嚧鍒嗕负涓ょ锛氶噰鐢ㄧ户鎵挎満鍒舵垨鑰呴噰鐢ㄥ鎵樻満鍒躲€?涓よ€呬紭缂虹偣鏄潪甯告槑鏄剧殑锛?缁ф壙鏈哄埗鑳藉鏇村ソ鐨勫簲瀵圭淮搴﹀苟涓嶅鐨勯」鐩紝缁ф壙鏍戦€昏緫娓呮櫚锛岀淮鎶や唬浠蜂綆銆?鑰屽鎵樻満鍒跺垯鏇村姞閫傜敤浜庡叿鏈夊涓淮搴︾殑澶嶆潅椤圭洰锛屽鎵樺叧绯讳箣闂存槑纭€?鐩稿鎴戜釜浜鸿€岃█鏄洿鍔犲枩娆㈠鎵樻満鍒剁殑锛岀户鎵挎満鍒跺湪澶氫釜缁村害鐨勫鐢ㄤ笅锛岀户鎵挎爲鏄潪甯稿鏉傜殑锛岄€昏緫鍏崇郴骞朵笉鏄庢樉锛岃€屼笖杩涜缁存姢鎵╁睍鏃讹紝涓嶆槸閭ｄ箞鏂逛究銆傚綋鐒剁户鎵挎満鍒跺湪澶嶆潅缁村害涓嬩篃鏈変竴瀹氬ソ澶勶紝鍏剁粰鏌愪簺椤圭洰寮€鍙戝彲澶嶇敤鐨勭嫭鐗瑰姛鑳芥椂锛屽彲浠ラ€夋嫨鍒版煇涓睘鎬у眰娆＄殑鐖剁被涓婅繘琛屽紑鍙戯紝杩欐牱鍙鐢ㄦ€ф槸姣旇緝寮虹殑銆傚綋鐒跺浜庤繖涓や釜鏂规硶鐨勯€夋嫨杩樻槸瑕佷緷鎹」鐩€屽紓銆?/p>

   楂樹竴涓眰绾х殑澶嶇敤灏辨槸搴?鍖?API绛夛紝鍦╨ab3鏃朵篃缂栧啓浜咥PI锛岃繖绫诲鐢ㄥ浜庝唬鐮佸凡鐒朵笉鍙锛屽湪瀹㈡埛绔皟鐢ˋPI绛夋椂锛屽彧闇€瑕佸叧娉ㄦ槸鍚﹀疄鐜板姛鑳藉嵆鍙紝瀵逛簬鍏跺唴閮ㄥ疄鐜版樉鐒跺苟涓嶉偅涔堥噸瑕侊紙瀵逛簬瀹㈡埛鑰岃█锛?/p>

 

       澶嶇敤鐨勭被鍨嬪彲鍙橈細瀹炵幇鍙彉锛欰DT鏈夊绉嶄笉鍚岀殑瀹炵幇锛屾彁渚涗笉鍚岀殑representations鍜?abstract function锛屼絾鍏锋湁鍚屾牱鐨剆pecification (pre-condition, postcondition, invariants)锛屼粠鑰屽彲浠ラ€傚簲涓嶅悓鐨勫簲鐢ㄥ満鏅€傝繖涓庢垜浠箣鍓嶈鐨凙DT鏄竴鑷寸殑锛?nbsp;鍐呴儴瀹炵幇鍙兘浼氱粡甯稿彉鍖栵紝浣嗗鎴风涓嶅簲鍙楀埌褰卞搷銆?/p>

 

     璁捐鍙鐢ㄧ殑绫伙細瀛愮被鍨嬪鎬侊細瀹㈡埛绔彲鐢ㄧ粺涓€鐨勬柟寮忓鐞?涓嶅悓绫诲瀷鐨勫璞?銆備緥濡傛垜浠兂瑕佷娇鐢↙ist杩欎釜鏁版嵁瀵硅薄锛屾垜浠彲浠ュ皢鍏跺疄渚嬪寲鍏跺瓙绫籄rrayList鎴栧叾浠朙ist绫诲瀷锛屽浜嶭ist鐨勫熀鏈搷浣滃浜庡叾瀛愮被閮芥槸鍙互瀹炵幇鐨勶紝杩欏氨鏄瓙绫诲瀷澶氭€侊紝濡備笅鍥炬墍绀恒€傦細

   

 

 

 

      瀵逛簬瀛愮被褰㈢紪绋嬫湁鍑犱釜瑕佹眰锛?.瀛愮被鍨嬪彲浠ュ鍔犳柟娉曪紝浣嗕笉鍙垹   2.瀛愮被鍨嬮渶瑕佸疄鐜版娊璞?绫诲瀷 (鎺ュ彛銆佹娊璞＄被)涓墍鏈夋湭瀹炵幇鐨勬柟娉?nbsp;  3.瀛愮被鍨嬩腑閲嶅啓鐨勬柟娉?蹇呴』鏈夌浉鍚屾垨瀛愮被鍨嬬殑杩斿洖鍊兼垨鑰呯鍚坈o-variant鐨勫弬鏁?nbsp;   4.瀛愮被鍨嬩腑閲嶅啓鐨?鏂规硶蹇呴』浣跨敤鍚屾牱绫诲瀷鐨勫弬鏁版垨鑰呯鍚坈ontra-variant鐨勫弬鏁?姝ょ鎯呭喌Java鐩?鍓嶆寜鐓ч噸杞給verload澶勭悊)    5.瀛愮被鍨嬩腑閲嶅啓鐨勬柟娉曚笉鑳芥姏鍑洪澶栫殑寮傚父   瀵逛簬瀛愮被鍨嬬殑spec涔熸湁濡備笅瑙勫畾锛氭洿寮虹殑涓嶅彉閲?nbsp;鏇村急鐨勫墠缃潯浠?nbsp;鏇村己鐨勫悗缃潯浠?/p>

     瀵逛簬鍗忓彉鍜岄€嗗彉锛屼笅鍥捐兘澶熷緢濂界殑瑙ｉ噴锛?/p>

     

 

     

 

 

    鑰屾湁浜涙椂鍊欎細閫犳垚閿欒锛?/p>

    

 

 

 

    CRP鏈哄埗锛欳RP鍙互鐪嬩綔鏄户鎵垮拰濮旀墭鐨勭粨鍚堛€傜户鎵垮彂鐢熷湪鎺ュ彛灞傞潰锛岃€屽鎵樺彂鐢熷湪Object灞傞潰涔熷氨鏄被杩欎竴灞傞潰銆傛湰娆ab3鐨勫紑鍙戝氨閫夌敤鐨勬槸CRP妯″紡銆傚紑鍙戣€呴鍏堥€夊彇鎯宠寮€鍙戠殑椤圭洰鐨勫悇涓淮搴︾殑灞炴€э紝杩欎簺鏂规硶鍦ㄦ帴鍙ｄ笂鏄鎵樼粰鍏朵粬鎺ュ彛鐨勩€備緥濡侲ntry鎺ュ彛涓璍ocation灞炴€у彲浠ュ鎵樼粰Location鎺ュ彛銆傝€屽湪绫婚噷闈ntry绫讳腑鐨凩ocation涔熸槸濮旀墭缁橪ocationimpl绫诲疄鐜扮殑銆?/p>

    

 

     CRP妯″紡鏈€澶х殑濂藉鍦ㄤ簬锛屽皢澶嶆潅鐨勭户鎵挎爲缁撴瀯浼樺寲鎺変簡銆傚悓鏃跺疄鐜颁簡鎺ュ彛涔嬮棿鐨勬墿灞曪紙extends鍏抽敭瀛楋級杩欐牱鍋氬鐢ㄦ€у崄鍒嗗湴楂樸€?/p>