深入讨论构造函数和运算符重载

一、构造函数

（一）复制构造函数（深拷贝和浅拷贝）

1、构造拷贝函数：用一个已有的对象，构造和它同类型的副本；
 class xxx { xxx (const xxx &that) {...} };
 &that是引用，拷贝构造函数推荐使用引用，如果直接传递值，那么会导致无限递归；
2 、如果一个类没有定义拷贝构造函数，系统会提供一个缺省拷贝构造函数：值的简单复制
        缺省拷贝构造函数对于基本类型的成员变量，按字节复制；

        对于类类型成员变量，调用相应类型的拷贝构造函数

3、 在某些情况下，缺省拷贝构造函数只能实现浅拷贝，如果需要获得深拷贝的复制效果，就需要自己定义拷贝构造函数；

 一般下面两种情况需要自定义拷贝构造函数：

        如果成员里面包含指针或者引用；

        如果成员对象指向 new 地址；

拷贝函数被调用的情况有：
1，定义新对象，并用已有对象初始化新对象时； 即执行语句“CExample B=A; ” 时（定义对象时使用赋值初始化）；

2，当对象直接作为参数传给函数时，函数将建立对象的临时拷贝，这个拷贝过程也将调同拷贝构造函数。 

例如：
        BOOL testfunc(CExample obj)
       {
            //针对obj的操作实际上是针对复制后的临时拷贝进行的
       }
       testfunc(theObjone); //对象直接作为参数，拷贝函数将被调用；
3，当函数中的局部对象被返回给函数调者时，也将建立此局部对象的一个临时拷贝，拷贝构造函数也将被调用 ；
    例如：
    CTest func()
    {
        CTest   theTest;
        return   theTest
     }  

（二）复制赋值运算符函数

1、为什么要对=赋值操作符进行重载？
答：接上面的例子，用户在使用语句ObjB = ObjA的时候，或许ObjB的pStr已经指向了动态申请的空间，如果直接简单将其指向的地址覆盖，就会导致内存泄露，所以需要对=赋值操作符进行重载，在重载函数中判断pStr如果已经指向了动态申请的空间，就先将其释放。
2、拷贝构造函数和=赋值操作符重载的关系。
答：从原文的例子中可以看出，=赋值操作符重载比拷贝构造函数做得要多，它除了完成拷贝构造函数所完成的拷贝动态申请的内存的数据之外，还释放了原本自己申请的内存空间。所以原文最后给出的拷贝构造函数的实现可以使用=赋值操作符的重载来完成。

转载网址：https://blog.youkuaiyun.com/gxtdjh/article/details/6653499

（三）临时对象的构造函数(???)

二、运算符重载

C++中预定义的运算符的操作对象只能是基本数据类型。但实际上，对于许多用户自定义类型（例如类），也需要类似的运算操作。这时就必须在C++中重新定义这些运算符，赋予已有运算符新的功能，使它能够用于特定类型执行特定的操作。运算符重载的实质是函数重载，它提供了C++的可扩展性，也是C++最吸引人的特性之一。 

　　运算符重载是通过创建运算符函数实现的，运算符函数定义了重载的运算符将要进行的操作。运算符函数的定义与其他函数的定义类似，惟一的区别是运算符函数的函数名是由关键字operator和其后要重载的运算符符号构成的。运算符函数定义的一般格式如下：

   

<返回类型说明符> operator <运算符符号>(<参数表>)
{

     <函数体>

}

　运算符重载时要遵循以下规则：

(1) 除了类属关系运算符"."、成员指针运算符".*"、作用域运算符"::"、sizeof运算符和三目运算符"?:"以外，C++中的所有运算符都可以重载。

(2) 重载运算符限制在C++语言中已有的运算符范围内的允许重载的运算符之中，不能创建新的运算符。

(3) 运算符重载实质上是函数重载，因此编译程序对运算符重载的选择，遵循函数重载的选择原则。

(4) 重载之后的运算符不能改变运算符的优先级和结合性，也不能改变运算符操作数的个数及语法结构。

(5) 运算符重载不能改变该运算符用于内部类型对象的含义。它只能和用户自定义类型的对象一起使用，或者用于用户自定义类型的对象和内部类型的对象混合使用时。

(6) 运算符重载是针对新类型数据的实际需要对原有运算符进行的适当的改造，重载的功能应当与原有功能相类似，避免没有目的地使用重载运算符。

　　运算符函数重载一般有两种形式：重载为类的成员函数和重载为类的非成员函数。非成员函数通常是友元。（可以把一个运算符作为一个非成员、非友元函数重载。但是，这样的运算符函数访问类的私有和保护成员时，必须使用类的公有接口中提供的设置数据和读取数据的函数，调用这些函数时会降低性能。可以内联这些函数以提高性能。）   

成员函数运算符

　运算符重载为类的成员函数的一般格式为：

    <函数类型> operator <运算符>(<参数表>)

    {

     <函数体>

    }

　　当运算符重载为类的成员函数时，函数的参数个数比原来的操作数要少一个（后置单目运算符除外），这是因为成员函数用this指针隐式地访问了类的一个对象，它充当了运算符函数最左边的操作数。因此：

(1) 双目运算符重载为类的成员函数时，函数只显式说明一个参数，该形参是运算符的右操作数。

(2) 前置单目运算符重载为类的成员函数时，不需要显式说明参数，即函数没有形参。

(3) 后置单目运算符重载为类的成员函数时，函数要带有一个整型形参。

    调用成员函数运算符的格式如下：

    <对象名>.operator <运算符>(<参数>)

    它等价于

    <对象名><运算符><参数>

    例如：a+b等价于a.operator +(b)。一般情况下，我们采用运算符的习惯表达方式。

友元函数运算符

　运算符重载为类的友元函数的一般格式为：

    friend <函数类型> operator <运算符>(<参数表>)

    {

     <函数体>

    }

　　当运算符重载为类的友元函数时，由于没有隐含的this指针，因此操作数的个数没有变化，所有的操作数都必须通过函数的形参进行传递，函数的参数与操作数自左至右一一对应。

　调用友元函数运算符的格式如下：

    operator <运算符>(<参数1>,<参数2>)

    它等价于

    <参数1><运算符><参数2>

    例如：a+b等价于operator +(a,b)。

两种重载形式的比较

　　在多数情况下，将运算符重载为类的成员函数和类的友元函数都是可以的。但成员函数运算符与友元函数运算符也具有各自的一些特点：

(1) 一般情况下，单目运算符最好重载为类的成员函数；双目运算符则最好重载为类的友元函数。

(2) 以下一些双目运算符不能重载为类的友元函数：=、()、[]、->。

(3) 类型转换函数只能定义为一个类的成员函数而不能定义为类的友元函数。

(4) 若一个运算符的操作需要修改对象的状态，选择重载为成员函数较好。

(5) 若运算符所需的操作数（尤其是第一个操作数）希望有隐式类型转换，则只能选用友元函数。

(6) 当运算符函数是一个成员函数时，最左边的操作数（或者只有最左边的操作数）必须是运算符类的一　个类对象（或者是对该类对象的引用）。如果左边的操作数必须是一个不同类的对象，或者是一个内部　类型的对象，该运算符函数必须作为一个友元函数来实现。

(7) 当需要重载运算符具有可交换性时，选择重载为友元函数。

转载网址：https://blog.youkuaiyun.com/zgl_dm/article/details/1767201