如何阅读源代码Word文档格式.docx

1、文件和目录结构、生成和配置过程、用户界面和系统的文档。18. 可以将软件复查作为一个学习、讲授、援之以手和接受帮助的机会。第二章：基本编程元素 19.第一次分析一个程序时, main是一个好的起始点. 20.层叠if-else if-.-else序列可以看作是由互斥选择项组成的选择结构. 21.有时, 要想了解程序在某一方面的功能, 运行它可能比阅读源代码更为恰当. 22.在分析重要的程序时, 最好首先识别出重要的组成部分. 23.了解局部的命名约定, 利用它们来猜测变量和函数的功能用途. 24.当基于猜测修改代码时, 您应该设计能够验证最初假设的过程. 这个过程可能包括用编译器进行检查|引入

2、断言|或者执行适当的测试用例. 25.理解了代码的某一部分, 可能帮助你理解余下的代码. 26.解决困难的代码要从容易的部分入手. 27.要养成遇到库元素就去阅读相关文档的习惯; 这将会增强您阅读和编写代码的能力. 28.代码阅读有许多可选择的策略: 自底向上和自顶向下的分析|应用试探法和检查注释和外部文档, 应该依据问题的需要尝试所有这些方法. 29.for （i=0; in; i+）形式的循环执行n次; 其他任何形式都要小心. 2009-11-14 18:34 回复 220.248.171.* 2楼30.涉及两项不等测试（其中一项包括相等条件）的比较表达式可以看作是区间成员测试. 31.我

3、们经常可以将表达式应用在样本数据上, 借以了解它的含义. 32.使用De Morgan法则简化复杂的逻辑表达式. 33.在阅读逻辑乘表达式时, 问题可以认为正在分析的表达式以左的表达式均为true; 在阅读逻辑和表达式时, 类似地, 可以认为正在分析的表 达式以左的表达式均为false. 34.重新组织您控制的代码, 使之更为易读. 35.将使用条件运行符? :的表达式理解为if代码. 36.不需要为了效率, 牺牲代码的易读性. 37.高效的算法和特殊的优化确实有可能使得代码更为复杂, 从而更难理解, 但这并不意味着使代码更为紧凑和不易读会提高它的效率. 38.创造性的代码布局可以用来提高代码

4、的易读性. 39.我们可以使用空格|临时变量和括号提高表达式的易读性. 40.在阅读您所控制的代码时, 要养成添加注释的习惯. 41.我们可以用好的缩进以及对变量名称的明智选择, 提高编写欠佳的程序的易读性. 42.用diff程序分析程序的修订历史时, 如果这段历史跨越了整体重新缩排, 常常可以通过指定-w选项, 让diff忽略空白差异, 避免由于更改了 缩进层次而引入的噪音. 43.do循环的循环体至少执行一次. 44.执行算术运算时, 当b=2n-1时, 可以将a&b理解为a%（b+1）. 45.将an理解为a/k, k=2n. 47.每次只分析一个控制结构, 将它的内容看作是一个黑盒.

5、48.将每个控制结构的控制表达式看作是它所包含代码的断言. 49.return, goto, break和continue语句, 还有异常, 都会影响结构化的执行流程. 由于这些语句一般都会终止或重新开始正在进行的循环, 因此要单独推理它们的行为. 50.用复杂循环的变式和不变式, 对循环进行推理. 51.使用保持含义不变的变换重新安排代码, 简化代码的推理工作. 第三章: 高级C数据类型 52.了解特定语言构造所服务的功能之后, 就能够更好地理解使用它们的代码. 53.识别并归类使用指针的理由. 54.在C程序中, 指针一般用来构造链式数据结构|动态分配的数据结构|实现引用调用|访问和迭代数

6、据元素|传递数组参数|引用函数|作为其他 值的别名|代表字符串|以及直接访问系统内存. 55.以引用传递的参数可以用来返回函数的结果, 或者避免参数复制带来的开销. 56.指向数组元素地址的指针, 可以访问位于特定索引位置的元素. 57.指向数组元素的指针和相应的数组索引, 作用在二者上的运算具有相同的语义. 58.使用全局或static局部变量的函数大多数情况都不可重入（reentrant）. 59.字符指针不同于字符数组. 60.识别和归类应用结构或共用体的每种理由. 61.C语言中的结构将多个数据元素集合在一起, 使得它们可以作为一个整体来使用, 用来从函数中返回多个数据元素|构造链式数

7、据结构|映射 数据在硬件设备|网络链接和存储介质上的组织方式|实现抽象数据类型|以及以面向对象的方式编程. 62.共用体在C程序中主要用于优化存储空间的利用|实现多态|以及访问数据不同的内部表达方式. 63.一个指针, 在初始化为指向N个元素的存储空间之后, 就可以作为N个元素的数组来使用. 64.动态分配的内在块可以电焊工地释放, 或在程序结束时释放, 或由垃圾回收器来完成回收; 在栈上分配的内存块当分配它的函数退出后释放 220.248.171.* 3楼. 65.C程序使用typedef声明促进抽象, 并增强代码的易读性, 从而防范可移植性问题, 并模拟C+和Java的类声明行为. 66.

8、可以将typedef声明理解成变量定义: 变量的名称就是类型的名称; 变量的类型就是与该名称对应的类型. 第四章: C数据结构 67.根据底层的抽象数据类型理解显式的数据结构操作. 68.C语言中, 一般使用内建的数组类型实现向量, 不再对底层实现进行抽象. 69.N个元素的数组可以被序列for （i=0;N; i+）完全处理; 所有其他变体都应该引起警惕. 70.表达式sizeof（x）总会得到用memset或memcpy处理数组x（不是指针）所需的正确字节数. 71.区间一般用区间内的第一个元素和区间后的第一个元素来表示. 72.不对称区间中元素的数目等于高位边界与低位边界的差. 73.当

9、不对称区间的高位边界等于低位边界时, 区间为空. 74.不对称区间中的低位边界代表区间的第一个元素; 高位边界代表区间外的第一个元素. 75.结构的数组常常表示由记录和字段组成的表. 76.指向结构的指针常常表示访问底层记录和字段的游标. 77.动态分配的矩阵一般存储为指向数组列的指针或指向元素指针的指针; 这两种类型都可以按照二维数组进行访问. 78.以数组形式存储的动态分配矩阵, 用自定义访问函数定位它们的元素. 79.抽象数据类型为底层实现元素的使用（或误用）方式提供一种信心的量度. 80.数组用从0开始的顺序整数为键, 组织查找表. 81.数组经常用来对控制结构进行高效编码, 简化程序

10、的逻辑. 82.通过在数组中每个位置存储一个数据元素和一个函数指针（指向处理数据元素的函数）, 可以将代码与数据关联起来. 83.数组可以通过存储供程序内的抽象机（abstract machine）或虚拟机（virtual machine）使用的数据或代码, 控制程序的运作. 84.可以将表达式sizeof（x） / sizeof（x0）理解为数组x中元素的个数. 85.如果结构中含有指向结构自身|名为next的元素, 一般说来, 该结构定义的是单向链表的结点. 86.指向链表结点的持久性（如全局|静态或在堆上分配）指针常常表示链表的头部. 87.包含指向自身的next和prev指针的结构可能

11、是双向链表的结点. 88.理解复杂数据结构的指针操作可以将数据元素画为方框|指针画为箭头. 89.递归数据结构经常用递归算法来处理. 90.重要的数据结构操作算法一般用函数参数或模板参数来参数化. 91.图的结点常常顺序地存储在数组中, 链接到链表中, 或通过图的边链接起来. 92.图中的边一般不是隐式地通过指针, 就是显式地作为独立的结构来表示. 93.图的边经常存储为动态分配的数组或链表, 在这两种情况下, 边都锚定在图的结点上. 94.在无向图中, 表达数据时应该将所有的结点看作是等同的, 类似地, 进行处理任务的代码也不应该基于它们的方向来区分边. 95.在非连通图中, 执行遍历代码应

