C++中如果存在前提為什么一定要說(shuō)明

發(fā)布時(shí)間：2021-11-29 11:44:37 來(lái)源：億速云閱讀：148 作者：iii 欄目：大數(shù)據(jù)

這篇文章主要介紹“C++中如果存在前提為什么一定要說(shuō)明”，在日常操作中，相信很多人在C++中如果存在前提為什么一定要說(shuō)明問(wèn)題上存在疑惑，小編查閱了各式資料，整理出簡(jiǎn)單好用的操作方法，希望對(duì)大家解答”C++中如果存在前提為什么一定要說(shuō)明”的疑惑有所幫助！接下來(lái)，請(qǐng)跟著小編一起來(lái)學(xué)習(xí)吧！

Reason（原因）

參數(shù)的含義可能會(huì)限制它在被調(diào)用方的使用。

Example（示例）

Consider:考慮：

double sqrt(double x);

這里x必須是非負(fù)值。類型系統(tǒng)無(wú)法（簡(jiǎn)單且自然地）表達(dá)這件事，因此我們必須使用其他方式。例如

double sqrt(double x); // x must be nonnegative

有些前提條件可以用斷言表達(dá)。例如：

double sqrt(double x) { Expects(x >= 0); /* ... */ }

理想情況下，這個(gè)Expects(x >=0)應(yīng)該成為sqrt接口的一部分，但是這不容易實(shí)現(xiàn)。到目前為止，我們將它放到定義（函數(shù)體）中。

Note（注意）

像Expects(p)那樣正式定義需求是比較好的選擇。如果無(wú)法實(shí)現(xiàn)，可以使用英語(yǔ)注釋，例如

// the sequence [p:q) is ordered using <.

Note（注意）

很多成員函數(shù)具有類不變量包含的前提條件。不變量由構(gòu)造函數(shù)建立并且必須在成員函數(shù)從類外被調(diào)用并退出時(shí)重新建立。我們不需要每個(gè)函數(shù)都提到它。

譯者注：

1.類不變量是可以用于定義對(duì)象是否處于有效狀態(tài)的一組條件。

2.類內(nèi)調(diào)用時(shí)（私有成員函數(shù)），有時(shí)會(huì)破壞類不變量。

到此，關(guān)于“C++中如果存在前提為什么一定要說(shuō)明”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識(shí)，請(qǐng)繼續(xù)關(guān)注億速云網(wǎng)站，小編會(huì)繼續(xù)努力為大家?guī)?lái)更多實(shí)用的文章！

向AI問(wèn)一下細(xì)節(jié)

C++中如果存在前提為什么一定要說(shuō)明

Reason（原因）

Note（注意）

猜你喜歡

最新資訊

相關(guān)推薦

相關(guān)標(biāo)簽