原文出处:Code
Capsules:A C++ Date Class, Part 1
本文适合初级读者
ChUCk Allison 是盐湖城圣 Latter Day
教堂总部下耶稣教堂家族历史研究处的软件体系设计师。他拥有数学学士和数学硕士学位。他从1975年起开始编程,从1984年起他开始从事c语言的教学和开发。他目前的爱好是面向对象的技术及其教育。他是X3J16,ANSI
C ++标准化委员会的一员。发送e-mail 到 allison@decus.org,或者拨打电话到 (801)240-4510
均可以与他取得联系。
上个月的专栏里介绍了一个日期间隔函数,它可以算出任意两个日期之间的年,月和日。这个月的专栏则提出了一个用C++解决该问题的方法。这种方法的本质是创建一种新的数据类型,这种数据类型的行为就像内建的数据类型一样。换句话说,你要从基于函数的方法
(“我想要怎么样做事”)转换到基于对象的方法(“我的问题的原理和对象是什么”)。使用C++非常需要另外一种思考问题的方法。为了实现这个转换,首先要先知道为什么会有C++存在。
关于两种语言的故事
C++源自80年代早期 AT&T 的 Bjarne Stroustrup 提出的“带类的 C”。他那时正在寻求在 Simula-67
中更快的进行仿真的方法。"class"是 Simula
中用来指用户自己定义的类型的术语,能够定义出非常接近现实的对象,这是进行良好的仿真的要害。有没有一种更好的方法,能够比在c语言--最快的过程化语言中加入"class"的概念更快的进行仿真呢?
选择C为类提供了一个不仅有效而且灵活的工具。虽然一些其他的语言在C++之前很久就支持通过类来对数据进行抽象,但是C++用的最广泛。几乎每一种主要的具有C语言编译器的平台同样能够支持C++。最后我还听说,C++的用户群每七个月就会翻一番。
对C++的最初了解是令人吃惊的。假如你是从C语言转过来的话,你需要把下面这些词语加进你的词汇表:抽象类,存取控制,基类,catch子句,类,类的作用域,构造函数,拷贝构造函数,缺省参数,缺省构造函数,delete运算符,派生类,析构函数,异常,异常处理,友元,继续,内联函数,操作符,成员函数,多重继续,嵌套类,new处理函数,new操作符,重载,成员指针,多态,私有,保护,公有,纯虚函数,引用,静态成员,流,模板,this指针,try块,类型安全连接,虚基类,虚函数。
一个好消息说C++是一种强大的、有效的、面向对象的、能够处理各种复杂应用的语言。坏消息则是这种语言本身就比较复杂,比C语言难把握。C语言是造成这一问题的一部分。C++是一个混血儿,既有面向对象的特征,又有通用系统编程语言的特征。我们不可能纯粹介绍C++这一系列丰富的新特征而不一点也不考虑C语言本身。对C的兼容性是C++设计时的一个主要目标。正如Bjarne在ANSI
C++委员会上所陈述的那样,C++是一种"工程上的折衷",它"要和C语言尽可能的接近,但又不能太接近"。到底要多接近现在还在研究中。
一个渐进的过程
你可以很有效的使用C++而不需要把握它的全部。事实上,面向对象的技术承诺说只要开发商做好他们的事情(提供设计良好的、可重用并且可扩展的类库),那么你就可以很轻易的开发你的应用程序。目前的产品,比如Borland公司的应用编程接口,在许多方面都证实了这一点。
假如你觉得你必须把握这门语言,你可以循序渐进并且在这个过程中继续开发你的应用程序。这里有三个必须把握的地方:
一个更好的C语言
数据抽象
面向对象的编程
你可以把C++当成一门更好的C语言来使用,因为它更安全更富于表现力。与这一点相关的特征有:类型安全连接,强制函数原型,内联函数,const限定词(是的,ANSI
C从C++中借鉴的这个词),函数重载,缺省参数,引用和语言提供的对动态内存治理的支持。你同样需要当心这两种语言不兼容的地方。C语言中有一个强大的子集,Plum
和 Saks 称其做"类型安全的 C"(参见 C++ Programming Guidelines, Plum and Saks,
Plum-Hall, 1992)。
正如我在这篇文章和下一篇文章中所陈述的一样,C++支持数据抽象--用户可以自己定义行为与内建类型相像的数据类型,这种数据抽象机制包括:类,存取限制,构造和析构函数,运算符重载,模板和异常处理。
面向对象的程序设计通过探求类与类之间的关系在数据抽象上更进一步。其中两个要害的概念是继续(通过声明一个新类与另一个类的相似与区别定义它,其中的相似被重用)和多态(为一族相关的操作提供同一个接口,运行时识别)。C++分别通过类的派生和虚汗数来支持继续和多态。
类
一个类就是一个扩展的struct。除了定义数据成员,你还可以为其添加成员函数。日期类的定义在文件data.h中的
Listing 1。它与上个月的C版本不同,因为在这里interval函数是一个成员函数而不是全局函数。Date::interval()的实现在
Listing 2 中。"::"叫做作用域运算符。它告诉编译器interval函数是Date类的成员函数。interval函数原型中的"&"说明这个函数的参数由应用传递(参见关于引用的选项)。Listing 3 中的程序展示了如何使用这个日期类。你必须使用结构成员的语法来调用 Date:: interval():
result = d1.interval (d2);
Date作为类型标识符,就像系统内建类型一样的发挥作用(例如,你可以定义Date的对象而不使用struct要害字)。永远也不必做如下的定义:
typedef struct Date Date;
事实上,类的概念是如此的基本,以至于C++已经将结构标签和普通的标识符结合成一个独立的名字空间。
注重我已经将isleap定义成了一个内联函数(在C版本中它是一个宏)。内联函数像宏一样将代码展开,但它也像普通函数一样进行作用阈和类型的检查。除非你要使用the stringizing or token-pasting operations of the preprocessor,,否则在C++中不需要使用 function-like 的宏。现在考虑
Listing 2 中的这个声明:
years = d2.year - year;
year指的是什么对象?在C版本中,这个声明如下:
years = d2.year - d1.year;
既然成员函数的调用总是与对象相关联(例如,d1. interval (d2)),因此当成员函数没有前缀修饰的时候,通常是相关联对象的成员(在这里,year 指的是d1.year)。this要害字代表一个指向潜在对象的指针,因此我可以做一个更加明确的声明:
years = d2.year - this-year;
但是这种用法很少。
在 Listing 4 中,我在类的定义中添加了如下的声明:
Date();
Date(int,int,int);
这是一种非凡的成员函数叫做构造函数。构造函数答应你在一个对象被创建的时候指定怎么样初始化这个对象。当你定义一个没有初始值的日期对象时,首先调用缺省构造函数(因为它没有任何参数):
Date d;
下面的声明调用第二个构造函数:
Date d(10,1,51);
当成员函数的实现比较简单的时候,你可以把它们的实现移到类的定义里面去,使它们成为内联函数(参见
Listing 7 ——不要忘记在
Listing 5 中移走它们)。Listing 6 中的测试程序推迟构造对象d1、 d2 和 result 直到需要它们的时候(在C++中,对象的定义可以出现在任何声明中)。
我几乎已经列举了数据抽象,也就是封装的主要特征。当一个用户自定义类型的内部表现和外部接口设计良好,就叫做一个封装。我确实定义了一个和系统内建类型一样作用的新类型,我不答应任何无意间的对它的内部表现的访问制。例如,像这样,用户可以执行如下的语句:
[1] [2]