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

Domain of sqrt() is nonnegative numbers, not positive.

Browse Source
This commit is contained in:
Egor Pugin 2015-09-23 09:45:52 +03:00
parent 245f82acd5
commit 26ad1aa7f9
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

@ -1060,9 +1060,9 @@ Obviously, we cannot catch all errors through the static type system
double sqrt(double x);
Here `x` must be positive. The type system cannot (easily and naturally) express that, so we must use other means. For example:
Here `x` must be nonnegative. The type system cannot (easily and naturally) express that, so we must use other means. For example:
double sqrt(double x); // x must be positive
double sqrt(double x); // x must be nonnegative
Some preconditions can be expressed as assertions. For example: