07-千万不要重载&&(与)||(或), 逗号操作符

Created2025-10-21|Updated2026-02-02|计算机编程语言1-EffectiveC++_35个改善条款_学习笔记

|Post Views:

第二章，操作符

条款7 千万不要重载&&(与)||(或), 逗号操作符

描述

C++允许和禁止重载的操作符如下：

//可重载：
operator new 
operator delete
operator new []
operator delete []
+ - * / %  
^ & | ~ ! = < > 
+= -= *= /= %= ^= &= |= 
<< >> >>= <<= 
== != <= >= && || ++ -- , 
->* -> () [] 

//禁止重载：
. .* :: ?: 
new delete sizeof typeid
static_cast dynamic_cast const_cast reinterpret_cast

尽管允许重载大部分操作符，但是不应该重载&&(与)ll(或), 逗号操作符，因为无法确保重载后的效果符合原来的大众所熟知的规则，会增加维护难度以及带来不必要的麻烦!

不能重载&&(与)||(或)操作符的原因

char *p;
...
if((p != 0) && (strlen(p) > 10))...

int reangeCheck(int index)
{
   if((index < lowerBound) || (index > upperBound)) ...    
}

与C一样，C++对于真假表达式的判断特点是，对于&&(与)若第一个判断是false，那么后面的表达式就不会进行判断，直接返回false；而对于||(或)，一旦第一个表达式为true，后面的表达式也不会进行判断了；这是大部分C/C++开发者熟知的特点! 然而要重载这两个操作符的时候，会发现是无法实现这种特点的，这必然导致歧义的出现，也因此会对使用的开发者带来不少麻烦。

不能重载,(逗号)操作符的原因

for(int i = 0,j=10; i<=100; ++i,--j) //这里便使用到了逗号操作符（够冷门的,谁没事重载这玩意儿🐶）
{
    ...
}

这里的逗号操作符的逻辑是，编译器首先评估++i，然后是–j，而整个逗号表达式的返回结果是–j的返回值。由于无法保证左侧表达式一定先于右侧的更早被评估，所以是无法重载模仿实现这种效果的。这就是不建议重载逗号的原因。（一旦重载，你就改变了游戏规则，接手代码的人会携带大众规则被迫阅读你的私人定制规则，这很不友好，也不专业!）

Author: LYJ

Link: http://lyjseagull.github.io/ProgramLanguage-07-EffectiveC++35/

Copyright Notice: All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.

Related Articles

01-区别指针和引用

第一章，基础议题条款1 仔细区别Pointers和References指向指定的对象，且之后不切换指向其他对象，且操作符重写需要时使用References，反之使用Pointers，且使用References不需要检测是否为null ...

02-最好使用C++转型操作符

第一章，基础议题条款2 最好使用C++转型操作符强制转换带来的问题：（1）直接将任意类型转为其他任意类型，意图不明确且显得拙劣，如：将基类类型转为派生类类型，或者将常量类型转为非常量类型，但仅仅通过小括号强转并不能很好的表明意图（2）强转使用小括号来实现，但小括号在编码中使用到的地方很多，很难直接一眼看出有哪些是类型转换，哪些又是函数调用等使用到小括号的地方，这显得很不专业使用C++转型操作符：为解决强转带来的问题，C++导入了4个新的转型操作符: （1）static_cast （2）const_cast （3）dynamic_cast （4）reinterpret_cast 与C强制转换的比较C++转型操作符基本拥有强转一样的威力和意义，以及相同的限制，如：不能将double转为pointer，或者将struct转为int； static_cast不能移除常量性，因为专门有const_cast来负责 C++转型操作符的使用：（1）C++转型操作符更加集中他们自己负责的转型内容，const_cast只负责将类型转为常量或者非常量，其他的并不关注，如果被用于这个场景之外...

03-不要以多态方式处理数组

第一章，基础议题条款3 不要以多态方式处理数组问题场景描述（1）：在C++中，可以通过指向基类的指针来操作派生类对象，这个指针就好像有多重类型一样，原著笔者在这里称将其也称为多态，这种多态操作方式应该避免数组操作，概括一下是因为基类和派生类的成员很可能是不一样的，这也就意味着他们的对象大小是不一样的，而数组arr[i]的调用就相当于*(arr+i*sizeof(object))，这个i的步进值取决于元素的大小，因此会引发“未定义”错误 class BST{...};class BalancedBST : public BST{...};void printBSTArray(ostream& s, const BST array[],int numElements){ for(int i = 0; i < numElements; i++) s << array[i];}BST BSTArray[10];printBSTArray(BSTArray);//All Right!Bala...

05-对定制的“类型转换”函数保持警惕

第二章，操作符条款5 对定制的“类型转换”函数保持警惕描述自定义隐式类型转换函数，易导致代码行为异常、编译歧义，非必要不使用，使用时需严格限制。一、两类隐式类型转换的来源1、转换运算符格式：operator 目标类型() const;，将类对象隐式转为目标类型。 class Rational {public: int n, d; operator double() const { return (double)n/d; } // Rational→double};Rational r(1,2);double x = r * 2.0; // 自动转换为double运算 2、单参数构造函数含默认参数的多参构造也归为此类，允许参数类型隐式转为类对象。 class Rational {public: Rational(int n, int d=1) : n(n), d(d) {} // int→Rational};Rational r1(1,2);Rational r2 = r1 + 5...

04-非必要不提供 default constructor

第一章，基础议题条款4 非必要不提供 default constructor描述凡是可以“合理无中生有”的对象类型应该有默认构造，反之如果存在没有外来信息就无法正常初始化的对象，就应该禁止默认构造；一、没有默认构造的使用限制_1: 由于没有默认构造函数，将无法产生对应类型对象构成的数组 class EquipmentPiece{public: EquipmentPiece(int IDNumber);//定义了构造函数，编译器将不再生成默认构造函数 ...}EquipmentPiece bestPieces[10];// 错误，无法调用EquipmentPiece的构造函数EquipmentPiece *bestPieces = new EquipmentPiece[10];// 错误有3个方法可以解决无默认构造无法产生数组的问题： 1、使用non-heap 数组，于是便能够在定义数组时提供必要的自变量:int ID1,ID2,ID3,...,ID10;...EquipmentPiece bestPieces[] = { Equipm...

06-区别increment与decrement操作符的前置和后置形式

第二章，操作符条款6 区别increment与decrement操作符的前置和后置形式描述重载操作符++和- -有前置式和后置式，主要通过后置式在参数中写有int自变量来做区分 class UPInt{public: UPInt& operator++(); //前置 ++ const UPInt operator++(int);//后置 ++ UPInt& operator--(); //前置 -- const UPInt operator--(int); //后置 -- UPInt& operator+=(int);// +=操作符，结合UPInts和ints};UPInt i;++i; //i.operator++();i++; //i.operator++(0);--i; //i.operator--();i--; //i.operator--(0); 前置式与后置式重载的实现前置式的意义：increment and fetch 累加然后取出；后置式的意义： fetch and increment...