C++操作符重载

不能重载的操作符有：::     .*    .    ?:   四个

重载操作符不再具备短路求值的特性，如重载&&， ||， 逗号，重载这些操作符也不是一种好的做法。

       作为类成员的重载函数，包含了一个隐含的this形参，限定为第一个操作数，重载一元函数如果作为成员函数就没有显示形参，如果作为非成员函数就有一个形参，重载二元操作符定义为成员时有一个形参，定义为非成员时有两个形参。一般将算数和关系操作符定义为非成员函数，将赋值操作符定义为成员函数。操作符定义为非成员函数时，通常要将它们设置成操作类的友元函数。因为通常要访问类的私有部分。是否定义为成员函数，以下是一些指导原则：

      1 赋值（=）， 下标[],  调用（）和成员访问箭头（->）必须定义为成员，定义为非成员会在编译时发生错误

      2 改变对象状态或与给定类型紧密联系的其他一些操作符，如自增，自减和解引用，通常定义为类成员

      3 对称的操作符，如算法运算符，相等操作符，关系操作符和位操作符，最好定义为非成员函数。

     对于输入输出操作符，因为第一个参数应该是istream或ostream类型，所以必须定义为非成员函数，而通常要对私有成员进行读写，所以需要定义为友元，且返回一个ostream或istream的引用。对于输入操作符，一般需要检查输入流是否错误。如一个类似string的输入输出操作符重载：

	//输入输出操作符重载为友元函数
	friend ostream& operator<<(ostream& os, const String &o)
	{
		os << o.str;
		return os;
	}
	
	friend istream& operator>>(istream& in, String &s)
	{
		in >> s.str;
		if (!in)    //检查输入流是否发生错误
		     s = String();  //构造一个临时对象返回
		return in;
	}

        算术和关系操作符定义为非成员函数，且算术 操作符为了保持与内置操作符一致，应该返回一个右值，而不是一个引用。关联容器预计某些算法，使用默认<操作符。

        赋值操作符必须是类的成员，赋值操作符可以重载，可以为一个类增加多个赋值操作符，操作符的参数不同。赋值操作符必须返回对*this的引用，这是与内置类型的赋值一致的，而且返回一个引用，就不需要创建和撤销结果的临时副本，返回值通常是左操作数的引用。

       类定义下标操作符时，一般要定义两个版本，一个非const成员并返回引用，一个const成员并返回const引用，供const对象使用。

      箭头操作符（->）必须定义为类成员函数，解引用操作符（*）不要求定义为成员，但将它定义为成员一般也是正确的。这两个重载常用在实现智能指针。通常也需要定义const版本和非const版本，重载的箭头操作符必须返回指向类类型的指针。

      自增自减操作符，倾向于定义为成员，前缀操作符返回对象的引用，后缀加(int)返回旧值，且是值返回，不是引用返回。--操作符一般调用后缀操作符一般调用前缀操作符实现，所以按说是前缀操作符快一些。

     调用操作符()，类成员，定义了调用操作符的类，其对象称之为函数对象。可以定义多个版本，由形参的数目和类型加以区别。  

struct absInt
{
    int operator() (int val)
    {
        return val < 0 ? -val : val;
    }
};

      转换操作符，是一种特殊的类成员函数，定义将类类型转换为其他类型。格式：operator type(), type表示内置类型名、类类型名或由类型别名所定义的名字。对任何可作为函数返回类型的类型（除void）外都可以定义转换类型。不允许转换为数组或函数类型，转换为指针类型（数据和函数指针）以及引用类型是可以的。转换函数必须是成员函数，不能指定返回类型，并且形参表必须为空。虽然不能指定返回类型，但是每个转换函数必须显示返回一个指定类型的值。转换函数一般不应该改变被转换的对象。因此转换操作符通常定义为const成员。例子：    

class SmallInt
{
public:
    SmallInt(int i=0) : val(i)
    {
        if (i < 0 || i > 255)
            throw std::out_of_range("Bad SmallInt initializer");
    }
 
    //转换操作符,转换为int
    operator int() const
    {
        return val;
    }
};

    类类型转换之后不能再跟另一个类类型转换，如果需要多个类类型转换，则代码将出错。