重载运算符

C++允许为类的对象构造运算符来实现单目或者双目运算，这个特性就叫运算符重载。可以通过添加成员函数来实现运算符重载。

重载是由P.J.Plauger发现的。



一。重载运算符的时机

1。需要在定义的对象间相互赋值时，重载赋值运算符

2。需要在数字类型增加算术属性时，重载算术运算符

3。需要为定义的对象进行逻辑比较时，重载关系运算符

4。对于container，重载下标运算符[]

5。需要从I/O流中读写对象时，重载<<和>>运算符。

6。重载成员指针运算符 -> 以实现smart指针

7。在少数情况下重载new,delete运算符

8。不重载其他运算符



实际上任何用重载运算符完成的工作都可以使用成员函数来实现。

重载的运算符可以和原来的运算符不一定有必然联系，例如我重载'+'运算马夫，可以不做加法运算，而是把字符串连接起来。当然你要是用'+'运算符来做减法运算，也是可以的，不过这不是明智之举。



二。重载运算符的规则

1。重载的运算符不能违反语言的语法规则

2。如果一个运算符可以放在两个操作数之间，就可以重载它来满足类操作的需要，哪怕这种用法原本为编译器不能接受。

3。不能创造C++语言中没有的运算符

4。下列运算符不能重载

. 类成员运算符

.* 成员指针运算符

:: 域解析运算符

?: 条件表达式运算符

5。重载时不能改变运算符的优先级



三。运算符重载

运算符重载是通过对运算符函数的重载来实现的。对于每一个运算符@，在C++中都对应一个运算符函数operator@，其中@为C++各种运算符。

运算符函数的一般原型为：

type operator@ (arglist)

其中type为运算结果的类型，arglist为操作数列表。

重载双目运算符

在（五）我们已经介绍了重载赋值运算符，这里就不重新说明了。



一。作为类成员函数的重载

为了能进行类对象和一个整型值的加法运算，需要写一个类的成员函数来重载双目加法(+)运算符。该函数在类中的声明如下：

Date operator + (int) const;

函数的声明指出，返回值是一个Date类对象，函数名是运算符+，只有一个整型参数，而且函数是常量型的。当编译器发现某个函数以加上前缀operator的真实运算符作为函数名，就会把该函数当作重载运算符函数来处理。如果在表达式中，该运算符的左边是一个类对象，右边是一个参数类型的一个对象，那么重载运算符函数就会被调用。调用形式如下：

Date dt(6,9,2005);

dt=dt+100;

也可以显式的调用重载运算符函数：

dt.operator + (100);

下面代码重载了双目加法运算符来计算一个整数和一个Date类对象之和，并且返回Date类对象。



#include iostream.h

class Date

