Removing Undefined Behavior from Integer Operations - The Bounded-Integer Library

Explore David Stone's C++Now 2014 talk on the bounded::integer library, which aims to eliminate undefined behavior in integer operations. Learn about the library's motivation, unique features, and implementation details. Discover how to use template policies, syntax, and user-defined literals to create safer integer types. Examine the library's support for inclusive bounds, implicit conversions, and its limitations with floating-point numbers. Gain insights into policy classes, integer overflow handling, and implementation considerations for more robust C++ programming.

Syllabus

Introduction
Undefined behavior
Check Integer
The constrainedvalue library
The original motivation for this library
What boundedinteger does differently
Supported compilers
Declaration
Template policies
Syntax
Goblin example
Common policy
Constants
Userdefined literals
Forward declaration
Inclusive bounds
Implicit conversions
Limitations
Floating point
Questions
Policy class
integer overflow
implementation questions