(忽然意识到,不能无谓的copy,于己并无益处,还自以为学到了东西。应该摘录那些有意义的内容。)

操作符重载(Overloading operators)

struct { 
char product [50];
float price;
} a, b, c;
a = b + c;

将一个类class (或结构struct)的对象赋给另一个同种类型的对象是允许的(通过使用默认的复制构造函数 copy constructor)。但相加操作就有可能产生错误,理论上讲它在非基本数据类型之间是无效的。

但归功于C++ 的操作符重载(overload)能力,我们可以完成这个操作。像以上例子中这样的组合类型的对象在C++中可以接受如果没有操作符重载则不能被接受的操作,我们甚至可以修改这些操作符的效果。要想重载一个操作符,我们只需要编写一个成员函数,名为operator ,后面跟我们要重载的操作符,遵循以下原型定义:

type operator sign (parameters);

如下例:

// vectors: overloading operators example
#include <iostream.h>

class CVector {
public:
int x,y;
CVector () {};
CVector (int,int);
CVector operator+ (CVector);
};

CVector::CVector (int a, int b) {
x = a;
y = b;
}

CVector CVector::operator+ (CVector param) {
CVector temp;
temp.x = x + param.x;
temp.y = y + param.y;
return (temp);
}

int main () {
CVector a (3,1);
CVector b (1,2);
CVector c;
c = a + b;
cout << c.x << "," << c.y;
return 0;
}

其中

CVector (int, int);            // 函数名称 CVector (constructor)
CVector operator+ (CVector); // 函数 operator+ 返回CVector 类型的值

Class CVector的函数 operator+ 是对数学操作符+进行重载的函数这个函数可以用以下两种方法进行调用:

c = a + b;
c = a.operator+ (b);

在这个例子中包括了一个空构造函数 (无参数),而且我们将它定义为无任何操作:

CVector ( ) { };

这是很必要的,因为例子中已经有另一个构造函数,

CVector (int, int);

如果不像上面这样明确定义一个的话,CVector的两个默认构造函数都不存在。这样的话,main( )中包含的语句

CVector c;

将为不合法的。尽管如此,一个空语句块 (no-op block)并不是一种值得推荐的构造函数的实现方式,因为它不能实现一个构造函数至少应该完成的基本功能,也就是初始化class中的所有变量。例子中,这个构造函数没有完成对变量x 和 y 的定义。

因此一个更值得推荐的构造函数定义应该像下面这样:

CVector ( ) { x=0; y=0; };

一个class默认包含一个空构造函数和一个复制构造函数,包含一个对赋值操作符assignation operator (=)的默认定义。后者用于两个同类对象之间。这个操作符将其参数对象(符号右边的对象) 的所有非静态 (non-static) 数据成员复制给其左边的对象。(当然,也可以再定义)

重载一个操作符并不要求保持其常规的数学含义,虽然这是推荐的。(有两种方法重载一些class操作符:作为成员函数(member function)或作为全域函数(global function)。)

关键字 this

关键字this通常被用在一个class内部,指正在被执行的该class的对象(object)在内存中的地址。它是一个指针,其值永远是自身object的地址。

可以被用来检查传入一个对象成员函数的参数是否是该对象本身。

// this
#include <iostream.h>

class CDummy {
public:
int isitme (CDummy& param);
};

int CDummy::isitme (CDummy& param) {
if (¶m == this) return 1;
else return 0;
}

int main () {
CDummy a;
CDummy* b = &a;
if ( b->isitme(a) )
cout << "yes, &a is b";
return 0;
}

它还经常被用在成员函数operator= 中,用来返回对象的指针(避免使用临时对象)。以下用前面看到的向量(vector)的例子来看一下函数operator= 是怎样实现的:

CVector& CVector::operator= (const CVector& param) {
x=param.x;
y=param.y;
return *this;
}

实际上,如果我们没有定义成员函数operator=,编译器自动为该class生成的默认代码有可能就是这个样子的。

静态成员(Static members)

一个class 可以包含静态成员(static members),可以是数据,也可以是函数。
一个class的静态数据成员也被称作类变量”class variables”,因为它们的内容不依赖于某个对象,对同一个class的所有object具有相同的值。

例如,它可以被用作计算一个class声明的objects的个数,见以下代码程序:

// static members in classes
#include <iostream.h>

class CDummy {
public:
static int n;
CDummy () { n++; };
~CDummy () { n--; };
};//可以注意的是,class后面有分号。

int CDummy::n=0;

int main () {
CDummy a;
CDummy b[5];
CDummy * c = new CDummy;
cout << a.n << endl;
delete c;
cout << CDummy::n << endl;
return 0;
}

静态成员与全域变量(global variable)具有相同的属性,但它享有类(class)的范围

根据ANSI-C++ 标准,为了避免它们被多次重复声明,在class的声明中只能够包括static member的原型(声明),而不能够包括其定义(初始化操作)。为了初始化一个静态数据成员,我们必须在class之外(在全域范围内),包括一个正式的定义,就像上面例子中做法一样。

因为它对同一个class的所有object是同一个值,所以它可以被作为该class的任何object的成员所引用,或者直接被作为class的成员引用(当然这只适用于static 成员):

cout << a.n;
cout << CDummy::n;

以上两个调用都指同一个变量:class CDummy里的static 变量 n 。它其实是一个全域变量。唯一的不同是它的名字跟在class的后面。

就像会在class中包含static数据一样,也可以使它包含static 函数。它们表示相同的含义:static函数是全域函数(global functions),但是像一个指定class的对象成员一样被调用。它们只能够引用static 数据,永远不能引用class的非静态(nonstatic)成员。它们也不能够使用关键字this,因为this实际引用了一个对象指针,但这些 static函数却不是任何object的成员,而是class的直接成员。