12、该能够接通孤立的子图. 96.处理包含回路的图时, 遍历代码应该避免在处理图的回路进入循环. 97.复杂的图结构中, 可能隐藏着其他类型的独立结构. 第五章: 高级控制流程 98.采用递归定义的算法和数据结构经常用递归的函数定义来实现. 99.推理递归函数时, 要从基准落伍测试开始, 并认证每次递归调用如何逐渐接近非递归基准范例代码. 100.简单的语言常常使用一系列遵循该语言语法结构的函数进行语法分析. 220.248.171.* 4楼101.推理互递归函数时, 要基于底层概念的递归定义. 102.尾递归调用等同于一个回到函数开始处的循环. 103.将throws子句从方法的定义中移除, 然

13、后运行Java编译器对类的源代码进行编译, 就可以容易地找到那些可能隐式地生成异常的方法. 104.在多处理器计算机上运行的代码常常围绕进程或线程进行组织. 105.工作群并行模型用于在多个处理器间分配工作, 或者创建一个任务池, 然后将大量需要处理标准化的工作进行分配. 106.基于线程的管理者/工人并行模型一般将耗时的或阻塞的操作分配给工人子任务, 从而维护中心任务的响应性. 107.基于进程的管理者/工人并行模型一般用来重用现有的程序, 或用定义良好的接口组织和分离粗粒度的系统模块. 108.基于流水线的并行处理中, 每个任务都接收到一些输入, 对它们进行一些处理, 并将生成的输出传递给

14、下一个任务, 进行不同的处理. 109.竞争条件很难捉摸, 相关的代码常常会将竞争条件扩散到多个函数或模块; 因而, 很难隔离由于竞争条件导致的问题. 110.对于出现在信号处理器中的数据结构操作代码和库调用要保持高度警惕. 111.在阅读包含宏的代码时, 要注意, 宏既非函数, 也非语句. 112.dowhile（0）块中的宏等同于控制块中的语句. 113.宏可以访问在它的使用点可见的所有局部变量. 114.宏调用可改变参数的值 115.基于宏的标记拼接能够创建新的标记符. 第六章: 应对大型项目 116.我们可以通过浏览项目的源代码树包含项目源代码的层次目录结构, 来分析一个项目的组织方式

15、. 源码树常常能够反映出项目在构架和 软件过程上的结构. 117.应用程序的源代码树经常是该应用程序的部署结构的镜像. 118.不要被庞大的源代码集合吓倒; 它们一般比小型的专门项目组织得更出色. 119.当您首次接触一个大型项目时, 要花一些时间来熟悉项目的目录树结构. 120.项目的源代码远不只是编译后可以获得可执行程序的计算机语言指令; 一个项目的源码树一般还包括规格说明|最终用户和开发人员文档| 测试脚本|多媒体资源|编译工具|例子|本地化文件|修订历史|安装过程和许可信息. 121.大型项目的编译过程一般声明性地借助依赖关系来说明. 依赖关系由工具程序, 如make及其派生程序, 转

16、换成具体的编译行动. 122.大型项目中, 制作文件常常由配置步骤动态地生成; 在分析制作文件之前, 需要先执行项目特定的配置. 123.检查大型编译过程的各个步骤时, 可以使用make程序的-n开关进行预演. 124.修订控制系统提供从储存库中获取源代码最新版本的方式. 125.可以使用相关的命令, 显示可执行文件中的修订标识关键字, 从而将可执行文件与它的源代码匹配起来. 126.使用修订日志中出现的bug跟踪系统内的编号, 可以在bug跟踪系统的数据库中找到有关的问题的说明. 127.可以使用修订控制系统的版本储存库, 找出特定的变更是如何实现的. 128.定制编译工具用在软件开发过程的

17、许多方面, 包括配置|编译过程管理|代码的生成|测试和文档编制. 129.程序的调试输出可以帮助我们理解程序控制流程和数据元素的关键部分. 130.跟踪语句所在的地点一般也是算法运行的重要部分. 131.可以用断言来检验算法运作的步骤|函数接收的参数|程序的控制流程|底层硬件的属性和测试用例的结果. 132.可以使用对算法进行检验的断言来证实您对算法运作的理解, 或将它作为推理的起点. 220.248.171.* 5楼133.对函数参数和结果的断言经常记录了函数的前置条件和后置条件. 134.我们可以将测试整个函数的断言作为每个给定函数的规格说明. 135.测试用例可以部分地代替函数规格说明.

