C++抽象机制之二：运算符重载

1.二元运算符aa@bb，可以定义为

1).一个参数的非静态成员函数：aa.operator@(bb); （成员函数有this指针）

2). 两个参数的非成员函数：operator@(aa,bb);

一元运算符@aa，可以定义为

1).无参数的非静态成员：aa.operator@()；

2).一个参数的非成员:operator@(aa).

2.

--operator=, operator[],operator(),operator-> 只能作为非静态成员函数；

--一个运算符函数要么是成员，要么有一个参数为用户定义类型；

--不存在运算符屏蔽的问题，保证了用户可以提供新的功能而不用去修改现有功能。

--二元的operator@，x@y解析方式(顺序)：类x的成员或者某个基类成员---->该环境中的operator申明----->x的名字空间---->y的名字空间

3.+=比+ & =有效，前者没有采用临时变量；混合模式算术也是通过重载实现，基础是operator+=()

4.

--构造函数的作用：通过已有类型的值构造出程序所需的类型，如：complex(double r):re(r),im(0){}

--默认的复制构造函数就是简单地复制成员，完成从用类对象取初始化同类对象；

--复制构造函数不但被用在初始化变量是，还用在参数传递、值返回、以及异常处理中？

--构造函数和转换：参数的不同组合很可能会造成组合爆炸问题，此时依赖于转换。有了complex(double r):re(r),im(0){}和bool operator==(complex,complex), 3==y<=>operator==(complex(3),y)

--转换运算符：X::operator T() ,T是一个类型名，定义了一个从x到T的转换。

(1)从用户定义类型到内部类型；(2)从新类型到已有类型,而不修改已有的类。如：INT::operator int()

5.

--成员函数：

1).访问私有；

2).位于类的作用域中；

3).该函数必须由对象激活(this指针)

1）2）->static;; 1)->friend

--若要求某运算对象是基本类型的左值，将该运算符定义为成员函数最自然（= 、+=、++等等）；一个修改类对象的操作要么定义为成员函数，要么定义为非const引用(指针)全局函数；相反，若希望某个运算符所有运算对象都能隐式转换，那些不需要基础类型左值的运算符，就应该作为非成员or取const引用从参数or非引用参数。
需要访问对象内部的，(如re\im)应该作为friend。因为对象内部数据一般是作为private。

--友元函数，友元类。友元类的寻找：1)在外围前or范围内显示声明，2)用类及其派生类作为参数直接调用

6.

--为了避免复制用引用作为参数

--explicit 修饰构造函数，抑制隐式转换，避免不必要的歧义; 一般都是将只有一个参数的构造函数定义为explict

class string
{//
public:
string operator()(int left, int right)
{
check(left);check(right);
if(left<right)
{
char *a=new char[right-left+2];
strcpy(a,str->left,right-left+1);
a[right-left+1]='0';
string result(a);
delete[] a;
return result;
}
else{result string("");}
}
}

重载（），实现取子串

总结及忠告：

1).重载只是为了满足人的习惯，运算符能操作的还是只是内部类型；只不过用operator包装一下而已。

2).默认复制构造对于类不适合，需要重新定义它，或者将它禁止（声明为private）.

3).将只有一个参数的构造函数做成explicit