《c++语言导学》——第3章 模　块　化 3.1　引言

本节书摘来自华章计算机《c++语言导学》一书中的第3章，第3.1节,［美］ 本贾尼·斯特劳斯特卢普 更多章节内容可以访问云栖社区“华章计算机”公众号查看。

第3章 模 块 化

引言

错误处理
异常；不变式；静态断言 3.1 引言

一个C++程序可能包含许多独立开发的部分，例如函数（见1.3节）、用户自定义类型（见第2章）、类层次（见4.5节）和模板（见第5章）等。因此构建C++程序的关键就是清晰地定义这些组成部分之间的交互关系。第一步也是最重要的一步是把某个部分的接口和实现分离开来。在语言的层面，C++使用声明来描述接口。声明（declaration）指定了使用某个函数或某种类型所需的所有内容。例如：

https://yqfile.alicdn.com/0c7fe2df526893ba5e79b13eebc15f0c90da6a68.png
"

这里的关键点是函数体，即函数的定义（definition）位于“其他某处”。在此例中，我们可能也想让Vector的描述位于“其他某处”，不过，我们将稍后再介绍相关内容（抽象类型，见4.3节）。sqrt()的定义如下所示：



对于Vector来说，我们需要定义全部三个成员函数：



我们必须定义Vector的函数，但不必定义sqrt()，因为它是标准库的一部分。然而，这没什么本质区别：库其实就是一些“我们碰巧用到的其他代码”，编写这些代码用到的语言特性就是我们正在使用的那些。