在构造函数中,如果含有动态内存分配(即用malloc()或者new分配的内存),那么必须声明自己的实现(重新分配一个内存,将被拷贝内存中的数据拷贝过来),不可采用默认的构造函数(默认的是实现位拷贝,机械的将拷贝对象中的指针指向被拷贝对象的内存)。假如不实现自己的拷贝函数,那么在传值调用的时候,它会产生问题。看看下面的例子:
void DoNothing(String localstring)
{
}
String s = "Hello, my house!";
DoNothing(s);
上面的代码看起来好象没有问题,但假如String类没有自己实现构造函数,那么就会出问题。因为被传递的参数localstring是一个值传递,如下图所示,它必须从s通过(缺省)拷贝构造函数进行初始化。由于String类没有自己实现一个拷贝构造函数,默认的拷贝构造函数将被调用。于是localstring拥有了一个s内的指针的拷贝(即localstring这个拷贝对象同样指向了s的内存部分)。当DoNothing()结束运行时,localstring离开了其生存空间,调用析构函数。其结果也将是:s包含一个指向localstring早已删除的内存的指针。
图 默认拷贝构造函数指针复制
顺便指出,用delete去删除一个已经被删除的指针,其结果是不可预测的。所以即使s永远也没被使用,当它离开其生存空间时也会带来问题。
String类的C++实现是一个C++面向对象的典型例子。在很多名企面试中,这个类的实现是经常考到的。那么,它的具体实现是如何的呢?其中的构造函数和赋值函数的实现就是自己实现了内存的分配。
下面就来看看String类是如何实现的:
//String类的声明
class String
{
public:
String(const char *str
= NULL);
String(const String
&other);
~ String(void);
//注意赋值操作符返回的是对象的引用
String & operate
=(const String &other);
private:
char
*m_data;
};
//String类的析构函数,由于不涉及继承关系,所以没用virtual
String::~String(void)
{
delete [] m_data;
}
//String的构造函数
String::String(const char *str)
{
//字符串为空
if(str==NULL)
{
m_data = new char[1];
*m_data = ‘\
}
else
{
int length = strlen(str);
m_data = new char[length+1];
strcpy(m_data, str);
}
}
//拷贝构造函数
String::String(const String &other)
{
int length =
strlen(other.m_data);
m_data = new
char[length+1];
strcpy(m_data,
other.m_data);
}
//赋值运算符
String & String::operate =(const String &other)
{
//防止自我赋值
if(this == &other)
return *this;
//释放原来的内存
delete [] m_data;
//分配新内存,拷贝数据
int length =
strlen(other.m_data);
m_data = new
char[length+1];
strcpy(m_data,
other.m_data);
return *this;
}
Copyright 2011-2020 © MallocFree. All rights reserved.