溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
這篇文章主要介紹“C++中如果存在前提為什么一定要說明”，在日常操作中，相信很多人在C++中如果存在前提為什么一定要說明問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”C++中如果存在前提為什么一定要說明”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！
參數的含義可能會限制它在被調用方的使用。
Example（示例）
Consider:考慮：
double sqrt(double x);
這里x必須是非負值。類型系統無法（簡單且自然地）表達這件事，因此我們必須使用其他方式。例如
double sqrt(double x); // x must be nonnegative
有些前提條件可以用斷言表達。例如：
double sqrt(double x) { Expects(x >= 0); /* ... */ }
理想情況下，這個Expects(x >=0)應該成為sqrt接口的一部分，但是這不容易實現。到目前為止，我們將它放到定義（函數體）中。
Note（注意）
像Expects(p)那樣正式定義需求是比較好的選擇。如果無法實現，可以使用英語注釋，例如
// the sequence [p:q) is ordered using <.
很多成員函數具有類不變量包含的前提條件。不變量由構造函數建立并且必須在成員函數從類外被調用并退出時重新建立。我們不需要每個函數都提到它。
譯者注：
1.類不變量是可以用于定義對象是否處于有效狀態的一組條件。
2.類內調用時（私有成員函數），有時會破壞類不變量。
到此，關于“C++中如果存在前提為什么一定要說明”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注億速云網站，小編會繼續努力為大家帶來更多實用的文章！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
