Boost C++ 库

目录

介绍

问题

解决方案

工作原理

附加功能

要求

Scope

教程和示例

算术表达式可能产生不正确的结果

算术运算可能静默溢出

对无符号整数进行算术运算可能产生不正确的结果

隐式转换可能导致错误结果

混合数据类型可能产生微妙的错误

数组索引值可能超过数组限制

输入值检查很容易被忽略

无法从算术错误中恢复

编译时算术运算并不总是正确的

契约式编程速度太慢

消除运行时开销

使用 safe_range 和 safe_literal

使用自动类型提升

混合方法

案例研究

与其他库的组合

安全关键嵌入式控制器

背景

类型要求

Numeric<T>

Integer<T>

PromotionPolicy<PP>

ExceptionPolicy<EP>

类型

safe<T, PP, EP>

safe_signed_range<MIN, MAX, PP, EP> 和 safe_unsigned_range<MIN, MAX, PP, EP>

safe_signed_literal<Value, PP , EP> 和 safe_unsigned_literal<Value, PP, EP>

exception

exception_policy<AE, IDB, UB, UV>

晋升策略

异常安全性

库实现

checked_result<R>

已检查的算术运算

interval<R>

safe_compare<T, U>

性能测试

基本原理和常见问题解答

待处理的问题

safe_base 仅适用于标量类型

其他待处理问题

致谢

发布日志

参考文献