第三章 模块化

• 3.1 引言

3.1 引言

一个C++程序包含许多独立开发的部分，例如函数、用户自定义类型、类层次和模版等。其管理的关键就是清晰地定义这些组成部分之间的交互。第一步也是最重要的一步是将每个部分的接口和实现分离开来。在语言层面，C++使用声明来表达接口。声明(declaration)指明了使用一个函数或一个类型所需要的东西。例如：

double sqrt(double);	//这个平方根函数接受一个double，返回值也是一个double
class Vector{
public:
	Vector(int s);
	double& operator[](int i);
	int size();
private:
	double* elem;	//elem指向一个数组，该数组包含sz个double
	int sz;
};

这里的关键点是函数体，即函数的定义(definition)是位于“别处”的。对本例，我们可能也想让Vector的表示位于“别处”，不过稍后将再对此进行介绍(抽象类型)。sqrt()的定义如下所示：

double sqrt(double d)	//sqrt()的定义
{
	//...求解平方根的算法，与数学教科书中并无二致...
}

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

Vector::Vector(int s)					//构造函数的定义
:elem{new double[s]},sz{s}				//初始化成员
{
}
double& Vector::operator[](int i)		//下标运算符的定义
{
	return elem[i];
}
int Vector::size()						//size()的定义
{
	return sz;
}

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

一个实体(例如函数)可以有很多声明，但只能有一个定义。