StarMirror/CppCoreGuidelines
1
0
Fork 0
mirror of https://github.com/isocpp/CppCoreGuidelines.git synced 2024-03-22 13:30:58 +08:00
Code Issues Projects Releases Wiki Activity

Fixes minor mistakes in I.8 section

Browse Source 
* use of "precondition" instead of "postcondition".
* typo "and" instead of "are".
This commit is contained in:
Adnn 2015-09-21 11:25:18 +02:00
parent 84a30986af
commit 225f1945f5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CppCoreGuidelines.md
View File

@ -1201,9 +1201,9 @@ Postconditions related only to internal state belongs in the definition/implemen
Ensures(buffer[0]==0);
}
**Note**: preconditions can be stated in many ways, including comments, `if`-statements, and `assert()`. This can make them hard to distinguish from ordinary code, hard to update, hard to manipulate by tools, and may have the wrong semantics.
**Note**: postconditions can be stated in many ways, including comments, `if`-statements, and `assert()`. This can make them hard to distinguish from ordinary code, hard to update, hard to manipulate by tools, and may have the wrong semantics.
**Alternative**: Postconditions of the form "this resource must be released" and best expressed by [RAII](#Rr-raii).
**Alternative**: Postconditions of the form "this resource must be released" are best expressed by [RAII](#Rr-raii).
Ideally, that `Ensured` should be part of the interface that's not easily done. For now, we place it in the definition (function body).