]]>
原因关键在于效率。Strousstrup说过Q很l典Q呵呵）(j)QC++的指导原则之一是，不要Z使用的特性付ZP内存或处理时_(d)(j)?br />
因ؓ(f)通常情况下，~译器处理虚函数的方法ؓ(f)Q给每个对象d一个隐藏成员，该成员(sh)保存?sh)(jin)一个指向函数地址数组的指针（UCؓ(f)虚函数表 virtual function table,vtblQ。虚函数表中存储?jin)?f)cd象进行声明的虚函数的地址。例如，基类包含一个指针，指向?jin)基cM所有虚函数的地址表，zcd象将包含一个指向独立地址表的指针Q如果派生类提供?jin)虚函数的新定义Q该虚函数表保存新函数的地址Q如果没有重新定义，则保留原始版本的地址。调用虚函数ӞE序查看存储在对象中的vtbl地址Q然后{向相应的函数地址表?br />
所以显而易见的是，使用虚函数时Q在内存和执行速度斚w有一定的额外成本Q包括：(x)
每个对象都将增大Q增大量为存储地址的空_(d)Ҏ(gu)个类Q编译器都创Z个虚函数地址表（数组Q；每个函数调用都需要执行一步额外的操作Q即到表中查扑֜址?br />
所以咱们要L的习(fn)惯是Q在设计cLQ可能包含一些不在派生类重新定义的成员函敎ͼ那么q些函数׃要设|ؓ(f)虚函数。这样首先会(x)有更好的效率Q其ơ被声明函数的成员函数就表明是预期在zcM?x)被重新定义的，在阅M码时也将比较方便?img src ="http://www.shnenglu.com/firehutter/aggbug/15785.html" width = "1" height = "1" />
]]>
ostream (tng)& (tng)operator (tng)<< (tng)(ostream (tng)& (tng)os,const (tng)c_name (tng)& (tng)obj)
{
os (tng)<< (tng);// (tng)display (tng)object (tng)contentsreturn (tng)os;
}其中c_name是类名。如果该cL供了(jin)能够q回所需内容的公有方法，则可在操作符函数中用这些方法，q样便不?x)将他们讄为友元函C(jin)?br />
要将单个D{换ؓ(f)cȝ型，需要创建原型如下所C的cL造函敎ͼ(x)
c_name(type_name (tng)value);其中c_name为类名，type_name是要转换的类型的名称?br />要将c{换ؓ(f)其他cdQ需要创建原型如下所C的cL员函敎ͼ(x)
operator (tng)type_name();虽然该函数没有声明返回类型，但应q回所需cd的倹{?br />使用转换函数时要心(j)。可以在声明构造函数时使用关键字explicitQ以防止它被用于隐式转换?br />
如果cM用new操作W来分配cL员指向的内存Q在设计时应采取一些预防措施?
- 对于指向的内存是由new分配的所有类成员Q都应在cȝ析构函数中对其用deleteQ该操作W将释放分配的内存?
- 如果析构函数通过Ҏ(gu)针类成员?sh)用delete来释攑ֆ存，则每个构造函数都应当使用new来初始化指针Q或它讄为空指针?
- 构造函C要么使用new[]Q要么用newQ而不能用。如果构造函C用的是new[]Q则析构函数应用delete[]Q如果构造函C用的是newQ则析构函数应适用delete?
- 应定义一个分配内存（而不是将指针指向已有内存Q的复制构造函数。这L(fng)序能够将cd象初始化为另一个对象。这U构造函数原型如下：(x)
className(const (tng)className (tng)&)
- 应定义一个重载赋值操作符的类成员函数Q其函数定义如下Q其中c_pointer是c_name的类成员Q类型ؓ(f)指向type_name的指针）(j)。下面的范例假设使用new[]来初始化变量c_pointerQ：(x)
c_name (tng)& (tng)c_name::operator (tng)= (tng)(const (tng)c_name (tng)& (tng)cn){if (tng)(this (tng)== (tng)& (tng)cn)return (tng)*this;delete (tng)[] (tng)c_pointer;// (tng)set (tng)size (tng)number (tng)of (tng)type_name (tng)units (tng)to (tng)be (tng)copyiedc_pointer (tng)= (tng)new (tng)type_name[size];// (tng)then (tng)copy (tng)data (tng)pointed (tng)to (tng)by (tng)cn.c_pointer (tng)to// (tng)location (tng)pointed (tng)to (tng)by (tng)c_pointerreturn (tng)*this;}
本文Ҏ(gu)前面几篇随笔中提到的问题?sh)作Z(jin)一个ȝQ感觉很有必要记下来?br />以上内容原文引用自参考书c中内容?br />
参考书c：(x)C++PrimerPlus author:Stephen Prata
]]>
class
(tng)StringBad
{ (tng) (tng) (tng) (tng)
private
: (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)
char
(tng)
*
(tng)str; (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)
int
(tng)len; (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)
public
: (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)StringBad(
const
(tng)
char
(tng)
*
(tng)s); (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)StringBad(); (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)
~
StringBad(); (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)}
;
在构造函数和析构函数定义当中有如下定义：(x)
StringBad::StringBad(
const
(tng)
char
(tng)
*
(tng)s)
{ (tng) (tng) (tng) (tng)len (tng)
=
(tng)std::strlen(s); (tng) (tng) (tng) (tng)str (tng)
=
(tng)
new
(tng)
char
(tng)[len (tng)
+
(tng)
1
]; (tng) (tng) (tng) (tng)}
(tng)StringBad::StringBad()
{ (tng) (tng) (tng) (tng)len (tng)
=
(tng)
4
(tng); (tng) (tng) (tng) (tng)str (tng)
=
(tng)
new
(tng)
char
[
4
]; (tng) (tng) (tng) (tng)}
(tng)StringBad::
~
StringBad()
{ (tng) (tng) (tng) (tng) (tng) (tng) (tng) (tng)delete (tng)[] (tng)str;}
那么在程序当中如果有以下代码Q?/p>
StringBad (tng)sports(
"
Spinach (tng)Leaves (tng)Bow1 (tng)for (tng)bollars
"
);StringBad (tng)sailor (tng)
=
(tng)sports;
以上的第二条初始化语句将?x)调用什么构造函敎ͼCQ这UŞ式的初始化等效于下面的语句：(x)
StringBad (tng)sailor (tng)
=
(tng)StringBad(sports);
因ؓ(f)sports的类型ؓ(f)StringBadQ因此相应的构造函数原型应该如下：(x)
StringBad(
const
(tng)StringBad (tng)
&
);
当我们用一个对象来初始化另一个对象时Q编译器自动生成上q构造函敎ͼUCؓ(f)复制构造函敎ͼ因ؓ(f)它创建对象的一个副本）(j)?br />现在我们不妨ȝ一下所谓的隐式成员函数Q即C++自动提供?jin)以下这些成员函敎ͼ?x)
- 默认构造函敎ͼ如果没有定义构造函数?
- 复制构造函敎ͼ如果没有定义?
- 赋值操作符Q如果没有定义?
- 默认析构函数Q如果没有定义?
- 地址操作W，如果没有定义?
现在我们来看看我们没有定义复制构造函数的情况下调用隐式复制构造函数将?x)出C么情c(din)?br />从构造函数定义的代码片断可以看到Q当中用new操作W初始化?jin)一个指针strQ而隐式的复制构造函数是按D行复制的Q那么对于指针strQ将?x)进行如下复Ӟ?x)
sailor.str (tng)
=
(tng)sports.str;
q里复制的不是字W串Q而是一个指向字W串的指针！也就是说Q我们将得到两个指向同一个字W串的指针！由此?x)生的问题不a而喻。当其中一个对象调用了(jin)析构函数之后Q其str指向的内存将被释放，q个时候我们如果调用另一个对象，其str指向的地址数据?x)是什么？很明昑ְ?x)出C可预料的l果?/p>
所以由此可见，如果cM包含?jin)用new初始化的指针成员Q应当定义一个复制构造函敎ͼ以复制指向的数据Q而不是指针，q被UCؓ(f)深度复制。因为默认的复Ӟ或成为成员复Ӟ(j)仅浅的赋值指针信息?/strong>
我们再看以下代码片断Q我们稍做修改：(x)
StringBad (tng)headline1(
"
Celery (tng)Stalks (tng)at (tng)Midnight
"
);StringBad (tng)knot;knot (tng)
=
(tng)headline1;
q里的最后一行将与以上例子有所区别Q现在是已有对象赋l另一个已有对象，q将?x)采取其他操作，即用重载的赋值操作符。（我们需要知道的是：(x)初始化L?x)调用复制构造函敎ͼ而?操作W时也可能调用赋值操作符Q因为C++允许对象赋|q是通过自动为类重蝲赋值操作符实现的。其原型如下Q?/p>
Class_name (tng)
&
(tng)Class_name::
operator
(tng)
=
(tng)(
const
(tng)Class_name (tng)
&
);
它接受ƈq回一个指向类对象的引用?br />与隐式的复制构造函CP隐式的对象赋值操作符也会(x)产生同样的问题，卛_含了(jin)使用new初始化的指针成员Ӟ只会(x)采用复制。所以我们需要用同L(fng)解决办法Q?strong>卛_义一个重载的赋值操作符来实现深度复制?/strong>
所以综上所qͼ如果cM包含?jin)用new初始化的指针成员Q我们应该显式定义一个复制构造函数和一个重载的赋值操作符来实现其深度复制Q避免由此带来的成员复制问题
参考书c：(x)C++PrimerPlus author:Stephen Prata
]]>
]]>