18、 136.可以使用测试用例的输入数据对源代码序列进行预演. 第七章: 编码规范和约定 137.了解了给定代码库所遵循的文件组织方式后, 就能更有效率地浏览它的源代码. 138.阅读代码时, 首先要确保您的编辑器或优美打印程序的tab设置, 与代码遵循的风格规范一致. 139.可以使用代码块的缩进, 快速地掌握代码的总体结构. 140.对编排不一致的代码, 应该立即给予足够的警惕. 141.分析代码时, 对标记为XXX, FIXME和TODO的代码序列要格外注意: 错误可能就潜伏在其中. 142.常量使用大写字母命名, 单词用下划线分隔. 143.在遵循Java编码规范的程序中, 包名（pack

19、age name）总是从一个顶级的域名开始（例如, org, com）, 类名和接口名由大写字母开始, 方法 和变量名由小写字母开始. 144.用户界面控件名称之前的匈牙利记法的前缀类型标记可以帮助我们确定它的作用. 145.不同的编程规范对可移植构造的构成有不同的主张. 146.在审查代码的可移植性, 或以某种给定的编码规范作为指南时, 要注意了解规范对可移植性需求的界定与限制. 147.如果GUI功能都使用相应的编程结构来实现, 则通过代码审查可以轻易地验证给定用户界面的规格说明是否被正确地采用. 148.了解项目编译过程的组织方式与自动化方式之后, 我们就能够快速地阅读与理解对应的编译规

20、则. 149.当检查系统的发布过程时, 常常可以将相应发行格式的需求作为基准. 第八章： 文档 150.阅读代码时, 应该尽可能地利用任何能够得到的文档. 151.阅读一小时代码所得到的信息只不过相当于阅读一分钟文档. 152.使用系统的规格说明文档, 了解所阅读代码的运行环境. 153.软件需求规格说明是阅读和评估代码的基准. 154.可以将系统的设计规格说明作为认知代码结构的路线图, 阅读具体代码的指引. 155.测试规格说明文档为我们提供可以用来对代码进行预演的数据. 156.在接触一个未知系统时, 功能性的描述和用户指南可以提供重要的背景信息,从而更好地理解阅读的代码所处的上下文. 1

21、57.从用户参考手册中, 我们可以快速地获取, 应用程序在外观与逻辑上的背景知识, 从管理员手册中可以得知代码的接口|文件格式和错误消 息的详细信息. 158.利用文档可以快捷地获取系统的概况, 了解提供特定特性的代码. 159.文档经常能够反映和提示出系统的底层结构. 160.文档有助于理解复杂的算法和数据结构. 161.算法的文字描述能够使不透明（晦涩, 难以理解）的代码变得可以理解. 162.文档常常能够阐明源代码中标识符的含义. 163.文档能够提供非功能性需求背后的理论基础. 164.文档还会说明内部编程接口. 165.由于文档很少像实际的程序代码那样进行测试, 并受人关注, 所以它

22、常常可能存在错误|不完整或过时. 166.文档也提供测试用例, 以及实际应用的例子. 167.文档常常还会包括已知的实现问题或bug. 168.环境中已知的缺点一般都会记录在源代码中. 169.文档的变更能够标出那些故障点. 170.对同一段源代码重复或互相冲突的更改, 常常表示存在根本性的设计缺陷, 从而使得维护人员需要用一系列的修补程序来修复. 220.248.171.* 6楼171.相似的修复应用到源代码的不同部分, 常常表示一种易犯的错误或疏忽, 它们同样可能会在其他地方存在. 172.文档常常会提供不恰当的信息, 误导我们对源代码的理解. 173.要警惕那些未归档的特性: 将每个实例