{

int mo,da,yr;

static int dys[];

public:

Date(int m=0,int d=0,int y=0)

{ mo=m; da=d; yr=y;}

void display() const

{ cout<<MO<<' ?<<yr;}

Date operator + (int) const;

};



int Date::dys[]={31,28,31,30,31,30,31,31,30,31,30,31};



Date Date::operator+(int) const

{

Date dt=*this;

n+=dt.da;

while(n>=dys[dt.mo-1])

{

n-=dys[dt.mo-1];

if(++dt.da==13)

{

dt.mo=1;

dt,yr++;

}

}

dt.da=n;

return dt;

}



int main()

{

Date olddate(1,1,2005);

Date newdate;

newdate=olddate+100;

newdate.display();

return 0;

}



二。非类成员的运算符重载

在重载运算符的原则中说到，要保持运算符的可交换性。而上面的程序只允许Date类对象在运算符的左边而整型值在右边，不支持下面的语句：

Date newdate=100+olddate;

所以，仅仅靠一个类的成员重载运算符是无法实现上面功能的。对重载双目运算符的类成员函数来说，总是认定调用函数的对象位于运算符左边。不过，我们可以再写一个非类成员的重载运算符函数，可以规定Date类的对象在运算符右边，而别的类型在运算符左边。例如，我们可以这样在类的外部定义一个函数：

Date operator + (int n,Date& dt)

下面代码在原先的基础上增加了一个非类成员函数来实现双目加法运算符的重载。



#include iostream.h

class Date

{

int mo,da,yr;

static int dys[];

public:

Date(int m=0,int d=0,int y=0)

{ mo=m; da=d; yr=y;}

void display() const

{ cout<<MO<<' ?<<yr;}

Date operator + (int) const;

};



int Date::dys[]={31,28,31,30,31,30,31,31,30,31,30,31};



Date Date::operator+(int) const

{

Date dt=*this;

n+=dt.da;

while(n>=dys[dt.mo-1])

{

n-=dys[dt.mo-1];

if(++dt.da==13)

{

dt.mo=1;

dt,yr++;

}

}

dt.da=n;

return dt;

}



Date operator + (int n,Date& dt)

{

return dt+n;

}



int main()

{

Date olddate(1,1,2005);

Date newdate;

newdate=olddate+100;

newdate.display();

return 0;

}



上面的例子中非类成员重载运算符函数调用了类中的重载+运算符来实现加法运算。如果类当中没有提供这样的函数，那么非类成员的重载运算符函数将被迫访问类的私有数据来实现加法运算。这样的话，需要把这个函数声明为类的友元，如下：

class Date

{

friend Date operator + (int n,Date&);

};

上例中重载运算符函数声明了全部两个参数，这是因为它不是类的成员，因此它不能作为类的成员函数被调用，就缺少了一个隐含的参数。

第一个重载加法运算符函数也可以用类的友元函数来实现。作为一种约定，这通常把所有为类重载的运算符都设定为该类的友元。

例子中只给出了重载加法的代码，我们同样可以来重载减法，乘除法等等。



三。重载关系运算符

如果想要对两个日期进行比较，比如出现下面这样的代码：

if(olddate

可以向上面用类似的方法重载关系运算符



#include iostream.h

class Date

{

int mo,da,yr;

public:

Date(int m=0,int d=0,int y=0)

{ mo=m; da=d; yr=y;}

void display() const

{ cout<<MO<<' ?<<yr;}

int operator == (Date& dt) const;

int operator < (Date& dt) const;

};



int Date::operator== (Date& dt) const

{

return (this->mo==dt.mo && this->da==dt.da && this->yr==dt.yr);

}



int Date::operator < (Date& dt) const

{

if(this->yr == dt.yr)

{

if(this->mo == dt.mo) return this->da < dt.da;

return this->mo < dt.mo;

}

return this->yr < dt.yr;

}



int main()

{

Date date1(2,14,2005);

Date date2(6,9,2005);

Date date3(2,14,2005);

if(date1<DATE2)

{

date1.display();

cout<

date2.display();

}

cout<<ENDL;

if(date1==date3)

{

date1.display();

cout<

date3.display();

}

return 0;

}



可以类似的重载其他关系运算符，如!=

int operator != (Date& dt) { return !(*this==dt);}



四。其他赋值运算符



#include iostream.h

class Date

{

int mo,da,yr;

static int dys[];

public:

Date(int m=0,int d=0,int y=0)

{ mo=m; da=d; yr=y;}

void display() const

{ cout<<MO<<' ?<<yr;}

Date operator + (int) const;

Date operator +=(int)

{ *this=*this+n; return *this;}

};



int Date::dys[]={31,28,31,30,31,30,31,31,30,31,30,31};



Date Date::operator+(int) const

{

Date dt=*this;

n+=dt.da;

while(n>=dys[dt.mo-1])

{

n-=dys[dt.mo-1];

if(++dt.da==13)

{

dt.mo=1;

dt,yr++;

}

}

dt.da=n;

return dt;

}



int main()

{

Date olddate(1,1,2005);

olddate+=100;

olddate.display();

return 0;

}

附录

作者：未知 文章来源：天极Yesky软件频道

Javascript是世界上最受误解的语言，其实C++何尝不是。坊间流传的错误的C++学习方法一抓就是一大把。我自己在学习C++的过程中也走了许多弯路，浪费了不少时间。



　　为什么会存在这么多错误认识?原因主要有三个，一是C++语言的细节太多。二是一些著名的C++书籍总在(不管有意还是无意)暗示语言细节的重要性和有趣。三是现代C++库的开发哲学必须用到一些犄角旮旯的语言细节(但注意，是库设计，不是日常编程)。这些共同塑造了C++社群的整体心态和哲学。



　　单是第一条还未必能够成气候，其它语言的细节也不少(尽管比起C++起来还是小巫见大巫)，就拿Javascript来说，作用域规则，名字查找，closure，for/in，这些都是细节，而且其中还有违反直觉的。但许多动态语言的程序员的理念我猜大约是学到哪用到哪罢。但C++就不一样了，学C++之人有一种类似于被暗示的潜在心态，就是一定要先把语言核心基本上吃透了才能下手写出漂亮的程序。这首先就错了。这个意识形成的原因在第二点，C++书籍。市面上的C++书籍不计其数，但有一个共同的缺点，就是讲语言细节的书太多——《C++ gotchas》，《Effective C++》，《More Effective C++》，但无可厚非的是，C++是这样一门语言：要拿它满足现代编程理念的需求，尤其是C++库开发的需求，还必须得关注语言细节，乃至于在C++中利用语言细节已经成了一门学问。比如C++模板在设计之初根本没有想到模板元编程这回事，更没想到C++模板系统是图灵完备的，这也就导致了《Modern C++ Design》和《C++ Template Metaprogramming》的惊世骇俗。



　　这些技术的出现为什么惊世骇俗，打个比方，就好比是一块大家都认为已经熟悉无比，再无秘密可言的土地上，突然某天有人挖到原来地下还蕴藏着最丰富的石油。在这之前的C++虽然也有一些细节，但也还算容易掌握，那可是C++程序员们的happy old times，因为C++的一切都一览无余，everything is figured out。然而《Modern C++ Design》的出世告诉人们，“瞧，还有多少细节你们没有掌握啊。”于是C++程序员们久违的激情被重燃起来，奋不顾身的踏入细节的沼泽中。尤其是，模板编程将C++的细节进一步挖掘到了极致——我们干嘛关心涉及类对象的隐式转换的优先级高低?看看boost::is_base_of就可以知道有多诡异了。



　　但最大的问题还在于，对于这些细节的关注还真有它合适的理由：我们要开发现代模板库，要开发active library，就必须动用模板编程技术，要动用模板编程技术，就必须利用语言的犄角旮旯，enable_if，type_traits，甚至连早就古井无波的C宏也在乱世中重生，看看boost::preprocessor有多诡异就知道了，连C宏的图灵完备性(预编译期的)都被挖掘出来了。为什么要做这些?好玩?标榜?都不是，开发库的实际需求。但这也正是最大的悲哀了。在boost里面因实际需求而动用语言细节最终居然能神奇的完成任务的最好教材就是boost::foreach，这个小设施对语言细节的发掘达到了惊天地泣鬼神的地步，不信你先试着自己去看看它的源代码，再看看作者介绍它的文章吧。而boost::typeof也不甘其后——C++语言里面有太多被“发现”而不是被“发明”的技术。难道最初无意设置这些语言规则的家伙们都是Oracles?



　　因为没有variadic templates，人们用宏加上缺省模板参数来实现类似效果。因为没有concepts，人们用模板加上析构函数的细节来完成类似工作。因为没有typeof，人们用模板元编程和宏加上无尽的细节来实现目标… C++开发者们的DIY精神不可谓不强。



　　然而，如果仅仅是因为要开发优秀的库，那么涉及这些细节都还是情有可原的，至少在C++09出现并且编译器厂商跟上之前，这些都还能说是不得已而为之。但我们广大的C++程序员呢?大众是容易被误导的，我也曾经是。以为掌握了更多的语言细节就更牛，但实际却是那些语言细节十有八九是平时编程用都用不到的。C++中众多的细节虽然在库设计者手里面有其用武之地，但普通程序员则根本无需过多关注，尤其是没有实际动机的关注。一般性的编码实践准则，以及基本的编程能力和基本功，乃至基本的程序设计理论以及算法设计。才是真正需要花时间掌握的东西。



　　学习最佳编码实践比学习C++更重要。看优秀的代码也比埋头用差劲的编码方式写垃圾代码要有效。直接、清晰、明了、KISS地表达意图比玩编码花招要重要…



　　避免去过问任何语言细节，除非必要。这个必要是指在实际编程当中遇到问题，这样就算需要过问细节，也是最省事的，懒惰者原则嘛。一个掌握了基本的编程理念并有较强学习能力的程序员在用一门陌生的语言编程时就算拿着那本语言的圣经从索引翻起也可以编出合格的程序来。十年学会编程不是指对每门语言都得十年，那一辈子才能学几门语言哪，如果按字母顺序学的话一辈子都别指望学到Ruby了;十年学习编程更不是指先把语言特性从粗到细全都吃透才敢下手编程，在实践中提高才是最重要的。



　　至于这种抠语言细节的哲学为何能在社群里面呈野火燎原之势，就是一个心理学的问题了。想像人们在论坛上讨论问题时，一个对语言把握很细致的人肯定能够得到更多的佩服，而由于论坛上的问题大多是小问题，所以解决实际问题的真正能力并不能得到显现，也就是说，知识型的人能够得到更多佩服，后者便成为动力和仿效的砝码。然而真正的编程能力是与语言细节没关系的，熟练运用一门语言能够帮你最佳表达你的意图，但熟练运用一门语言绝不意味着要把它的边边角角全都记住。懂得一些常识，有了编程的基本直觉，遇到一些细节错误的时候再去查书，是最节省时间的办法。



　　C++的书，Bjarne的圣经《The C++ Programming Language》是高屋建瓴的。《大规模C++程序设计》是挺务实的。《Accelerated C++》是最佳入门的。《C++ Templates》是仅作参考的。《C++ Template Metaprogramming》是精力过剩者可以玩一玩的，普通程序员碰都别碰的。《ISO.IEC C++ Standard 14882》不是拿来读的。Bjarne最近在做C++的教育，新书是绝对可以期待的。



　　P.S. 关于如何学习编程，g9的blog上有许多精彩的文章：这里，这里，这里，这里… 实际上，我建议你去把g9老大的blog翻个底朝天 :P



　　再P.S. 书单?我是遑于给出一个类似《C++初学者必读》这种书单的。C++的书不计其数，被公认的好书也不胜枚举。只不过有些书容易给初学者造成一种错觉，就是“学习C++就应该是这个样子的”。比如有朋友提到的《高质量C/C++编程》，这本书有价值，但不适合初学者，初学者读这样的书容易一叶障目不见泰山。实际上，正确的态度是，细节是必要的。但细节是次要的。其实学习编程我觉得应该最先学习如何用伪码表达思想呢，君不见《Introduction to Algorithm》里面的代码?《TAOCP》中的代码?哦，对了它们是自己建立的语言，但这种仅教学目的的语言的目的就是为了避免让写程序的人一开始就忘了写程序是为了完成功能，以为写程序就是和语言细节作斗争了。Bjarne说程序的正确性最重要，boost的编码标准里面也将正确性列在性能前面。



　　此外，一旦建立了正确的学习编程的理念，其实什么书(只要不是太垃圾的)都有些用处。都当成参考书，用的时候从目录或索引翻，基本就对了。



　　再再P.S. myan老大和g9老大都给出了许多精彩的见解。我不得不再加上一个P.S。具体我就不摘录了，如果你读到这里，请务必往下看他们的评论。转载者别忘了转载他们的评论:-)



　　许多朋友都问我同一个问题，到底要不要学习C++。其实这个问题问得很没有意义。“学C++”和“不学C++”这个二分法是没意义的，为什么?因为这个问题很表面，甚至很浮躁。重要的不是你掌握的语言，而是你掌握的能力，借用myan老大的话，“重要的是这个磨练过程，而不是结果，要的是你粗壮的腿，而不是你身上背的那袋盐巴。”。此外学习C++的意义其实真的是醉翁之意不在酒，像C/C++这种系统级语言，在学习的过程中必须要涉及到一些底层知识，如内存管理、编译连接系统、汇编语言、硬件体系结构等等等等知识(注意，这不包括过分犄角旮旯的语言枝节)。这些东西也就是所谓的内功了(其实最最重要的内功还是长期学习所磨练出来的自学能力)。对此大嘴Joel在《Joel On Software》里面提到的漏洞抽象定律阐述得就非常漂亮。



　　所以，答案是，让你成为高手的并不是你掌握什么语言，精通C++未必就能让你成为高手，不精通C++也未必就能让你成为低手。我想大家都不会怀疑g9老大如果要抄起C++做一个项目的话会比大多数自认熟练C++的人要做得漂亮。所以关键的不是语言这个表层的东西，而是底下的本质矛盾。当然，不是说那就什么语言都不要学了，按照一种曹操的逻辑，“天下语言，唯imperative与declarative耳”。C++是前者里面最复杂的一种，支持最广泛的编程范式。借用当初数学系入学大会上一个老师的话，“你数学都学了，还有什么不能学的呢?”。学语言是一个途径，如果你把它用来磨练自己，可以。如果你把它用来作为学习系统底层知识的钥匙，可以。如果你把它用来作为学习如何编写优秀的代码，如何组织大型的程序，如何进行抽象设计，可以。如果掉书袋，光啃细节，我认为不可以(除非你必须要用到细节，像boost库的coder们)。



然后再借用一下g9老大的《银弹和我们的职业》中的话：



　　银弹和我们的职业发展有什么相干?很简单：我们得把时间用于学习解决本质困难。新技术给高手带来方便。菜鸟们却不用指望被新技术拯救。沿用以前的比喻， 一流的摄影师不会因为相机的更新换代而丢掉饭碗，反而可能借助先进技术留下传世佳作。因为摄影的本质困难，还是摄影师的艺术感觉。热门技术也就等于相机。 不停追新，学习这个框架，那个软件，好比成天钻研不同相机的说明书。而热门技术后的来龙去脉，才好比摄影技术。为什么推出这个框架?它解决了什么其它框架 不能解决的问题?它在哪里适用?它在哪里不适用?它用了什么新的设计?它改进了哪些旧的设计?Why is forever. 和 朋友聊天时提到Steve McConnell的《Professional Software Development》里面引了一个调查，说软件开发技术的半衰期20年。也就是说20年后我们现在知识里一半的东西过时。相当不坏。朋友打趣道：“应 该说20年后IT界一半的技术过时，我们学的过时技术远远超过这个比例。具体到某人，很可能5年他就废了”。话虽悲观，但可见选择学习内容的重要性。学习 本质技艺(技术迟早过时，技艺却常用长新)还有一好处，就是不用看着自己心爱的技术受到挑战的时候干嚎。C/C++过时就过时了呗，只要有其它的系统编程 语言。Java倒了就倒了呗，未必我不能用.NET?Ruby昙花一现又如何。如果用得不爽，换到其它动态语言就是了。J2EE被废了又怎样?未必我们就 做不出分布系统了?这里还举了更多的例子。



　　一句话，只有人是真正的银弹。职业发展的目标，就是把自己变成银弹。那时候，你就不再是人，而是人弹。



　　最后就以我在Bjarne的众多访谈当中摘录的一些关于如何学习C++(以及编程)的看法结束吧(没空逐段翻译了，只将其中我觉得最重要的几段译了一下，当然，其它也很重要，这些段落是在Bjarne的所有采访稿中摘抄出来的，所以强烈建议都过目一下)：



　　I suspect that people think too little about what they want to build, too little about what would make it correct, and too much about efficiency and following fashions of programming style. The key questions are always: what do I want to do? and how do I know that I have done if?. Strategies for testing enters into my concerns from well before I write the firat line of code, and that despite my view that you have to write code very early - rather than wait until a design is complete.



　　译：我感觉人们过多关注了所谓“效率”以及跟随编程风格的潮流，却严重忽视了本不该被忽视的问题，如“我究竟想要构建什么样的系统”、“怎样才能使它正确”。最关键的问题永远是：“我究竟想要做什么?”和“如何才能知道我的系统是否已经完成了呢?”就拿我来说吧，我会在编写第一行代码之前就考虑测试方案，而且这还是在我关于应当早于设计完成之前就进行编码的观点的前提之下。



　　Obviously, C++ is very complex. Obviously, people get lost. However, most peple get lost when they get diverted into becoming language lawyers rather than getting lost when they have a clear idea of what they want to express and simply look at C++ language features to see how to express it. Once you know data absreaction, class hierarchies (object-oriented programming), and parameterization with types (generic programming) in a fairly general way, the C++ language features fall in place.



　　译：诚然，C++非常复杂。诚然，人们迷失其中了。然而问题是，大多数人不是因为首先对自己想要表达什么有了清晰的认识只不过在去C++语言中搜寻合适的语言特性时迷失的，相反，大多数人是在不觉成为语言律师的路上迷失在细节的丛林中的。事实是，只需对数据抽象、类体系结构(OOP)以及参数化类型(GP)有一个相当一般层面的了解，C++纷繁的语言特性也就清晰起来了。



　　Well, I don't think I made such a trade-off. I want elegant and efficient code. Sometimes I get it. These dichotomies (between efficiency versus correctness, efficiency versus programmer time, efficiency versus high-level, et cetera.) are bogus.



　　I think the real problem is that we (that is, we software developers) are in a permanent state of emergency, grasping at straws to get our work done. We perform many minor miracles through trial and error, excessive use of brute force, and lots and lots of testing, but--so often--it's not enough.



　　Software developers have become adept at the difficult art of building reasonably reliable systems out of unreliable parts. The snag is that often we do not know exactly how we did it: a system just sort of evolved into something minimally acceptable. Personally, I prefer to know when a system will work, and why it will.



　　There are more useful systems developed in languages deemed awful than in languages praised for being beautiful--many more. The purpose of a programming language is to help build good systems, where good can be defined in many ways. My brief definition is, correct, maintainable, and adequately fast. Aesthetics matter, but first and foremost a language must be useful; it must allow real-world programmers to express real-world ideas succinctly and affordably.



　　I'm sure that for every programmer that dislikes C++, there is one who likes it. However, a friend of mine went to a conference where the keynote speaker asked the audience to indicate by show of hands, one, how many people disliked C++, and two, how many people had written a C++ program. There were twice as many people in the first group than the second. Expressing dislike of something you don't know is usually known as prejudice. Also, complainers are always louder and more certain than proponents--reasonable people acknowledge flaws. I think I know more about the problems with C++ than just about anyone, but I also know how to avoid them and how to use C++'s strengths.



　　In any case, I don't think it is true that the programming languages are so difficult to learn. For example, every first-year university biology textbook contains more details and deeper theory than even an expert-level programming-language book. Most applications involve standards, operating systems, libraries, and tools that far exceed modern programming languages in complexity. What is difficult is the appreciation of the underlying techniques and their application to real-world problems. Obviously, most current languages have many parts that are unnecessarily complex, but the degree of those complexities compared to some ideal minimum is often exaggerated.



　　We need relatively complex language to deal with absolutely complex problems. I note that English is arguably the largest and most complex language in the world (measured in number of words and idioms), but also one of the most successful.



　　C++ provides a nice, extended case study in the evolutionary approach. C compatibility has been far harder to maintain than I or anyone else expected. Part of the reason is that C has kept evolving, partially guided by people who insist that C++ compatibility is neither necessary nor good for C. Another reason-- probably even more important--is that organizations prefer interfaces that are in the C/C++ subset so that they can support both languages with a single effort. This leads to a constant pressure on users not to use the most powerful C++ features and to myths about why they should be used carefully, infrequently, or by experts only. That, combined with backwards-looking teaching of C++, has led to many failures to reap the potential benefits of C++ as a high-level language with powerful abstraction mechanisms.



　　The question is how deeply integrated into the application those system dependencies are. I prefer the application to be designed conceptually in isolation from the underlying system, with an explicitly defined interface to the outer world, and then integrated through a thin layer of interface code.



　　Had I had a chance to name the style of programming I like best, it would have been class-oriented programming, but then I'm not particularly good at finding snappy names. The school of thought that I belong to - rooted in Simula and related design philosophies - emphasizes the role of compile-time checking and flexible (static) type systems. Reasoning about the behavior of a program has to be rooted in the (static) structure of the source code. The focus should be on guarantees, invariant, etc. which are closely tied to that static structure. This is the only way I know to effectively deal with correctness. Testing is essential but cannot be systematic and complete without a good internal program structure - simple-minded blackbox testing of any significant system is infeasible because of the exponential explosion of states.



　　So, I recommend people to think in terms of class invariants, exception handling guarantees, highly structured resource management, etc. I should add that I intensely dislike debugging (as ah hoc and unsystematic) and strongly prefer reasoning about source code and systematic testing.



　　Pros: flexibility, generality, performance, portability, good tool support, available on more platforms than any competitor except C, ACCESS to hardware and system resources, good availability of programmers and designers. Cons: complexity, sub-optimal use caused by poor teaching and myths.