C/C++ 更加安全的库 Checked C

微软开源了Checked C,旨在对C和C++增加边界检查的研究项目。 Checked C允许程序员在C/C++中编写“确保边界检查”的代码。为了实现这个功能Checked C增加了新的指针和数组类型,它们可以在编译期和运行时进行边界检查: ptr:指向类型T且无须边界检查的指针。这种类型的指针不允许参与算数运算。当访问内存时,该类型指针不能为null。大部分指针应该用此类型。 array_ptr:指向包含类型T数组的指针。该指针可以进行算数运…

发表评论