-
方法
（計算機術語）
鎖定
方法是為了達成某個目標所用的方式和辦法。方式就是選擇的途徑，辦法就是採取的措施。
- 中文名
- 方法
- 外文名
- method
- 類 別
- 編程
- 編程方式
- 面向對象
方法定義
方法構成
所有的方法都有名稱和主體。
方法方法名
方法方法主體
方法主體就是調用方法時執行的代碼塊，方法的主體語句必須放在花括號（即大括號{}）中。
方法相關描述
C#是面向對象的,所以C#中的方法也是相對於對象來説的,是指某個對象的行為,比如,有一個動物的類,兔子是這個動物類裏的一個對象,那麼跳這個行為就是兔子這個對象的方法了.其實也就是C中的函數(C是面向過程的,叫函數).
舉個例子：
我們想要把窗體上的某個窗體隱藏起來，就可以使用窗體這個類中的一個"hide"方法，hide方法的作用就是把窗體給隱藏起來，要顯示的時候就可以調用窗體本身的一個show方法，這樣就可以讓窗體給顯示出來了。
代碼：
form form1= new form();//定義一個新的窗體，窗體名字是form1
form1.show();//使用窗體的show方法,顯示窗體
form1.hide()//使窗體給隱藏起來
方法方法契約
開發者可以通過代碼契約（Code Contracts）這個研究性項目獲得添加方法級別契約的能力，但這種方式存在許多問題，它所使用的命令式語法相當冗長，並且通過工具提供的語法支持也很差。無論是開發類庫或是應用程序，要完整的利用這一契約特性，必須要運行某種編譯後指令。總的來説，這是一個有趣的項目，但要真正變得實用，還需要第一等的編譯器與語法的支持。
第119號提議——方法契約旨在提供這種支持。這一語法要求在方法簽名與方法體之間定義前置與後置條件，與泛型的約束寫法類似。下面這個示例展示了該語法的表現形式：
public int Insert(T item, int index)
requires index >= 0 && index <= Count
ensures return >= 0 && return < Count
{ … }
這條提議中共包含三個新的關鍵字。“requires”開頭的語句負責處理前置條件，多數情況下將用於檢查參數，但理論上也可以用於檢查對象本身的狀態。“ensures”開頭的語句用於設定後置條件，它重用了“return”關鍵字，以指代該方法調用的返回結果。
[2]
- 參考資料
-
- 1. John Sharp．Visual C#從入門到精通：清華大學出版社，2016年：48
- 2. C#的未來：方法契約 ．InfoQ．2015年5月20日[引用日期2018-04-18]
