C++启蒙之C++中的类

核心提示：上篇文章：C++启蒙之控制结构在解决我们的书店问题之前，我们需要理解的唯一的剩余问题是如何编写一个数据结构（data strUCture）来表示我们的事务数据，C++启蒙之C++中的类，在C++中我们通过定义类（class）来定义自己的数据结构，类机制是C++中最重要的特性之一，main的返回值是被当作状态标识的，在例

　　上篇文章：C++启蒙之控制结构

　　在解决我们的书店问题之前，我们需要理解的唯一的剩余问题是如何编写一个数据结构（data strUCture）来表示我们的事务数据。在C++中我们通过定义类（class）来定义自己的数据结构。类机制是C++中最重要的特性之一。实际上，C++设计的主要聚焦点是使我们能够定义类类型（class types），使它的操作与内建类型一样自然。我们已经看到了类库类型（例如istream和ostream），它们都是作为类定义的--也就是说，严格地说，它们并不是语言的一部分。

　　完整地理解类机制需要把握大量的信息。幸运的是，我们可以使用其他人编写的类而不需要知道自己如何定义类。在这一部分，我们将介绍一个简单的类，我们可以利用它来解决书店问题。

　　要使用某个类，我们必须知道三种信息：

　　1.它的名称是什么？

　　2.它是在哪儿定义的？

　　3.它支持哪些操作？

　　对于我们的书店问题，我们假设这个类叫做Sales_item，它是在一个叫做Sales_item.h的头文件中定义的。

　　1、Sales_item类

　　Sales_item类的目的是存储一个ISBN并跟踪该书的销售数量、收入和平均售价。这些数据如何存储和计算是我们关心的问题。要使用一个类，我们不必知道它实现的细节信息。作为代替，我们只需要知道它所支持的操作。

　　我们已经看到，我们使用类似IO的类库工具的时候，我们必须包含相关的头文件。类似地，对于我们自己的类，我们也必须让编译器知道与类相关的定义。实现这样的功能的操作与前面的操作是相同的。典型情况下，我们把类定义放在一个文件中。任何希望使用我们的类的程序都必须包含这个文件。

　　按照惯例，类定义存储在一个文件中，与程序源文件的名字类似，它的名字有两个部分：文件名和扩展名。通常文件名与类的名字相同。扩展名通常是.h，但是有些程序员使用.H、.hpp或.hxx。编译器一般对头文件名称不太挑剔，但是有的IDE会挑剔的。我们假设自己的类定义在Sales_item.h文件中。

　　Sales_item对象上的操作

　　每个类都定义了一个类型。这种类型的名称与类的名称相同。因此，我们的Sales_item类定义了Sales_item类型。与内建类型相似，我们可以定义类类型变量。当我们编写

Sales_item item;
　　我们就说是一个Sales_item类型的对象。我们通常约定"类型Sales_item的一个对象"等于"一个Sales_item对象"或简单地说"一个Sales_item"。

　　作为定义类型Sales_item的变量的补充，我们可以执行Sales_item对象上的如下一些操作：

　　· 使用加号操作符（+）把两个Sales_item进行相加

　　· 使用输入操作符（<<）读取Sales_item对象

　　· 使用输出操作符（>>）写入Sales_item对象

　　· 使用赋值操作符（=）把Sales_item对象赋给另外一个

　　· 调用same_isb函数检测是否两个Sales_item指向同一本书

　　读取和写入Sales_item

　　现在我们知道了该类提供的操作，我们可以编写一些简单的程序来使用这个类了。例如，下面的程序从标准输入中读取数据，使用这些数据来建立Sales_item对象，并把该Sales_item对象写回标准的输出中：

#include <iostream>
#include "Sales_item.h"
int main()
{
Sales_item book;
// 读取ISBN、销售数量和售价
std::cin >> book;
// 写入ISBN、销售数量、总收入和平均售价
std::cout << book << std::endl;
return 0;
}
　　假如这个程序的输入信息是：

0-201-70353-X 4 24.99

　　那么它的输出信息是：

0-201-70353-X 4 99.96 24.99

　　输入信息说明我们销售了四本书，每本$24.99，输出信息表明总共销售了四本，总共的收入是$99.96，平均售价是$24.99。

　　这个程序以两个#include指令开始，其中一个使用了新的形式。Iostream头文件是标准类库定义的；Sales_item头文件不是标准类库定义的。Sales_item是我们自己定义的类型。当我们使用自己的头文件的时候，需要使用引号（" "）包含头文件名称。

　　注重：

　　标准类库的头文件是使用尖括号（< >）包含的。非标准的头文件使用引号（" "）包含。

　　在main中我们先定义了一个对象，叫做book，我们将使用它来保存那些从标准输入中读取的数据。下一个语句把输入读取该对象，第三个语句把它打印到标准的输出中，接着打印endl来刷新缓冲器。 类定义的行为

