永不止步，永无止境

摘要： 本章主要讨论如何根据伪代码编写程序，并用脚手架测试程序的正确性。 作者使用脚手架这个名词，刚开始看，真看不懂，估计是语言习惯的问题，看完这一章，才大致明白就是测试代码所搭建的程序。 书中的脚手架主要是采用assert进行测试，自己觉得很不习惯。 下面是自己写的二分搜索的递归以及非递归实现，并附上测试结果。 阅读全文

摘要： 通过对二分搜索法的实例分析，展示了程序验证的的诸多优势：问题很重要，需要认真地编写代码；程序的开发需要遵循验证思想；可以使用一般性的工具进行程序的正确性分析。 阅读全文

摘要： 本章集中讨论了数据结构对软件的一个贡献：将大程序缩减为小程序。数据结构还具有其他许多的正面作用，包括节省时间和空间、提高可移植性核可维护性。 阅读全文

摘要： 本章围绕三个问题进行算法讨论，包括元素的查找、字符串的旋转、以及变位词的查找。 下面给出了实现代码、以及测试结果。 阅读全文

摘要： 分析算法的好坏，一般从两个角度进行，时间复杂度与空间复杂度，通过理论的分析，可以得到这两个参数，但能不能得到实际代码具体的运行呢？ 　　书中给出了空间、时间开销模型，用于分析代码的空间、时间开销，可以解决这个问题。下面给出具体的时空开销模型代码。 阅读全文

摘要： 本书以一个排序的问题开篇，讨论了排序的最佳方法，并引入了位图排序的算法。实际上，此处的位图排序本质就是计数排序（关于计数排序，此处不再赘述），只不过由于此处问题的特殊性——数据没有重复，可使用更加节省空间的方法，对每一个数据，使用1bit的空间进行计数。 　　书中还给出了用标准库函数qsort、以及模板类set排序的提议，以与位图排序的性能进行比较，下面给出了几中排序方法，包括： 使用模板类bitset作为计数数组实现位图排序，具体实现见代码中BitmapSort_1函数； 用int型数据模拟bit型的操作实现位图排序，具体实现见下面代码中BitmapSort_2函数，该函数可在C语言下实现； 用标准库函数qsort实现排序，具体实现见下面代码中main函数中qsort； 用C++的模板类set或multiset实现排序； 　　上面几种方法，方法2是书中的方法，且可以用C语言实现，qsort也可用C语言实现，而其他两种方法必须用C++实现。使用前2中方法会受到用位图排序的使用场合的限制，而后面两种则没有限制。 阅读全文

摘要： EOF是文件的结束符，具体可以作为文本文件的结束符，也可以作为键盘输入char类型数据时的结束符。对于不同的系统，EOF的定义可能不同，一般定义为-1。因为char类型的数据范围是0~255，不可能是-1，EOF定义为0~255之外的数据理论上都是可以的。 一般在C语言中用getchar()函数或scanf获取char类型时，可用EOF作为结束符。但对于C++，若用getchar()函数或scanf获取char类型时，也可用EOF作为结束符，这是兼容C的特性；但若用cin获取char类型数据，若试图用EOF结束输入，输入ctrl+z时则会陷入死循环，具体见下面的实例。 阅读全文

摘要： itoa函数相对于atoi函数，比较简单，还是要注意考虑的全面。 阅读全文

摘要： atio就是将ASCII码表示的字符为int型数据，看似简单的问题，实际上需要考虑的很多。对于简单的问题，考虑是否全面就显得特别重要。 阅读全文

摘要： 当使用的函数时重载函数时，若编译器不能判断出是哪个函数，就会出现二义性，并给出报错信息。 阅读全文