溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
這篇文章主要講解了“C++為什么表示后置條件最好使用Ensures()”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“C++為什么表示后置條件最好使用Ensures()”吧！
Ensures() for expressing postconditions(表示后置條件最好使用Ensures())To make it clear that the condition is a postcondition and to enable tool use.
明確的表示該條件是后置條件，同時也讓工具檢查成為可能。
Example（示例）
void f(){ char buffer[MAX]; // ... memset(buffer, 0, MAX); Ensures(buffer[0] == 0);}
后置條件可以以多種方式表達，包括注釋，if語句和assert(）。但是使用這些方式表達的后置條件很難從原始代碼中區分出來，難以更新，難以被工具處理，還可能會包含錯誤的語義。
Alternative: Postconditions of the form "this resource must be released" are best expressed by RAII.
其他選項：“這個資源必須被釋放”形式的后置條件最好通過RAII體現。
Note（注意）
理想情況下，Ensures應該成為接口的一部分，但這并不容易實現。到目前為止，我們還是將他放到定義（函數體）中。當語言支持可用時（例如，參考contract建議），我們將會導入前置條件，后置條件和斷言。
譯者注：contract指的是一直在討論，C++20即將引入的新特性contract。
Enforcement（實施建議）
（非強制）發現多種確認后置條件的方式是不現實的。警戒那些容易標識（assert()）的，由于語言功能的缺失而有疑問的數值。
感謝各位的閱讀，以上就是“C++為什么表示后置條件最好使用Ensures()”的內容了，經過本文的學習后，相信大家對C++為什么表示后置條件最好使用Ensures()這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