　　我们使用Sales_item的时候，要记住Sales_item类的作者定义了这个类的对象能够执行的全部操作。也就是说，Sales_item数据结构的作者定义了Sales_item对象建立的时候发生什么事情，在Sales_item对象上应用加、输入、输出等操作的时候发生什么情况，等等。一般来说，只有类所定义的操作才能在类类型的对象上使用。

　　两个Sales_item相加

　　两个Sales_item对象相加的例子稍微有趣一些：


#include <iostream>
#include "Sales_item.h"
int main()
{
Sales_item item1, item2;
std::cin >> item1 >> item2; // 读取两个事务记录
std::cout << item1 + item2 << std::endl; // 输出它们的和
return 0;
}
　　假如我们给这个程序输入下面的信息：

0-201-78345-X 3 20.00
0-201-78345-X 2 25.00

　　输出结果是：

0-201-78345-X 5 110 22

　　这个程序先包含了Sales_item和iostream头文件。接着我们定义了两个Sales_item对象来保存我们希望汇总的两个事务。输出表达式执行加法操作并打印结果。我们知道两个Sales_item相加将建立一个新对象，它的ISBN为自己的操作数，售价和收入则反映了操作数中的相关值。我们还知道相加的项目必须有相同的ISBN。

　　上面的程序中有趣的地方是，我们不是读取并打印两个整数的和，而是读取并打印两个Sales_item对象的和。此外，求和的想法也是不同的。在使用整数的情况下我们生成传统的和--就是两个数值相加的结果。在使用Sales_item对象的时候，求和有新的意义--两个Sales_item对象相加的结果。

　　练习21：

　　Web站点包含了Sales_item.h的副本。把它复制到你的工作目录中。编写一个程序，在图书销售事务记录中进行循环，读取每个事务并把它写入标准的输出。

　　练习22：

　　编写一个程序，读取两个拥有相同的ISBN的Sales_item对象并生成它们的和。

　　练习23：

编写一个程序读取ISBN相同的几个事务记录，写出它们的和。

　　2、初探成员函数

　　不幸的是，Sales_item相加的程序有个问题。假如你的输入信息使用了两个不同的ISBN会发生什么情况呢？它没有办法处理两个不同ISBN的数据相加。为了解决这个问题，我们将首先检查Sales_item操作数是否有相同的ISBN：

#include <iostream>
#include "Sales_item.h"
int main()
{
Sales_item item1, item2;
std::cin >> item1 >> item2;
// 检查 item1 和 item2 是否是同一本书
if (item1.same_isbn(item2)) {
std::cout << item1 + item2 << std::endl;
return 0; //表示成功
} else {
std::cerr << "Data must refer to same ISBN"
<< std::endl;
return -1; // indicate failure
}
}
　　这个程序与前面的程序之间的区别在于if条件和相关的else分支。在解释if条件之前，我们知道程序的操作依靠于if中的条件。假如测试成功，那么我们写出与前面的程序相同的输出信息，并且返回0表明成功了。假如测试失败，我们执行else后面的代码块，它打印一条消息并返回错误标识符。

　　成员函数是什么？

　　If条件

if (item1.same_isbn(item2)) {
　　调用了Sales_item对象item1的成员函数。成员函数是类定义的函数。成员函数有时候也称为类的方法。

　　成员函数只在类中一次定义，但是每个对象都把它作为成员来处理。我们把这种操作称为成员函数是因为它们（通常）在特定的对象上操作。在例子中，它们都是对象的成员，即使单个定义也被相同类型的所有对象所共享。

　　当我们调用成员函数的时候，我们（通常）指定该函数在哪个对象上操作。其语法是使用点操作符（"."）：

item1.same_isbn
　　它的意思是"item1对象的same_isbn成员"。点操作符从它的左边取得右边的操作数。点操作符指定应用于类类型的对象：左边的操作数必须是类类型的对象；右边必须是该类型的成员的名称。

　　注重：

　　与大多数操作符不同，点操作符右边的操作数并不是对象或值；它是成员的名称。

　　当我们把成员函数作为右边的操作数的时候，我们通常是调用这个函数。我们执行成员函数的方式与执行其它函数的方式相同：要调用函数，我们在函数名称后面加上调用操作符（"()"操作符）。调用操作符是一对括号，它封装了传递进该函数的参数列表（可能是空的）。
same_isbn函数只有一个参数，这个参数是另一个Sales_item对象。下面的调用

item1.same_isbn(item2)
　　把item2作为参数传递进same_isbn函数，而这个函数是item1对象的一个成员。这个函数把参数item2中的ISBN部分与item1（调用same_isbn的对象）的ISBN进行比较。因此，其效果是测试两个对象的ISBN是否相同。

　　假如它们的ISBN相同，我们就执行if后面的语句，打印两个Sales_item对象相加的结果。否则，假如ISBN不同，我们将执行else分支，它也是一个代码块。这个代码块打印适当的错误信息并退出程序，返回-1。请回忆一下，main的返回值是被当作状态标识的。在例子中，返回非零的值表明程序生成预想的结果失败了。