简单谈谈C++中的函数形参与浅拷贝

简单谈谈C++中的函数形参与浅拷贝

标签 ： c++ examples

---

---

最近要考C++，复习过程中遇到一些问题，总结记录一下。文中代码均在ideone在线编译器中运行的

字面上都知道，函数传递参数有值传递和引用传递，但具体区别是什么呢？除了一个传对象拷贝，一个传对象本身之外，还有哪些影响？

这里定义一个str类，只有一个private char*st变量；有几个基本的函数，重载了=和==运算符，str & operator=(str const & a)和str & operator==(str a),用于用不同方式实现赋值代码如下：

代码

#include <iostream> 
#include <string.h> 
using namespace std; 
class str 
{
private: 
    char *st; 
public:  
    str(char *a) {
        set(a);
        cout<<"构造函数：str addr "<<this<<"  st addr "<<&st<<"  st point to  "<<(void *)st<<"  st  "<<st<<endl; 
    }  
    str & operator==(str  a) {//二元操作符“==”，参数类型和后者一致
        cout<<"op:形参 str a addr  "<<&a<<"  a.st addr  "<<&(a.st)<<"  a.st point to  "<<(void *)(a.st)<<" a.st content  "<<(a.st)<<endl;
        delete st; 
        set(a.st);
        return *this;
   }  
   str & operator=(str const &  a) {//二元操作符“=”，参数类型和后者一致
   //str & operator=(str  &  a) {//二元操作符“=”，参数类型和后者一致
        cout<<"op:形参 str const & a addr  "<<&a<<"  a.st addr  "<<&(a.st)<<"  a.st point to  "<<(void *)(a.st)<<" a.st content  "<<(a.st)<<endl;
        delete st; 
        set(a.st);
        return *this;
   }  

    void show(){cout<<"show func: "<<st<<endl;} 
    ~str(){
        cout<<"~str:before str addr "<<this<<"  st addr "<<&st<<"  st point to  "<<(void *)(st)<<"  st content "<<st<<endl; 
        delete st;
        //cout<<"~str:after  str addr "<<this<<"  st addr "<<&st<<"  st point to  "<<(void *)(st)<<"  st content "<<st<<endl; 
    }  
    void set(char *s)//初始化st 
    {   
        cout<<"set:before new st addr  "<<&st<<"  st point to  "<<(void *)(st)<<endl;
        st = new char[strlen(s)+1];//先分配空间，否则野指针,+1存"\0"
        cout<<"set:after new st addr  "<<&st<<"  st point to  "<<(void *)(st)<<endl;
        if(st)
        strcpy(st,s); 
    } 
};  

int  main()  
{
    str s1("he"),
    s2("she"); 
    s1.show(),
    s2.show(); 
    //s2=s1;  
    s2==s1;
    s1.show(),
    s2.show();
    return 0;
} 

• 使用str & operator==(str a)重载的输出：

set:before new st addr  0xbfce5374  st point to  0xb785c680
set:after new st addr  0xbfce5374  st point to  0x9bffa10
构造函数：str addr 0xbfce5374  st addr 0xbfce5374  st point to  0x9bffa10  st  he
set:before new st addr  0xbfce5378  st point to  0x804abc4
set:after new st addr  0xbfce5378  st point to  0x9bffa20
构造函数：str addr 0xbfce5378  st addr 0xbfce5378  st point to  0x9bffa20  st  she
show func: he
show func: she
op:形参 str a addr  0xbfce537c  a.st addr  0xbfce537c  a.st point to  0x9bffa10 a.st content  he
set:before new st addr  0xbfce5378  st point to  0x9bffa20
set:after new st addr  0xbfce5378  st point to  0x9bffa20
~str:before str addr 0xbfce537c  st addr 0xbfce537c  st point to  0x9bffa10  st content he
show func: 
show func: he
~str:before str addr 0xbfce5378  st addr 0xbfce5378  st point to  0x9bffa20  st content he
~str:before str addr 0xbfce5374  st addr 0xbfce5374  st point to  0x9bffa10  st content 

注意第二次两行show之前的那句~str:before str addr 0xbfce537c st addr 0xbfce537c st point to 0x9bffa10 st content he

• 使用str & operator=(str const & a)重载,将main中s2==s1;注释掉，使用s2=s1;, 输出：

set:before new st addr  0xbff47b38  st point to  0x804aba0
set:after new st addr  0xbff47b38  st point to  0x9693a10
构造函数：str addr 0xbff47b38  st addr 0xbff47b38  st point to  0x9693a10  st  he
set:before new st addr  0xbff47b3c  st point to  0x8049302
set:after new st addr  0xbff47b3c  st point to  0x9693a20
构造函数：str addr 0xbff47b3c  st addr 0xbff47b3c  st point to  0x9693a20  st  she
show func: he
show func: she
op:形参 str const & a addr  0xbff47b38  a.st addr  0xbff47b38  a.st point to  0x9693a10 a.st content  he
set:before new st addr  0xbff47b3c  st point to  0x9693a20
set:after new st addr  0xbff47b3c  st point to  0x9693a20
show func: he
show func: he
~str:before str addr 0xbff47b3c  st addr 0xbff47b3c  st point to  0x9693a20  st content he
~str:before str addr 0xbff47b38  st addr 0xbff47b38  st point to  0x9693a10  st content he

分析

• 使用str & operator==(str a)重载时，s1的地址为0xbfce5374，a的地址为0xbfce537c,确实是另外创建了新变量a，但是，两者的st均指向同一个地址0x9bffa10
• 使用str & operator=(str const & a)重载时，s1和a的地址均为0xbff47b38
• 两次输出的区别在于使用值传递时，即第一个输出结果多了一句输出：~str:before str addr 0xbfce537c st addr 0xbfce537c st point to 0x9bffa10 st content he

可以看出，主要区别在于,参数类型不是引用时，形参为值传递，默认的复制构造函数就是简单的把成员变量依次赋值，所以str a的st和s1的st指向的同一段内存，函数str & operator==(str a)执行完，自动变量a会销毁，调用析构函数，释放st所指向的内存并设指针为空，所以为null。而使用函数str & operator=(str const & a)，则不会代用析构函数。由于这里未对变量a做修改，所以去掉const不影响，不过最好保留。

关于拷贝

• 对象间赋值(=)是一个拷贝过程
• 浅拷贝
  
  • 实现对象间数据元素的一一对应复制。
• 深拷贝
  
  • 当被复制的对象数据成员是指针类型时，不是复制该指针成员本身，而是将指针所指的对象进行复制。
    系统提供的拷贝(如默认拷贝构造函数等)只能实现浅拷贝，深拷贝必须自定义

作者@brianway更多文章：个人网站 | CSDN | oschina