1.1文学编程
在编写排版系统时,Donald Knuth发明了一种新的编程方式,这种方法基于一种简单但革命性的思想,不同于传统的由计算机强加的编写程序的方式和顺序,而代之以让程序员用他们自己思维内在的逻辑和流程所要求的顺序开发程序。他将这种方法命名为文学编程。这本书是一篇很长的文学编程。这意味着在阅读这本书的过程中,您将阅读到PBRT渲染系统的全部实现,而不单单是对它的高级描述。
文学编程是用了文档标准化语言(如和HTML)和编程语言(如c++)的源语言编写的。两个独立的系统:一个“weaver”将文学编程转换为适合排版的文档,一个“tangler”生成适合编译的源代码。我们的文学编程系统是自己编写的,但它深受Norman Ramsey的noweb系统的影响。
文学编程的源语言有两个重要的特征。第一是具备将源代码与文本混合的能力。这个特性使得对程序的描述和实际的源代码一样重要,这鼓励了仔细的设计和文档化。第二,源语言提供了一种机制,以一种与编译器输入完全不同的顺序将程序代码呈现给读者。因此,程序可以用一种逻辑的方式来描述。每个被命名的代码块被称为一个段,每个段可以通过名称引用其他段。
一个小例子,考虑一个函数InitGlobals(),该函数负责初始化一个程序所有的全局变量:
void InitGlobals() {
nMarbles = 25.7;
shoeSize = 13;
dielectric = true;
}
尽管这个函数很短,但如果没有上下文就很难理解它。例如,为什么变量nMarbles可以接受浮点值?只查看代码的话,就要搜索整个程序来查看变量声明的位置,以及如何使用他,以便理解其用途和合法值的含义。虽然系统的这种结构对编译器来说很友好,但是人们更喜欢看到每个变量的初始化代码单独出现,在实际声明和使用代码附近。
在文学编程中,可以这样写函数InitGlobals():
这定义了一个名为<<Function Definitions>>的段,它包含了InitGlobals()函数的定义。InitGlobals()函数本身引用了另一个段<<Initialize Global Variables>>。因为还没有定义初始化段,我们只知道它可能包含对全局变量的肤质,除此之外一无所知。(不过,我们可以通过点击它右边的加号来预览;这样做扩展了片段的所有最终代码。)
当我们在程序中引入全局变量shoeSize:
当我们在程序中引入dielectric:
段名称后的+=符号表示我们已经添加到前面定义好的段中了。此外,符号连接到<<Initialize Global Variables>>添加代码的地方。
当把这三个段拼接起来就变成了:
void InitGlobals() {
// Initialize Global Variables
shoeSize = 13;
dielectric = true;
}
通过这种方式,我们可以将复杂的函数分解成逻辑上不同的部分,使他们更容易理解。例如,我们可以把一个复杂的函数写成一系列片段:
同样,每个段在函数complexFunc()中连展开进行编译。在文档中,我们可以一次介绍每个片段及其实现。这种分解,让我们一次只展示几行代码,使其更容易理解。这种编程风格的另一个优点是,通过将函数分割成逻辑片段(每个片段都有一个明确的用途),可以独立地编写、验证或读取每个函数。一般来说,我们将尽量使每个片段的长度不超过10行。
在某种意义上,文学编程只是用于重新安排程序源代码的任务。这可能看起来是一个微不足道的改变,但事实上文学编程与构建软件系统的其他方法有很大的不同。