Library Documentation Index

Safe Numerics

PrevUpHomeNext

Library Implementation

checked_result<R>
Checked Arithmetic
interval<R>
safe_compare<T, U>

This library should compile and run correctly on any conforming C++14 compiler.

The Safe Numerics library is implemented in terms of some more fundamental software components described here. It is not necessary to know about these components to use the library. This information has been included to help those who want to understand how the library works so they can extend it, correct bugs in it, or understand its limitations. These components are also interesting and likely useful in their own right. For all these reasons, they are documented here.

In general terms, the library works in the following manner:

At compile time:

At run time:

The following components realize the design described here.


PrevUpHomeNext