23、归类为合理|疏忽或有害, 相应地决定是否应该修复代码或文档. 174.有时, 文档在描述系统时, 并非按照已完成的实现, 而是系统应该的样子或将来的实现. 175.在源代码文档中, 单词gork的意思一般是指”理解”. 176.如果未知的或特殊用法的单词阻碍了对代码的理解, 可以试着在文档的术语表（如果存在的话）|New Hackers DictionaryRay96|或在 Web搜索引擎中查找它们. 177.总是要以批判的态度来看待文档, 注意非传统的来源, 比如注释|标准|出版物|测试用例|邮件列表|新闻组|修订日志|问题跟踪数据库|营 销材料|源代码本身. 178.总是要以批判的态度来看

24、待文档; 由于文档永远不会执行, 对文档的测试和正式复查也很少达到对代码的同样水平, 所以文档常常会误导 读者, 或者完全错误. 179.对于那些有缺陷的代码, 我们可以从中推断出它的真实意图. 180.在阅读大型系统的文档时, 首先要熟悉文档的总体结构和约定. 181.在对付体积庞大的文档时, 可以使用工具, 或将文本输出到高品质输出设备上, 比如激光打印机, 来提高阅读的效率. 第九章: 系统构架 182.一个系统可以（在重大的系统中也确实如此）同时出多种不同的构架类型. 以不同的方式检查同一系统|分析系统的不同部分|或使用不同级 别的分解, 都有可能发现不同的构架类型. 183.协同式的

25、应用程序, 或者需要协同访问共享信息或资源的半自治进程, 一般会采用集中式储存库构架. 184.黑板系统使用集中式的储存库, 存储非结构化的键/值对, 作为大量不同代码元件之间的通信集线器. 185.当处理过程可以建模|设计和实现成一系列的数据变换时, 常常会使用数据流（或管道过滤器）构架. 186.在批量进行自动数据处理的环境中, 经常会采用数据流构架, 在对数据工具提供大量支持的平台上尤其如此. 187.数据流构架的一个明显征兆是: 程序中使用临时文件或流水线（pipeline）在不同进程间进行通信. 188.使用图示来建模面向对象构架中类的关系. 189.可以将源代码输入到建模工具中,

26、逆向推导出系统的构架. 190.拥有大量同级子系统的系统, 常常按照分层构架进行组织. 191.分层构架一般通过堆叠拥有标准化接口的软件组件来实现. 192.系统中每个层可以将下面的层看作抽象实体, 并且（只要该层满足它的需求说明）不关心上面的层如何使用它. 193.层的接口既可以是支持特定概念的互补函数族, 也可以是一系列支持同一抽象接口不同底层实现的可互换函数. 194.用C语言实现的系统, 常常用函数指针的数组, 表达层接口的多路复用操作. 195.用面向对象的语言实现的系统, 使用虚方法调用直接表达对层接口的多嘴复用操作. 196.系统可以使用不同的|独特的层次分解模型跨各种坐标轴进行

27、组织. 197.使用程序切片技术, 可以将程序中的数据和控制之间依赖关系集中到一起. 198.在并发系统中, 一个单独的系统组件起到集中式管理器的作用, 负责启动|停止和协调其他系统进程和任务的执行. 199.许多现实的系统都会博采众家之长. 当处理此类系统时, 不要徒劳地寻找无所不包的构架图; 应该将不同构架风格作为独立但相关的实体 220.248.171.* 7楼来进行定位|识别并了解. 200.状态变迁图常常有助于理清状态机的动作. 201.在处理大量的代码时, 了解将代码分解成单独单元的机制极为重要. 202.大多数情况下, 模块的物理边界是单个文件|组织到一个目录中的多个文件或拥有统一前缀的文件的集合. 203.C中的模块, 由提供模块公开接口的头文件和提供对应实现的源文件组成. 204.对象的构造函数经常用来分配与对象相关的资源, 并初始化对象的状态. 函数一般用来释放对象在生命期中占用的资源. 205.对象方法经常使用类字段来存储控制所有方法运作的数据（比如查找表或字典）或维护类运作的状态信息（例如, 赋给每个对象一个标识符的 计数器）. 206.在设计良好的类中, 所有的字段都应在声明为private, 并用公开的访问方法提供对它们的访问. 207.在遇到friend声明时, 要停下来分析一下, 看看绕过类封装在设计上的