码迷,mamicode.com
首页 > 编程语言 > 详细

C++ 类的复制控制

时间:2016-06-28 20:10:17      阅读:199      评论:0      收藏:0      [点我收藏+]

标签:

写了又删,删了又写,才发现这一章节不好描述。

 

那就假定个前提吧,假定已经知道:

① C++的类有构造函数。

② 如果不提供任何构造函数,那编译器会生成默认的无参构造函数--默认构造函数只会进行成员变量的初始化。

③ 如果提供了任何一个构造函数,那编译器就不会再生成默认的无参构造函数。

④ 函数的形参都是实参的副本(引用类型除外)。

⑤ 构造函数也是函数。

⑥ 直接初始化是在括号()中,复制初始化则使用=赋值操作符。

在此基础上,稍作推理

一、如果构造函数是单形参、且形参类型为该类的类型的构造函数。

  以 class Person 为例,

string name="anonymous";
int age=18;
Person p1(name, age);
Person p2(p1); //note this

  根据上面前提的④,p2 需要 p1 的一个副本(复制一个),这时就出现问题了:该怎么复制

  这就是复制构造函数的作用了--用于指明如何复制。

  再推理一下,如果不能使用副本,那还能使用什么?必须是引用啊(不要说指针,囧)!所以复制构造函数就是单形参、且形参类型为该类类型的引用 (常const修饰)的构造函数。

class Person{
    public:
        Person(const Person&); //copy-constructor
        ....
};

  需要说明的是,编译器会自动生成一个默认的复制构造函数,原则就是一一复制成员变量。这里面又存在一个问题,如果存在指针类型的成员变量,那么与其他成员变量不同的是,复制后的指针仍然指向同一个地址!这可能会导致很严重的bug。如下:

技术分享
#include <iostream>
#include <string>

using namespace std;

//注意,有指针成员,但没有自定义复制构造函数。
//这时,其他成员复制时都是副本,而指针成员却指向同一个地址。
class HasPtr{
private:
    int *ptr;
    int val;

public:
    HasPtr(int *p, int i):ptr(p), val(i){}

    int *get_ptr() const { return ptr; }
    void set_ptr(int *p){ ptr=p; }

    int get_int() const { return val; }
    void set_int(int i){ val=i; }
    
    int get_ptr_val() const { return *ptr; }
    void set_ptr_val(int i) const { *ptr = i; } //why not take a ref?
};

int main(){
    int obj=10;

    HasPtr ptr1(&obj, 42);
    HasPtr ptr2(ptr1); // copy-constructor

    cout<<ptr1.get_ptr()<<"--"<<ptr1.get_ptr_val()<<endl;
    cout<<ptr2.get_ptr()<<"--"<<ptr2.get_ptr_val()<<endl;

    ptr1.set_int(3);
    ptr2.set_int(5);

    cout<<ptr1.get_int()<<"--"<<ptr2.get_int()<<endl;

    ptr1.set_ptr_val(7);
    cout<<ptr1.get_ptr()<<"--"<<ptr1.get_ptr_val()<<endl;
    cout<<ptr2.get_ptr()<<"--"<<ptr2.get_ptr_val()<<endl;

    cout<<"-----------"<<endl;

    int *ip=new int(42);
    HasPtr ptr(ip, 2);
    delete ip;
    ptr.set_ptr_val(3);//OOPS! error
    

    return 0;
}
View Code

  上面代码充分说明了有指针类型的成员变量时,类的对象的行为变得诡异。

  此外,还有一个小知识点,虽然数组不能支持复制,但是复制构造函数中却可以一一复制数组的元素,从而做到复制数组。

  

  推理一下,如果将复制构造函数设为private或者explicit会怎样?

 

二、赋值操作

  我们已经知道对于基本类型来说,赋值操作就是将一个副本传递给变量。副本怎么来的?当然是复制出来的,所以这种形式又叫复制初始化。(还是赋值好听)

  那么对于类类型来说,赋值又会怎样表现?

  这里还需要另外一个前提:“赋值”和“=”不是一回事

  对于C++来说,所有的操作符都是定义出来的,就是说,具体的行为是被定义好的!

  同理,对类来说,这些操作符(+-*/等)也是被定义出来的。--定义操作符的函数叫做操作符函数,这个过程叫做重载操作符。

  例如:

int val = 3;  
int val2 = val; // val2接收的是val的副本

  事实上,你完全可以定义自己的操作符函数,例如混乱一点的,将+作为赋值操作~ 只是没有必要罢了。

  这里不再介绍重载操作符了,有兴趣的新人可以查一下相关的资料。

  

  下面重点说一下赋值操作符。

  编译器也会生成默认的赋值操作符,默认执行一一赋值,并返回对左操作数的引用。

  一般来说,可以使用默认复制构造函数的类,也可以使用默认赋值操作符

 

  对于类类型对象来说,直接初始化直接调用相应的构造函数;而复制初始化则先调用相应构造函数构造一个临时对象,再调用复制构造函数将临时对象复制到正在创建的对象。

  如下:

string s1="abc"; //先是string tmp(const char*); 再s1(&tmp);
string s2=string(); //string()已经是string对象,所以直接调用s2(&string())

  注意上面的代码,tmp 是临时对象,s1(&tmp) 则是调用复制构造函数!

  

三、所有对象都是有生命周期的,一般生命周期仅限于其作用域范围内---手动释放的除外。

  C++能够指定当一个对象走向死亡的时候所进行的操作,这就是析构函数。--这个名字如果看英文就知道,和构造函数是相反的,constructor - destructor,一个创建,一个拆毁。

  所以,顾名思义,析构函数应该是定义了如何销毁成员变量,虽然还可以定义其他的操作(如释放资源),但那不是我们关注的重点。

  

  编译器总是会生成一个默认的析构函数,以成员变量声明顺序的逆序进行销毁,销毁每一个非static成员。

  且,总是最后调用默认的析构函数。哪怕已经调用过自定义的析构函数!

  需要注意的是,对于类的对象来说,①当超出作用域时,系统会自动调用析构函数。②当主动释放内存时,也会自动调用析构函数。

  这点对于Javaer来说就是一个坑,极容易被带入坑中。例如 :

Person *p=new Person; // no ()
{
    Person p2(*p);
    delete p;
}

  上面,超出花括号时,系统就会自动调用p2的析构函数,销毁p2! -- 注意,引用和指针不会。

  另外,撤销一个容器(包括数组)时,也会一一调用其元素的析构函数,从最后一个开始撤销。

  默认的析构函数并不会删除指针类型成员所指向的对象!

 

 

一个规则:如果类需要析构函数,则它也需要赋值操作符和复制构造函数!

 

C++ 类的复制控制

标签:

原文地址:http://www.cnblogs.com/larryzeal/p/5624695.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!