- 授权协议: MIT
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: https://github.com/Microsoft/checkedc
- 软件文档: https://github.com/Microsoft/checkedc/blob/master/README.md
- 官方下载: https://github.com/Microsoft/checkedc/archive/master.zip
软件介绍
微软开源了Checked C，旨在对C和C++增加边界检查的研究项目。
Checked C允许程序员在C/C++中编写“确保边界检查”的代码。为了实现这个功能Checked C增加了新的指针和数组类型，它们可以在编译期和运行时进行边界检查：
ptr<T>：指向类型T且无须边界检查的指针。这种类型的指针不允许参与算数运算。当访问内存时，该类型指针不能为null。大部分指针应该用此类型。
array_ptr<T>：指向包含类型T数组的指针。该指针可以进行算数运算。当读写内存时它不能为null。程序员需要检查这类指针的边界。
span<T>：包含边界信息的指针。塔支持算数运算。当进行内存读写的时候不能为null。
T array_var checked[100]：声明类型为T、大小为100的数组并且包含边界检查。当进行C语言类型转换时，包含边界检查的数组将被转换成array_ptr类型。
该规范确定了变量操作行为，包括指针类型的间接寻址、数组引用、赋值、指针加法、比较、取址（&）、含边界检查数组类型和指针类型的转换等。
现存的C程序可以继续工作，很明显C*仍然未检查，且指针的算数运算会破坏当前代码。但是编译器可以通过增加参数在指针非正常使用时发出警告或者错误。
Checked C 包含规范、一个clang的实现和一个LLVM的实现。
算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索
Sedgewick / 高等教育出版社 / 2002-1 / 49.00元
本书通过C++实现方案以简洁、直接的方式对书中的算法和数据结构进行表述，并向学生提供在实际应用中验证这种方法的手段。 本书广泛地论述了与排序、搜索及相关应用有关的基本数据结构和算法。覆盖了数组、链表、串、树和其他基本数据结构，更多地强调抽象数据类型(ADT)、模块化程序设计、面向对象程序设计和C++类。本书包括排序、选择、优先队列ADT实现和符号表ADT(搜索)实现，配有帮助学生学习计算......一起来看看 《算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索》 这本书的介绍吧!
