爱死Thinking in系列了,所以起了这个名字。本文的思想也部分来至于这套书,或参照对比,或深入挖掘,或补益拾慧,或有感而发,既包括Thinking in C++,甚至也包括Thinking in Java。
Thinking again in C++(四)运算符重载形式推导
关键字:C++,运算符,operator,重载,overload,形式推导
大前提
定理:自定义类型不要毫无价值地与内建类型不兼容(Effective C++ 2e)。这个定理是本篇所有内容的理论基础,可见它的重要性。但我无法证明,只是从直觉上认为它是正确的,如果允许的话,我更乐意把它称为公理。
小前提
内建类型的运算符串链规则:
int a=1,b=2,c=3;
a=(b+=c); //[A] ok
(b+=c)=a; //[B] ok
(a+b)=c; //[C] error
(a=b)=c; //[D] ok
(++a)=b; //[E] ok
(a++)=b; //[F] error
结论
成员函数版运算符重载的声明形式:
class Arrow
{
private:
double x;
double y;
public:
Arrow & operator+=(const Arrow & r); //[1]
const Arrow operator+(const Arrow & r) const; //[2]
double operator*(const Arrow & r) const; //[3]
Arrow & operator=(const Arrow & r); //[4]
Arrow & operator++(); //[5]
const Arrow operator++(int); //[6]
};
Arrow的真实含义是矢量,也就是数学中有大小和方向的量,本来英文名应该是vector,但STL中已经有了同名但不同义的东西,为以示区别就取了这个不伦不类的名字。对这个类来说,++运算符没有意义,另外,赋值运算符使用编译器的默认版本即可,写它们纯粹是起示例作用。
推导手段
通过合理使用const修饰符和引用,使重载运算符的行为同内建类型一致。
单个解析
[1]由于[A][B]的关系,+=运算符的返回值应能够被改写,所以传回*this的引用。
Arrow & Arrow::operator+=(const Arrow & r)
{
x += r.x;
y += r.y;
return *this;
}
[2]+运算符不改变左操作数,所以函数为const性质。+的结果存放在函数的local对象中,出于安全上的考虑,local对象不能作为引用返回,又因为[C]的关系,所以传回local对象的const拷贝。
const Arrow Arrow::operator+(const Arrow & r) const
{
return Arrow(x+r.x,y+r.y);
}
Arrow的构造器省略。
[3]内建类型的返回值被编译器约定不能作左值,此时可省略返回值的const。其他同[2]。
double Arrow::operator*(const Arrow & r) const
{
return x*r.x+y*r.y;
}
矢量相乘得到它们的内积,内积是数而不是矢量。
[4]由于[D]的关系,同[1]。
Arrow & Arrow::operator=(const Arrow & r)
{
x = r.x;
y = r.y;
return *this;
}
[5]自增运算符的前缀版本返回改变后的对象,又由于[E]的关系,所以传回*this的引用。
Arrow & Arrow::operator++()
{
//...
return *this;
}
[6]自增运算符的后缀版本返回改变前的对象,所以必须建立一个local对象保存原状态,于是函数返回值同[2]。
const Arrow Arrow::operator++(int)
{
Arrow arr(*this);
//...
return arr;
}
逆推
从[1][4][5]的实现可以看到,我们能够自然提供[A][B][D][E],同时保证足够的严谨。而对于[2],不存在安全的手段,让形如[C]的式子通过编译。还有,为什么内建类型的串链规则[E][F]有如此微妙的差异,从[5][6]可以看出来,因为函数可以安全地返回改变后的对象,却无法安全地返回改变前的对象。
这些都增加了大前提定理的可信度,小前提也显得更加合理。
后记:
1.限于篇幅,这里只列出了最简单的运算符重载,省略了很多关于复杂、特种运算符的讨论。
2.+、*这类二元运算符最好采用非成员形式,也就是友元形式。
如果希望看到进一步的讨论,我会再写一点。
分享到:
相关推荐
C++单目运算符重载 单目运算符只有一个操作数,如!a,-b,&c,*p,还有最常用的++i和–i等。重载单目运算符的方法与重载双目运算符的方法是类似的。但由于单目运算符只有一个操作数,因此运算符重载函数只有一个参数...
运算符重载.py python运算符重载
对于下标运算符重载定义形式如下: 类型 类名::operator[ ](形参) {函数体} 先看一个例子7.13 说明: 重载下标运算符“[]”的一个优点是可以增加C++中数组检索的安全性 重载下标运算符“[]”时,返回一个int的...
但是,在实际应用中,对于很多用户自定义数据类型(如类)也需要类似的功能,这就需要对已有的运算符赋予多种含义,使同一个运算符具有作用于不同类性的数据导致不同类型的行为,这就是运算符重载。因此,运算符重载...
C++类的运算符重载,包括 = ++ -- -(负号运算符) + - * / % == != < > <= >= << >>
多态性和运算符重载
如运算符重载和函数重载 字符串连接,+=运算符重载 求子串: 左边几个字符,,, Left(int nCount) 右边几个,, Right(int nCount) 某个位置开始的几个字符 Mid(int nPos,int nCout) 2..进一步熟悉掌握对类的构造...
实验六函数重载与运算符重载 实验六函数重载与运算符重载
这个是使用C++是实现的矩阵基本运算,使用了运算符重载技术和动态生成数组技术!
通过控制台输入输出,DOS窗口,以复数类为例,通过运算符重载成员函数的方式,实现复数类的加减法运算
C++程序设计实验——运算符重载,涉及单目、双目运算符的重载
主要是C++中,运算符重载的编写的实验,环境VS2010,内容很基本,与类相关
运算符重载:友元(friend)函数问题
C++程序设计课件 第十章 运算符重载 10.1 什么是运算符重载 10.2 运算符重载的方法 10.3 重载运算符的规则 10.4 运算符重载函数作为类成员函数和友元函数 10.5 重载双目运算符 10.6 重载单目运算符 10.7 重载流...
运算符重载(c++ 最会的重载100)
第10章 运算符重载,内容 10.1 什么是运算符重载 10.2 运算符重载的方法 10.3 重载运算符的规则 10.4 运算符重载函数作为类成员函数和友元函数 10.5 重载双目运算符 10.6 重载单目运算符 10.7 重载流插入运算符和流...
此课件内容包括: 1 运算符 2 运算符重载概述 3 运算符重载的两种形式(重点) 运算符是代表某种运算功能的符号。 课件中讲解的实例也在些文件中。
1、 编写一个简单复数类Scomplex,要求用友元函数重载“+”、“-”运算符,用成员函数重载“=”运算符,使之能够实现整数或浮点数和复数的加法和减法,并且进行测试。 2、空间一点p的坐标为(x,y,z),其中x,y,z为...
C++程序,利用运算符的重载在VC下编译。
自己很久前写的运算符重载小例子,实现了个别操作