第十三章类和继承:继承和动态内存分配
提示:这里可以添加系列文章的所有文章的目录,目录需要自己手动添加
继承和动态内存分配
提示:写完文章后,目录可以自动生成,如何生成可参考右边的帮助文档
前言
提示:这里可以添加本文要记录的大概内容:
继承和动态内存分配
提示:以下是本篇文章正文内容,下面案例可供参考
一、继承和动态内存分配
继承是怎样与动态内存分配(使用new和delete)进行互动的呢?例如,如果基类使用动态内存分配,并重新定义赋值和复制构造函数,这将怎样影响派生类的实现呢?这个问题的答案取决于派生类的属性。如果派生类也使用动态内存分配,那么就需要学习几个新的小技巧。下面来看看这两种情况。
13.7.1 第一种情况:派生类不使用new
//Base Class Using DMA
class baseDMA
{
private:
char* label;
int rating;
public:
baseDMA(const char* l = "null",int r = 0)
baseDMA(const baseDMA & rs);
virtual ~baseDMA();
baseDMA& operator=(const baseDMA& rs);
...
}
声明中包含了构造函数使用new 时需要的特殊方法:析构函数、复制构造函数和重载赋值运算符。现在,从baseDMA 派生出lackDMA类,而后者不使用new,也未包含其他一些不常用的、需要特殊处理的设计特性:
//derived class without DMA
class lacksDMA:public baseDMA
{
private:
char color[40];
public:
...
}
是否需要为 lackDMA 类定义显式析构函数、复制构造函数和赋值运算符呢?不需要。首先,来看是否需要析构函数。如果没有定义析构函数,编译器将定义一个不执行任何操作的默认构造函数。实际上,派生类的默认构造函数总是要进行一些操作:执行自身的代码后调用基类析构函数。因为我们假设 lackDMA 成员不需执行任何特殊操作,所以默认析构函数是合适的。
接着来看复制构造函数。第12章介绍过,默认复制构造函数执行成员复制,这对于动态内存分配来说是不合适的,但对于新的lacksDMA成员来说是合适的。因此只需考虑继承的baseDMA对象。要知道,成员复制将根据数据类型采用相应的复制方式,因此,将ong复制到1ong中是通过使用常规赋值完成的;但复制类成员或继承的类组件时,则是使用该类的复制构造函数完成的。所以,lacksDMA类的默认复制构造函数使用显式baseDMA复制构造函数来复制lacksDMA对象的baseDMA部分。因此,默认复制构造函数对于新的lacksDMA成员来说是合适的,同时对于继承的baseDMA对象来说也是合适的。
对于赋值来说,也是如此。类的默认赋值运算符将自动使用基类的赋值运算符来对基类组件进行赋值因此,默认赋值运算符也是合适的。
派生类对象的这些属性也适用于本身是对象的类成员。例如,第10章介绍过,实现 Stock类时,可以使用 string 对象而不是 char 数组来存储公司名称。标准 string 类和本书前面创建的 String 类一样,也采用动态内存分配。现在,读者知道了为何这不会引发问题。Stock的默认复制构造函数将使用string的复制构造函数来复制对象的 company成员;Stock 的默认赋值运算符将使用 string 的赋值运算符给对象的 company成员赋值;而 Stock的析构函数(默认或其他析构函数)将自动调用string的析构函数。
13.7.2 第二种情况:派生类使用new
假设派生类使用了 new:
//derived class with DMA
class hasDMA:public baseDMA
{
private:
char* style;//use new in constructors
public:
...
}
在这种情况下,必须为派生类定义显式析构函数、复制构造函数和赋值运算符。下面依次考虑这些方法。
派生类析构函数自动调用基类的析构函数,故其自身的职责是对派生类构造函数执行工作的进行清理。因此,hasDMA析构函数必须释放指针styie 管理的内存,并依赖于baseDMA 的析构函数来释放指针 labe管理的内存。
baseDMA::~baseDMA()
{
delete[] label;
}
hasDMA::~hasDMA()
{
delete[] style;
}
接下来看复制构造函数。BaseDMA的复制构造函数遵循用于char 数组的常规模式,即使用strlen()来获悉存储 C-风格字符串所需的空间、分配足够的内存(字符数加上存储空字符所需的1字节)并使用函数strcpy()将原始字符串复制到目的地:
baseDMA::baseDMA(const baseDMA & rs)
{
label = new char [std::strlen(rs.label)+1];
std::strcpy(label,rs.label);
rating = rs.rating;
}
享的 baseDMA 数据:
hasDMA 复制构造函数只能访问haSDMA的数据,因此它必须调用baseDMA复制构造函数来处理共
hasDMA::hasDMA(const hasDMA&hs)
:haseDMA(hs);
{
style = new char[std::strlen(hs.style)+1];
std::strcpy(style,hs.style) ;
}
需要注意的一点是,成员初始化列表将一个haSDMA 引用传递给 baseDMA 构造函数。没有参数类型为hasDMA 引用的 baseDMA构造函数,也不需要这样的构造函数。因为复制构造函数baseDMA有一个baseDMA引用参数,而基类引用可以指向派生类型。因此,baseDMA复制构造函数将使用hasDMA参数的 baseDMA 部分来构造新对象的baseDMA 部分。接下来看赋值运算符。BaseDMA赋值运算符遵循下述常规模式:
baseDMA& baseDMA::operator=(const baseDMA & rs)
{
if(this == &rs)
return * this;
delete[] label;
label = new char[std::strlen(rs.label)+1];
std::strcpy(lable,rs.label);
return *this;
}
由于 hasDMA也使用动态内存分配,所以它也需要一个显式赋值运算符。作为hasDMA 的方法,它只能直接访问 hasDMA 的数据。然而,派生类的显式赋值运算符必须负责所有继承的 baseDMA 基类对象的赋值,可以通过显式调用基类赋值运算符来完成这项工作,如下所示:
basDMA& basDMA::operator=(const basDMA & hs)
{
if(this == &hs)
return * this;
baseDMA::operator=(hs);
delete[] style;
style= new char[std::strlen(hs.style)+1];
std::strcpy(style,hs.style);
return *this;
}
下述语句看起来有点奇怪:
baseDMA::operator=(hs);//copy base portion
但通过使用函数表示法,而不是运算符表示法,可以使用作用域解析运算符。实际上,该语句的含义如下:
*this =hs;//use baseDMA::operator=()
当然编译器将忽略注释,所以使用后面的代码时,编译器将使用hasDMA:operator-(),从而形成递归调用。使用函数表示法使得赋值运算符被正确调用。
总结
提示:这里对文章进行总结:
1,当基类和派生类都采用动态内存分配时,派生类的析构函数、复制构造函数、赋值运算符都必须使用相应的基类方法来处理基类元素。这种要求是通过三种不同的方式来满足的。对于析构函数,这是自动完成的;对于构造函数,这是通过在初始化成员列表中调用基类的复制构造函数来完成的:如果不这样做,将自动调用基类的默认构造函数。对于赋值运算符,这是通过使用作用域解析运算符显式地调用基类的赋值运算符来完成的。