Shulou(Shulou.com)06/01 Report--

This article mainly explains the "C++ why it is best to use Ensures ()", the article explains the content is simple and clear, easy to learn and understand, now please follow the editor's train of thought slowly in depth, together to study and learn "why C++ means the post-condition is best to use Ensures ()" bar!

I.8: Prefer Ensures () for expressing postconditions (indicates that the post condition is better to use Ensures ()) Reason (reason)

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

It makes it clear that this condition is a post-condition and also makes tool checking possible.

Example (sample)

Void f () {char buffer [MAX]; / /. Memset (buffer, 0, MAX); Ensures (buffer [0] = = 0);} Note (note)

Post conditions can be expressed in a variety of ways, including comments, if statements, and assert (). However, the post-conditions expressed in these ways are difficult to distinguish from the original code, difficult to update, difficult to be handled by tools, and may contain incorrect semantics.

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

Other options: post-conditions in the form of "this resource must be released" are best reflected through RAII.

Note (Note)

Ideally, Ensures should be part of the interface, but this is not easy to implement. So far, we have put it in the definition (function body). When language support is available (for example, refer to contract recommendations), we will import pre-conditions, post-conditions, and assertions.

Translator's note: contract refers to contract, a new feature that has been under discussion and is about to be introduced in Category 20.

Enforcement (implementation recommendations)

(non-mandatory) it is unrealistic to find multiple ways to confirm postconditions. Watch out for values that are easy to identify (assert ()) and are in doubt due to the lack of language functions.

Thank you for your reading, the above is the "why C++ said that the post-condition is best to use Ensures ()" content, after the study of this article, I believe you why C++ said that the post-condition is best to use Ensures () this question has a deeper understanding, the specific use needs to be verified in practice. Here is, the editor will push for you more related knowledge points of the article, welcome to follow!

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.