Question

既然谈到了程序块，就再介绍一下结构化程序设计。诸位即便不曾亲身经历，也应该在什么地方听说过这个词吧。结构化程序设计是由学者戴克斯特拉提倡的一种编程风格。简单地说，所谓结构化程序设计就是“为了把程序编写的具备结构性，仅使用顺序结构、条件分支和循环表示程序的流程即可，而不再使用跳转指令”。“仅用顺序执行、条件分支和循环表示程序的流程”这一点是不言自明的，需要注意的是“不使用跳转指令”这一点

作为计算机硬件上的行为，无论是条件分支还是循环都必须使用跳转指令来实现，但是在VBScript等高级语言中，可以用If-ElseIf-Else-End If程序块表示条件分支，用For-Next程序块表示循环。跳转指令因此变得可有可无了。但即便如此，在很多高级语言中，还是提供了与机器语言中跳转指令相当的语句，例如VBScript中的GoTo语句。其实戴克斯特拉想表达的是“既然好不容易使用上了高级语言，就别再使用相当于跳转指令的语句了。即便不使用跳转语句，程序的所有流程仍然可以表述出来”。他这样说是因为跳转指令所带来的危害性不小，会使程序陷入到流程错综复杂的状态，就像意大利面条那样缠绕在一起（如图4.11所示）

图4.11 跳转指令（GoTo语句）使程序陷入“意大利面条”的状态

在程序设计的世界中，如果看到了以“结构化”开头的术语，就可以这样认为：程序的流程是由程序块表示的，而不是用GoTo语句等跳转指令实现的。例如，微软的.NET框架所提供的新版BASIC语言Visual Basic .NET中，就以增加新语法的方式加入了称为“结构化异常处理”的错误判断机制。这里据说的异常类似于错误

在旧版本的Visual Basic中，一旦发生了错误，程序的流程就会跳转到执行错误处理的地方。用程序块来表示这种错误处理方式的机制，就是结构化异常处理。在Visual Basic .NET中，用Try-Catch-EndTry程序块来表示结构化异常处理（如代码清单4.4所示）。但即便使用了结构化异常处理，在硬件上使用的也还是跳转指令，只是说在高级语言中不用再写相当于跳转指令的语句了。如果把用高级语言所编写的程序转换成机器语言，像结构化异常处理这样的语句还是会被转换为跳转指令

代码清单4.4 原始的错误处理机制和结构化异常处理的区别

（1）旧版本的Visual Basic用跳转指令（GoTo语句）实现错误处理

On Error GoTo ERR_HANDLER     -使用了GoTo语句

‘做某些处理

…

‘处理错误的部分

ERR_HANDLER:（一旦发生了错误，流程就会跳转）

MsgBox “出错了！”

（2）Visual Basci .NET用程序块实现错误处理

Try

’做某些处理

…

Catch e As Exception

‘处理错误的部分（一旦发生了错误，流程就会跳转，这一点并没有改变。但现在这种流程是通过程序块表示，而不再使用GoTo语句）

MsgBox “出错了！”

End Try