[C++] 重载运算符与类型转换（1）
1、形式：返回值 operator符号（参数列表）{}
2、不能被重载的运算符：:: 作用域运算符 .* . 成员访问运算符 ?: 条件运算符；某些运算符（逗号，，取地址&，逻辑或||，逻辑与&&）不应该被重载：1）重载之后无法保留运算对象的求值顺序，比如逻辑与&&，逻辑或||和逗号运算符；2）无法保留运算符的短路求值属性，比如&&和||；3）有特殊含义的运算符，比如逗号和取地址。
3、建议：只有当操作的含义对于用户来说清晰明了时才使用运算符，否则运算符将产生二义性。
4、两种选择：作为类的成员函数或者作为普通的非成员函数
5、重载输出运算符
//定义 ostream& operator<<(ostream &os, const Sales_data &item) { os << item.isbn() <<" "<<item.units_sold<< "——重载输出运算符"; return os; }
1）尽量减少格式化操作
2）输入输出运算符必须是非成员函数
3）IO运算符一般被声明为友元
friend ostream& operator<<(ostream&, const Sales_data&); friend istream& operator >> (istream&, Sales_data&);
6、重载输入运算符
//重载输入运算符 istream& operator >> (istream &is, Sales_data &item) { double price; is >> item.bookNo >> item.units_sold >> price; if (is) //检查输入是否成功 item.revenue = item.units_sold*price; else item = Sales_data();//输入失败：对象赋予默认状态 return is; }
调用
/*重载运算符操作,调用*/ Sales_data sales_data; operator >> (cin, sales_data);//输入 operator<< (cout, sales_data)<<endl;//输出
1）输入运算符必须处理输入可能失败的情况，而输出运算符不需要
7、算数和关系运算符
1）通常情况下，我们把算数和关系运算符定义成非成员函数，以允许对左侧或右侧的运算对象进行转换。
2）相等和不等关系运算符
//相等运算符——包括相等和不等判断，要求所有数据成员对应相等 bool operator==(const Sales_data &lhs, const Sales_data &rhs) { return lhs.isbn() == rhs.isbn()&&lhs.units_sold==rhs.units_sold&&lhs.revenue==rhs.revenue; } bool operator!=(const Sales_data &lhs, const Sales_data &rhs) { return !(lhs == rhs); }
3）大于小于关系运算符：如果存在唯一一种可靠的<定义，则应该考虑为这个类定义<运算符。如果类同时还包含==，则当且仅当<的定义和==产生的结果一致时才定义<运算符。也就是说，只要不是==，就一定有一个小于另一个。
8、赋值和复合赋值运算符
1）无论形参是什么，赋值运算符都必须定义为成员函数。
//赋值运算符 StrVec& StrVec::operator=(initializer_list<string> il) { //alloc_n_copy分配内存空间并从给定范围内靠背元素 auto data = alloc_n_copy(il.begin(), il.end()); free(); elements = data.first; first_free = cap = data.second; return *this; }
2）复合赋值运算符定义在类的内部，两者都返回左侧运算对象的引用
//复合赋值运算符 Sales_data& Sales_data::operator+=(const Sales_data &rhs) { units_sold += rhs.units_sold; revenue += rhs.revenue; return *this; }
9、算数运算符
1）算术运算符定义为非成员函数，通常使用定义的复合赋值运算符来定义对应的算术运算符，这样可以简化过程。
//算数运算符--返回对象的拷贝 Sales_data operator+(const Sales_data &lhs, const Sales_data &rhs) { Sales_data sum = lhs; sum += rhs; return sum; }
10、下标运算符
1）下标运算符必须是成员函数。
2）如果一个类包含下标运算符，则它通常会定义两个版本：一个返回普通引用，另一个是类的常量成员并返回常量引用。
//下标运算符 string& StrVec::operator[](size_t n) { return elements[n]; } const string& StrVec::operator[](size_t n) const{ return elements[n]; }
11、递增和递减运算符
1）前置递增和递减
StrBlobPtr& StrBlobPtr::operator++() { check(curr,"increment past end of StrBlobPtr");//如果已经指向了容器的尾后位置，那么无法继续递增它 ++curr; return *this; } StrBlob& StrBlobPtr::operator--() { --curr; check(curr, "decrement past end of StrBlobPtr"); return *this; }
a、递增和递减应该同时定义前置版本和后置版本，通常应该定义为类的成员函数。
b、为了区分前置和后置运算符，后置版本接受一个额外的（不被使用）int类型的形参。
c、后置操作调用了前置操作。
d、为了与内置版本保持一致，前置运算符返回对象的引用，而后置运算符返回原来对象的一个拷贝。
2）后置递增和递减
//后置递增和递减 StrBlobPtr StrBlobPtr::operator++(int) { StrBlobPtr ret = *this; ++(*this);//调用前置的操作 return ret; } StrBlobPtr StrBlobPtr::operator--(int) { StrBlobPtr ret = *this; --(*this); return ret; }
3）调用
//重载前置和后置递增递减运算符 StrBlobPtr p; p.operator++(0);//调用后置运算符 p.operator++();//调用前置运算符
12、成员访问运算符
1）箭头运算符必须是类的成员函数，解引用运算符通常也是。
2）因为访问成员不会改变对象状态，所以定义为const。
3）注意箭头运算符的限定，P505
//成员访问运算符 string& StrBlobPtr::operator*()const { auto p = check(curr, "dereference past end"); return (*p)[curr]; } string* StrBlobPtr::operator->()const { //将实际工作委托给解引用运算符 return &(this->operator*()); }
