C++為什么表示后置條件最好使用Ensures()

這篇文章主要講解了“C++為什么表示后置條件最好使用Ensures()”，文中的講解內(nèi)容簡(jiǎn)單清晰，易于學(xué)習(xí)與理解，下面請(qǐng)大家跟著小編的思路慢慢深入，一起來(lái)研究和學(xué)習(xí)“C++為什么表示后置條件最好使用Ensures()”吧！

I.8: Prefer Ensures() for expressing postconditions(表示后置條件最好使用Ensures())

Reason（原因）

To make it clear that the condition is a postcondition and to enable tool use.

明確的表示該條件是后置條件，同時(shí)也讓工具檢查成為可能。

Example（示例）

void f(){    char buffer[MAX];    // ...    memset(buffer, 0, MAX);    Ensures(buffer[0] == 0);}

Note（注意）

后置條件可以以多種方式表達(dá)，包括注釋，if語(yǔ)句和assert(）。但是使用這些方式表達(dá)的后置條件很難從原始代碼中區(qū)分出來(lái)，難以更新，難以被工具處理，還可能會(huì)包含錯(cuò)誤的語(yǔ)義。

Alternative: Postconditions of the form "this resource must be released" are best expressed by RAII.

其他選項(xiàng)：“這個(gè)資源必須被釋放”形式的后置條件最好通過(guò)RAII體現(xiàn)。

Note（注意）

理想情況下，Ensures應(yīng)該成為接口的一部分，但這并不容易實(shí)現(xiàn)。到目前為止，我們還是將他放到定義（函數(shù)體）中。當(dāng)語(yǔ)言支持可用時(shí)（例如，參考contract建議），我們將會(huì)導(dǎo)入前置條件，后置條件和斷言。

譯者注：contract指的是一直在討論，C++20即將引入的新特性contract。

Enforcement（實(shí)施建議）

（非強(qiáng)制）發(fā)現(xiàn)多種確認(rèn)后置條件的方式是不現(xiàn)實(shí)的。警戒那些容易標(biāo)識(shí)（assert()）的，由于語(yǔ)言功能的缺失而有疑問(wèn)的數(shù)值。

感謝各位的閱讀，以上就是“C++為什么表示后置條件最好使用Ensures()”的內(nèi)容了，經(jīng)過(guò)本文的學(xué)習(xí)后，相信大家對(duì)C++為什么表示后置條件最好使用Ensures()這一問(wèn)題有了更深刻的體會(huì)，具體使用情況還需要大家實(shí)踐驗(yàn)證。這里是億速云，小編將為大家推送更多相關(guān)知識(shí)點(diǎn)的文章，歡迎關(guān)注！