运算符重载使得用户自定义的数据以一种更简洁的方式工作
可以重载的运算符
+ | - | * | / | % | ^ | & | | | ~ |
! | = | < | > | += | -= | *= | /= | %= |
^= | &= | |= | << | >> | >>= | <<= | == | != |
<= | >= | && | || | ++ | -- | ->* | ' | -> |
[] | () | new | delete | new[] | delete[] |
不能重载的算符
. | :: | .* | ?: | sizeof |
重载运算符函数可以对运算符作出新的解释,但原有基本语义不变
运算符函数是一种特殊的成员函数或友员函数
成员函数的语法形式为
返回值类型 类名 :: operator op( 参数表 )
{
// 相对于该类定义的操作
}
一个运算符被重载后,原有意义没有失去,只是定义了相对一特定类的一个新运算符
运算符函数可以重载为成员函数或友员函数
关键区别在于成员函数具有 this 指针,友员函数没有this指针
不管是成员函数还是友员函数重载,运算符的使用方法相同
但传递参数的方式不同,实现代码不同,应用场合也不同
Object op或op Object
Object.operator op()
操作数由对象Object通过this指针隐含传递
operator op (Object)
操作数由参数表的参数Object提供
ObjectL op ObjectR
ObjectL.operator op( ObjectR )
左操作数由ObjectL通过this指针传递,右操作数由参数ObjectR传递
operator op( ObjectL, ObjectR )
左右操作数都由参数传递
当一元运算符的操作数,或者二元运算符的左操作数是类的对象时,定义重载算符函数为成员函数
友员函数重载运算符常用于运算符的左右操作数类型不同的情况
在第一个参数需要隐式转换的情形下,使用友员函数重载运算符是正确的选择
友员函数没有 this 指针,所需操作数都必须在参数表显式声明,很容易实现类型的隐式转换
C++中不能用友员函数重载的运算符有 =
, ()
, []
, ->
用友员函数重载像“++”这样的运算符时,有时会碰到问题
TriCoor TriCoor::operator++()
{
x++; y++; z++;
return *this;
}//ok,修改了this指针所指对象
用成员函数重载一元运算符时,所需要的唯一变元通过 this 指针传递,对 this 所指对象数据的任何改变都会影响到激活运算符函数的对象
TriCoor operator++(TriCoor opl)
{
opl.x++;
opl.y++;
opl.z++;
return opl;
}
函数使用传值参数,对 opl 的所有修改都无法传到函数体外,不会影响被调用的对象
2. 用指向激活对象的指针定义友员函数:
TriCoor operator ++ (TriCoor * opl)
{
opl->x++;
opl->y++;
opl->z++;
return *opl;
}
C++不知道如何激活该函数,下述代码无法编译:
TriCoor ob(1, 2, 3);
&ob++;//error
TriCoor operator ++ (TriCoor & opl)
{
opl.x++;
opl.y++;
opl.z++;
return opl;
}
下述代码是正确的:
TriCoor ob (1, 2, 3);
ob++;//ok,传名
如果一个运算符的操作要修改类的对象的状态,要重载为友员函数时,应该使用引用参数
若一运算符的操作需要修改类对象状态时,应该用成员函数重载;
需要左值操作数的运算符(如 ++,–),若重载为友员函数时要用引用参数
C++不能用友员重载的运算符:=
()
[]
->
如果运算符的操作数(尤其是第一个操作数)希望有隐式转换,则必须用友员函数重载
数学类中常用的几个运算符重载的特点和应用
设 A Aobject;
运算符 ++ 和 – 有两种方式:
A::A operator++ ();
,解释为:Aobject.operator ++();
friend A operator++ (A &);
,解释为:operator ++(Aobject);
A::A operator++ (int);
,解释为:Aobject.operator ++(0);
friend A operator++ (A &, int);
,解释为:operator++(Aobject, 0);
前置++重载
Complex& operator++()
{
this->a++;
this->b++;
return *this;
}
后置++重载
Complex operator++(int)
{
Complex tmp = *this;
this->a++;
this->b++;
return tmp;
}
赋值运算符重载用于对象数据的复制
operator= 必须重载为成员函数
重载函数原型为:类型 & 类名::operator= (const 类名 &);
运算符 []
和 ()
是二元运算符
[]
和 ()
只能用成员函数重载,不能用友元函数重载
[]
[]
运算符用于访问数据对象的元素类型 类::operator[] (类型);
x
是类 X
的一个对象,则表达式x[y]
可被解释为x.operator[](y)
#include
class vector
{
public:
vector(int n)
{
v = new int[n];
size = n;
}
~vector()
{
delete[] v;
size = 0;
}
int & operator[](int i)
{
return v[i];
}
private :
int *v;
int size;
};
void main()
{
vector a(5);
a[2] = 12;
cout << a[2] << endl;
}
()
()
运算符用于函数调用类型 类::operator()(表达式表);
x
是类 X
的一个对象,则表达式x(arg1, arg2, … )
可被解释为x.operator()(arg1, arg2, … )
#include
class F
{
public:
double operator()(double x , double y);
};
double F::operator()(double x,double y)
{
return x * x + y * y;
}
void main()
{
F f;
cout << f(5.2, 2.5) << endl;
}
istream
和 ostream
是 C++ 的预定义流类
cin
是 istream
的对象,cout
是 ostream
的对象
运算符 <<
由 ostream
重载为插入操作,用于输出基本类型数据
运算符 >>
由 istream
重载为提取操作,用于输入基本类型数据
用友员函数重载 <<
和 >>
,输出和输入用户自定义的数据类型
friend ostream& operator<<(ostream &out, Complex &c1);
···
ostream& operator<<(ostream &out, Complex &c)
{
out<
Array.h
#ifndef _ARRAY_H_
#define _ARRAY_H_
class Array
{
private:
int mLength;
int* mSpace;
public:
Array(int length);
Array(const Array& obj);
int length();
void setData(int index, int value);
int getData(int index);
~Array();
public:
int& Array::operator[](int i);
Array& Array::operator=(Array &a1);
bool operator==(Array &a2);
bool operator!=(Array &a2);
};
#endif
Array.cpp
#include "iostream"
#include "Array.h"
using namespace std;
Array::Array(int length)
{
if( length < 0 )
{
length = 0;
}
mLength = length;
mSpace = new int[mLength];
}
Array::Array(const Array& obj)
{
mLength = obj.mLength;
mSpace = new int[mLength];
for(int i=0; imSpace != NULL)
{
delete[] mSpace;
this->mLength = 0;
}
this->mLength = a.mLength;
this->mSpace = new int[a.mLength];
for (i=0; imLength; i++)
{
mSpace[i] = a[i];
}
return *this;
}
//==重载
bool Array::operator==(Array &a2)
{
if (this->mLength != a2.mLength)
{
return false;
}
for (int i=0; imLength; i++)
{
if (this->mSpace[i] != a2[i])
{
return false;
}
}
return true;
}
//!=重载
bool Array::operator!=(Array &a2)
{
return !(*this == a2);
}
ArrayTeat.cpp
#include "iostream"
#include "Array.h"
using namespace std;
int main()
{
Array a1(10);
for(int i=0; i
数据类型转换在程序编译时或在程序运行实现
基本类型 ←→ 基本类型
基本类型 ←→ 类类型
类类型 ←→ 类类型
类对象的类型转换可由两种方式说明:
构造函数
转换函数
称为用户定义的类型转换或类类型转换,有隐式调用和显式调用方式
当类 ClassX
具有以下形式的构造函数:
ClassX::ClassX(arg, arg1 = E1, ..., argn = En);
说明了一种从参数 arg 的类型到该类类型的转换
e.g.
class X
{
public:
X(int);
X(const char *, int = 0);
};
void f(X arg);
···
X a = X(1);// a = 1
X b = "Jessie";// b = X ( "Jessie" , 0 )
a = 2;// a = X ( 2 )
f(3);// f ( X ( 3 ) )
f(10, 20);// error
带参数的构造函数不能把一个类类型转换成基本类型
类类型转换函数是一种特殊的成员函数,提供类对象之间显式类型转换的机制
语法形式:
X::operator T()
{
···
return T 类型的对象
}
功能:将类型 X
的对象转换为类型 T
的对象
T
可以是预定义类型,也可以是用户定义类型T
类型的对象class X
{
···
public:
operator int();
···
};
void f(X a)
{
int i = int(a);
i = (int)a;
i = a;
}
类型转换函数有两种使用方式:
i = a;
i = a.operator int();//int(a) (int)a
int i = a;//用类型转换函数进行转换
X i = a;//用构造函数进行转换
全局函数,类成员函数实现运算符重载
全局函数:写出函数实现,在类中添加友元函数声明,一般只有拿不到源代码的类参与才会用全局函数实现
Complex c3 = c1 + c2;
Complex c3 = c1.operator+(c2);