面向对象编程的主要目的之一是提供可重用的代码。(重用经过测试的代码比重新编写代码要好的多)
C++类提供了更高层次的重用性。很多厂商提供了类库,类组合了数据表示和类方法,因此提供了比函数库更加完整的程序包。通常类库是以源代码的方式提供的,这意味着可以对其进行修改。而且C++也提供了比修改源代码更好的方法来扩展和修改类——类继承,它能从已有的类派生出新的类,而派生类继承了原有类(称为基类)的特征,包括方法
可以通过继承完成一些工作
从一个类派生出另一个类时,原始类称为基类,继承类称为派生类。为说明继承,首先需要一个基类
设计一个TableTennisPlayer类
tabtenn0.h
#ifndef TABTENN0_H_
#define TABTENN0_H_
#include
using std::string;
class TableTennisPlayer
{
private:
string firstname;
string lastname;
bool hasTable;
public:
TableTennisPlayer(const string& fn = "none", const string& ln = "none", bool ht = false);
void Name() const;
bool HasTable() const { return hasTable; };
void ResetTable(bool v) { hasTable = v; };
};
#endif // !TABTENN0_H_
tabenn0.cpp
#include
#include"tabtenn0.h"
//成员初始化列表方式
TableTennisPlayer::TableTennisPlayer(const string & fn,const string &ln,bool ht)
:firstname(fn),lastname(ln),hasTable(ht){}
//也可以这样写
//TableTennisPlayer::TableTennisPlayer(const string& fn, const string& ln, bool ht)
//{
// firstname = fn;
// lastname = ln;
// hasTable = ht;
//}
void TableTennisPlayer::Name()const
{
std::cout << lastname << ", " << firstname;
}
usett0.cpp
#include
#include"tabtenn0.h"
int main()
{
using std::cout;
TableTennisPlayer player1("Chuck", "Blizzard", true);
TableTennisPlayer player2("Trar", "Boomdea", false);
player1.Name();
if (player1.HasTable())
{
cout << ": has a table.\n";
}
else
cout << ": hasn't a table.\n";
player2.Name();
if (player2.HasTable())
{
cout << ": has a table.\n";
}
else
cout << ": hasn't a table.\n";
return 0;
}
输出
现在假设需要一个这样的类,它记录运动员在比赛中的比分。与其从零开始,不如从TableTennisPlayer类中派生出一个类。
首先将RatedPlayer类声明为从TableTennisPlayer类派生而来:
class RatedPlayer : public TableTennisPlayer
{
...
};
冒号指出RatedPlayer类的基类是 TableTennisPlayer类。
上述特殊的声明头表明TableTennisPlayer是一个公有基类,这被称为公有派生(public)。派生类对象包含基类对象。使用公有派生,基类的公有成员将成为派生类的公有成员;基类的私有成员也将成为派生类的一部分,但只能通过基类的公有和保护方法访问
RatedPlayer对象将具有以下特征:
需要在继承特性中添加什么呢?
在这个例子中,派生类需要另一个数据成员来存储比分,还应包含检索比分的方法和重置比分的方法。
class RatedPlayer :public TableTennisPlayer
{
private:
unsigned int rating; //add a data member
public:
RatedPlayer(unsigned int r = 0, const string& fn = "none", const string& ln = "none", bool ht = false);
RatedPlayer(unsigned int, const TableTennisPlayer& tp);
unsigned int Rating() const { return rating; } //add a method
void ResetRating(unsigned int r) { rating = r; } //add a method
};
构造函数必须给新成员(如果有的话)和继承的成员提供数据。在第一个RatedPlayer构造函数中,每个成员对应一个形参;而第二个RatedPlayer构造函数使用一个TableTennisPlayer参数,该参数包括firstname、lastname和hasTable。
派生类不能直接访问基类的私有成员,而必须通过基类方法进行访问。例如RatedPlayer构造函数不能直接设置继承的成员(firstname、lastname、hasTable),而必须使用基类的公有方法来访问私有的基类成员。具体地说,派生类构造函数必须使用基类构造函数
创建派生类对象时,程序首先创建基类对象。这意味着基类对象应当在程序进入派生类构造函数之前被创建。C++使用成员初始化列表语法来完成这种工作,如
RatedPlayer::RatedPlayer(unsigned int r, const string& fn, const string& ln, bool ht) :TableTennisPlayer(fn, ln, ht)
{
rating = r;
}
其中:TableTennisPlayer(fn,ln,ht)是成员初始化列表。它是可执行的代码,调用TableTennisPlayer构造函数
假设程序包含如下声明:
: TableTennisPlayer(fn,ln,ht)
则RatedPlayer构造函数将把实参“mally","Duck",和true赋给形参fn、ln、ht,然后将这些参数作为实参传递给TableTennisPlayer构造函数,后者将创建一个嵌套TableTennisPlayer对象,并将数据“mally","Duck",和true存储在该对象中。然后程序进入RatedPlayer构造函数体,完成RatedPlayer对象的创建,并将参数r的值赋给rating成员
如果省略成员初始化列表,情况将会如何?
RatedPlayer::RatedPlayer(unsigned int r, const string& fn, const string& ln, bool ht)
{
rating = r;
}
必须首先创建基类对象,如果不调用基类构造函数,程序将使用默认的基类构造函数,因此上述代码和下面等效:
RatedPlayer::RatedPlayer(unsigned int r, const string& fn, const string& ln, bool ht) :TableTennisPlayer()
{
rating = r;
}
除非要使用默认构造函数,否则应显式调用正确的基类构造函数
下面来看第二个构造函数的代码:
RatedPlayer::RatedPlayer(unsigned int r, const TableTennisPlayer& tp) :TableTennisPlayer(tp)
{
rating = r;
}
这里也将TableTennisPlayer的信息传递给了TableTennisPlayer构造函数:
TableTennisPlayer(tp)
由于tp的类型为TableTennisPlayer&,因此将调用基类的复制构造函数。基类没有定义复制构造函数,所以编译器将自动生成一个,
也可以对派生类成员使用成员初始化列表语法
RatedPlayer::RatedPlayer(unsigned int r, const TableTennisPlayer& tp) :TableTennisPlayer(tp),rating(r)
{
}
有关派生类构造函数的要点如下:
释放对象的顺序与创建对象的顺序相反,即首先执行派生类的析构函数,然后自动调用基类的析构函数
注意:创建派生类对象时,程序首先调用基类构造函数,然后再调用派生类构造函数。基类构造函数负责初始化继承的数据成员;派生类构造函数主要用于初始化新增的数据成员。派生类的构造函数总是调用一个基类构造函数。可以使用初始化列表语法指明要使用的基类构造函数,否则将使用默认的基类构造函数
派生类对象过期时,程序将首先调用派生类析构函数,然后再调用基类构造函数
要使用派生类,程序必须要能够访问基类声明。故将这两种类的声明置于同一个头文件中
tabtenn1.h
#ifndef TABTENN1_H_
#define TABTENN1_H_
#include
using std::string;
class TableTennisPlayer
{
private:
string firstname;
string lastname;
bool hasTable;
public:
TableTennisPlayer(const string& fn = "none", const string& ln = "none", bool ht = false);
void Name()const;
bool HasTable() const { return hasTable; };
void ResetTable(bool v) { hasTable = v; };
};
class RatedPlayer :public TableTennisPlayer
{
private:
unsigned int rating;
public:
RatedPlayer(unsigned int r = 0, const string& fn = "none", const string& ln = "none", bool ht = false);
RatedPlayer(unsigned int r, const TableTennisPlayer& tp);
unsigned int Rating() const { return rating; }
void ResetRating(unsigned int r) { rating = r; }
};
#endif // !TABTENN1_H_
tabtenn1.cpp
#include
#include"tabtenn1.h"
TableTennisPlayer::TableTennisPlayer(const string &fn,const string &ln,bool ht)
:firstname(fn),lastname(ln),hasTable(ht){}
void TableTennisPlayer::Name() const
{
std::cout << lastname << ", " << firstname;
}
//RatedPlayer methods
RatedPlayer::RatedPlayer(unsigned int r, const string& fn, const string& ln, bool ht) :TableTennisPlayer(fn, ln, ht)
{
rating = r;
}
RatedPlayer::RatedPlayer(unsigned int r, const TableTennisPlayer& tp)
:TableTennisPlayer(tp), rating(r)
{
}
usett1.cpp
#include
#include"tabtenn1.h"
int main()
{
using std::cout;
using std::endl;
TableTennisPlayer player1("Tara", "Boomdea", false);
RatedPlayer rplayer1(1140, "Mallory", "Duck", true);
rplayer1.Name(); //derived object use base method
if (rplayer1.HasTable())
{
cout << ": has a table.\n";
}
else
{
cout << ": hasn't a table.\n";
}
player1.Name(); //base object uses base method
if (player1.HasTable())
{
cout << ": has a table.\n";
}
else
{
cout << ": has't a table.\n";
}
cout << "Name: ";
rplayer1.Name();
cout << "; Rating: " << rplayer1.Rating() << endl;
RatedPlayer rplayer2(1212, player1);
cout << "Name: ";
rplayer2.Name();
cout << "; Rating: " << rplayer2.Rating() << endl;
return 0;
}
派生类于基类之间有一些特殊关系。
之一是派生类对象可以使用基类的方法,条件是方法不是私有的:
RatedPlayer rplayer1(1140,"Mallory","Duck",true);
rplayer1.Name();
另外两个重要的关系是:基类指针可以在不进行显式类型转换的情况下指向派生类对象;基类引用可以在不进行显式类型转换的情况下引用派生类对象
RatedPlayer rplayer1(1140, "Mallory", "Duck", true);
TableTennisPlayer& rt = rplayer1;
TableTennisPlayer* pt = &rplayer1;
rt.Name(); //invoke Name() with reference
pt->Name(); //invoke Name() wither pointer
但是基类指针或引用只能调用基类方法
通常C++要求引用和指针类型与赋给的类型匹配,但这一规则对继承来说是例外,只是这种例外是单向的,不可以将基类对象和地址赋给派生类引用和指针:
TableTennisPlayer player("Betsy", "Bloop", true);
RatedPlayer& rr = player; //NOT ALLOWED
RatedPlayer* pr = &player; //NOT ALLOWED
C++有3种继承方式:公有继承、保护继承、和私有继承。公有继承是最常用的方式,它建立一种is-a关系,即派生类对象也是一个基类对象,可以对基类对象执行的任何操作也可以对派生类对象执行。
前面示例的RatedPlayer继承很简单。派生类对象使用基类的方法而未做任何修改。实际上可能会遇到这样的情况,即希望同一个方法在派生类和基类中的行为是不同的。换句话说,方法的行为应取决于调用该方法的对象。这种较复杂的方法称为多态——具有多种形态,即同一个方法的行为随上下文而异。有两种重要的机制可用于实现多态公有继承
现在来看另外一个例子,一个类用于表示基本支票账户——Brass Account,另外一个用于表示Brass Plus Account 账户,它添加了透支保护特性。
Brass的信息和可执行的操作
Brass Plus包含Brass的所有信息以及还包括了
不需要新增操作,但有两种操作的实现不同
BrassPlus 账户限制了客户的透支款额。默认为500元,但有些客户的限额可能不同;银行可以修改客户的透支限额;BrassPlus账户对贷款收取利息,默认为11.125%,但有些客户的利率可能不一样;银行可以修改客户的利率
brass.h
#ifndef BRASS_H_
#define BRASS_H_
#include
class Brass
{
private:
std::string fullName;
long acctNum;
double balance;
public:
Brass(const std::string& s = "Nullbody", long an = -1, double bal = 0.0);
void Deposit(double amt);
virtual void Withdraw(double amt);
double Balance() const;
virtual void ViewAcct() const;
virtual ~Brass() {};
};
class BrassPlus :public Brass
{
private:
double maxLoan;
double rate;
double owesBank;
public:
BrassPlus(const std::string& s = "Nullbody", long an = -1, double bal = 0.0, double ml = 500, double r = 0.11125);
BrassPlus(const Brass& ba, double ml = 500, double r = 0.11125);
virtual void ViewAcct() const;
virtual void Withdraw(double amt);
void ResetMax(double m) { maxLoan = m; }
void ResetRate(double r) { rate = r; }
void ResetOwes() { owesBank = 0; }
};
#endif
对上面提到的四点进行解释
第一点:派生类在基类的基础上新增加了数据成员和方法
第二点:介绍了声明如何指出方法在派生类的行为的不同。两个ViewAcct()原型表明将有两个独立的方法定义。基类的限定名为Brass::ViewAcct(),派生类版本的限定名为BrassPlus::ViewAcct(),程序将使用对象类型来确定使用哪个版本:
Brass dom("Dominic Banker", 11224, 4183.45);
BrassPlus dot("Dorothy Banker", 12118, 2529.00);
dom.ViewAcct(); //use Brass::ViewAcct()
dot.ViewAcct(); //use BrassPlus::ViewAcct()
对于在两个类中行为相同的方法,则只在基类中声明。
第三点:(使用virtual)。如果方法是通过引用或指针而不是对象调用,它将决定使用哪一种方法。如果没有使用关键字virtual,程序将根据引用类型或指针类型选择方法;如果使用了virtual,程序将根据指针或引用指向的对象的类型来选择方法。
如果ViewAcct()不是虚的,则
Brass dom("Dominic Banker", 11224, 4183.45);
BrassPlus dot("Dorothy Banker", 12118, 2529.00);
Brass& b1_ref = dom;
Brass& b2_ref = dot;
b1_ref.ViewAcct(); //use Brass::ViewAcct()
b2_ref.ViewAcct(); //use Brass::ViewAcct()
如果ViewAcct()是虚函数,则
Brass dom("Dominic Banker", 11224, 4183.45);
BrassPlus dot("Dorothy Banker", 12118, 2529.00);
Brass& b1_ref = dom;
Brass& b2_ref = dot;
b1_ref.ViewAcct(); //use Brass::ViewAcct()
b2_ref.ViewAcct(); //use BrassPlus::ViewAcct()
经常在基类中将派生类会重新定义的方法声明为虚方法。方法在基类中被声明为虚方法后,它在派生类中将自动成为虚方法
第四点:基类声明了一个虚析构函数。这样做是为了确保释放派生类对象时,按正确的顺序调用析构函数
注意:如果要在派生类中重新定义基类的方法,通常应将基类方法声明为虚的。这样程序将根据对象类型而不是引用或指针的类型来选择方法。为基类声明一个虚析构函数也是一种惯例
brass.cpp
#include
#include"brass.h"
using std::cout;
using std::endl;
using std::string;
Brass::Brass(const string& s, long an, double bal)
{
fullName = s;
acctNum = an;
balance = bal;
}
void Brass::Deposit(double amt)
{
if (amt < 0)
{
cout << "Neagtive deposit not allowed; "
<< "deposit is cancelled.\n";
}
else
{
balance += amt;
}
}
void Brass::Withdraw(double amt)
{
if (amt < 0)
{
cout << "Withdraw amount must be positive; "
<< "Withdraw canceled.\n";
}
else if (amt <= balance)
{
balance -= amt;
}
else
{
cout << " Withdrawal amount of $" << amt
<< " exceeds your balance.\n"
<< " withdraw canceled.\n";
}
}
double Brass::Balance() const
{
return balance;
}
void Brass::ViewAcct() const
{
cout << "Client: " << fullName << endl;
cout << "Account Number: " << acctNum << endl;
cout << "Balance: $" << balance << endl;
}
//BrassPlus Methods
BrassPlus::BrassPlus(const string& s, long an, double bal, double ml, double r) :Brass(s, an, bal)
{
maxLoan = ml;
rate = r;
owesBank = 0.0;
}
BrassPlus::BrassPlus(const Brass& ba, double ml, double r) :Brass(ba)
{
maxLoan = ml;
owesBank = 0.0;
rate = r;
}
void BrassPlus::ViewAcct() const
{
Brass::ViewAcct();//display base portion
cout << "Maximum loan: $" << maxLoan << endl;
cout << "Owed to bank: $" << owesBank << endl;
cout << "Loan Rate: " << 100 * rate << "%\n";
}
void BrassPlus::Withdraw(double amt)
{
double bal = Balance();
if (amt <= bal)
{
Brass::Withdraw(amt);
}
else if (amt <= bal + maxLoan - owesBank)
{
double advance = amt - bal;
owesBank += advance * (1.0 + rate);
cout << "Bank advance: $" << advance << endl;
cout << "Finance charge: $" << advance * rate << endl;
Deposit(advance);
Brass::Withdraw(amt);
}
else
{
cout << "Credit limit exceeded.Transaction cancelled.\n";
}
}
派生类不能直接访问基类的私有数据,而必须使用基类的公有方法才能访问这些数据
#include
#include"brass.h"
int main()
{
using std::endl;
using std::cout;
Brass Piggy("Porcelot Pigg", 381299, 4000.00);
BrassPlus Hoggy("Horatio Hogg", 382288, 3000.00);
Piggy.ViewAcct();
cout << endl;
Hoggy.ViewAcct();
cout << endl;
cout << "Depositing $1000 into Hoggy Account:\n";
Hoggy.Deposit(1000.00);
cout << "New balance: $" << Hoggy.Balance() << endl;
cout << "Withdrawing $4200 from the Piggy Account:\n";
Piggy.Withdraw(4200.00);
cout << "Piggy account balance: $" << Piggy.Balance() << endl;
cout << "Withdrawing $4200 from the Hoggy Account:\n";
Hoggy.Withdraw(4200.00);
Hoggy.ViewAcct();
return 0;
}
如果析构函数不是虚的,则将只调用对应于指针类型的析构函数。如果析构函数是虚的,将调用相应对象类型的析构函数。因此如果指针指向的是BrassPlus对象,将调用BrassPlus的析构函数,然后自动调用基类的析构函数。因此虚析构函数可以确保正确的析构函数序列被调用
构造函数不能是虚函数
析构函数应当是虚函数,除非类不用做基类。(给类定义一个虚析构函数并非错误,即使这个类不用做基类,这只是一个效率问题)
友元不能是虚函数,因为友元不是类成员,而只有成员才能是虚函数
如果派生类没有重新定义函数,将使用该函数的基类版本。如果派生类位于派生链中,则将使用最新的虚函数版本
前面已经有了关键字public和private来控制对类成员的访问,还存在另外一个访问类别,用关键字protected表示。关键字protected与private相似,在类外只能用公有类成员来访问protected部分中的类成员函数。private和protected之间的区别只有在基类派生的类中才会表现出来。派生类的成员可以直接访问基类中的保护成员,但不能直接访问基类中的私有成员;
因此对外部世界来说,保护成员的行为与私有成员相似;但对于派生类来说,保护成员的行为与公有成员相似。
抽象基类(abstract base class,ABC)。就是从近似的类中抽象出它们的共性,将这些特性放到一个ABC中。比如从Ellipse和Circle类中抽象出一个ABC,然后从该ABC派生出Circle和Ellipse类,这样便可以使用基类指针数组同时管理Circle和Ellipse对象(即可以使用多态方法)
纯虚函数声名的结尾处为=0;当类声明中包含纯虚函数时,则不能创建该类的对象。包含纯虚函数的类只用作基类,要成为真正的ABC,必须至少包含一个纯虚函数。原型中的=0使虚函数成为纯虚函数。
应用ABC概念(仍然是举一个例子)
将ABC用于Brass和BrassPlus账户,首先定义一个名为AcctABC的ABC。这个类包含Brass和BrassPlus类共有的所有方法和数据成员,而那些在Brass Plus和Brass类中的行为不同的方法应被声明为虚函数,至少应该有一个虚函数是纯虚函数,这样才能使AcctABC 成为抽象类
acctabc.h
#ifndef ACCTABC_H_
#define ACCTABC_H_
#include
#include
//Abstract base class
class AcctABC
{
private:
std::string fullName;
long acctNum;
double balance;
protected:
const std::string& FullName() const { return fullName; }
long AcctNum() const { return acctNum; }
public:
AcctABC(const std::string& s = "Nullbody", long an = -1, double bal = 0.0);
void Deposit(double amt);
virtual void Withdraw(double amt) = 0; //pure virtual function
double Balance() const { return balance; };
virtual void ViewAcct()const = 0; //pure virtual function
virtual ~AcctABC() {}
};
class Brass :public AcctABC
{
public:
Brass(const std::string &s="Nullbody",long an=-1,double bal=0.0):AcctABC(s,an,bal){}
virtual void Withdraw(double amt);
virtual void ViewAcct() const;
virtual ~Brass() {}
};
class BrassPlus :public AcctABC
{
private:
double maxLoan;
double rate;
double owesBank;
public:
BrassPlus(const std::string& s = "Nullbody", long an = -1, double bal = 0.0, double ml = 500, double r = 0.10);
BrassPlus(const Brass& ba, double ml = 500, double r = 0.1);
virtual void ViewAcct() const;
virtual void Withdraw(double amt);
void ResetMax(double m) { maxLoan = m; }
void ResetRate(double r) { rate = r; }
void ResetOwes() { owesBank = 0; }
};
#endif
acctABC.cpp
#include
#include"acctabc.h"
using std::cout;
using std::endl;
using std::string;
//Abstract Base Class
AcctABC::AcctABC(const string& s, long an, double bal)
{
fullName = s;
acctNum = an;
balance = bal;
}
void AcctABC::Deposit(double amt)
{
if (amt < 0)
{
cout << "Negative deposit not allowed; deposit is cancelled.\n";
}
else
balance += amt;
}
void AcctABC::Withdraw(double amt)
{
balance -= amt;
}
//Brass methods
void AcctABC::Withdraw(double amt)
{
if (amt < 0)
{
cout << "Withdrawal amount must be positive; withdrawal canceled.\n";
}
else if (amt <= Balance())
{
AcctABC::Withdraw(amt);
}
else
{
cout << "Withdrawal amount of $" << amt << " exceeds your balance.Withdrawal canceled.\n";
}
}
void Brass::ViewAcct()const
{
cout << "Brass Client: " << FullName() << endl;
cout << "Account Number: " << AcctNum() << endl;
cout << "Balance: $" << Balance() << endl;
}
//BrassPlus methods
BrassPlus::BrassPlus(const string& s, long an, double bal, double ml, double r) :AcctABC(s, an, bal)
{
maxLoan = ml;
rate = r;
owesBank = 0.0;
}
BrassPlus::BrassPlus(const Brass& ba, double ml, double r) :AcctABC(ba)
{
maxLoan = ml;
owesBank = 0.0;
rate = r;
}
void BrassPlus::ViewAcct()const
{
cout << "BrassPlus Client: " << FullName() << endl;
cout << "Account Number: " << AcctNum() << endl;
cout << "Balance: $" << Balance() << endl;
cout << "Maximum loan: $" << maxLoan << endl;
cout << "Owed to bank: $" << owesBank << endl;
cout << "Loan Rate: " << 100 * rate << "%\n";
}
void BrassPlus::Withdraw(double amt)
{
double bal = Balance();
if (amt <= bal)
{
AcctABC::Withdraw(amt);
}
else if (amt <= bal + maxLoan - owesBank)
{
double advance = amt - bal;
owesBank += advance * (1.0 + rate);
cout << "Bank advance: $" << advance << endl;
cout << "Finance charge: $" << advance * rate << endl;
Deposit(advance);
AcctABC::Withdraw(amt);
}
else
{
cout << "Credit limit exceeded. Transaction cancelled.\n";
}
}
编译器会自动生成一些公有成员函数——特殊成员函数。
1、默认构造函数
默认构造函数要么没有参数,要么所有的参数都有默认值。如果没有定义任何构造函数,编译器将定义默认构造函数,使程序能够创建对象
自动生成的默认构造函数的另一项功能是,调用基类的默认构造函数以及调用本身是对象的成员所属类的默认构造函数
另外如果派生类构造函数的成员初始化列表中没有显式调用基类构造函数,则编译器将使用基类的默认构造函数来构造派生类对象的基类部分,在这种情况下,如果基类没有构造函数,将导致编译阶段错误。
如果定义了某种构造函数,则编译器将不会定义默认构造函数。在这种情况下,如果需要默认构造函数,则必须自己提供
提供构造函数的动机之一是确保对象总能被正确地初始化
2、复制构造函数
复制构造函数接受其所属类的对象作为参数
在下述情况下,将使用复制构造函数:
3、赋值运算符
默认的赋值运算符用于处理同类对象之间的赋值。不要将赋值与初始化混淆了。
如果语句创建新的对象,则使用初始化;如果语句修改已有对象的值,则是赋值;
定义类时,还需要注意其他几点
1、构造函数
构造函数不同于其他类方法,因为它创建新的对象,而其他类的方法只是被现有的对象调用。这是构造函数不被继承的原因之一。继承意味着派生类对象可以使用基类的方法,然而构造函数在完成其工作内容之前,对象并不存在。
2、析构函数
一定要定义显式析构函数来释放类构造函数使用new分配的所有内存,并完成类对象所需的任何特殊的清理工作。对于基类,即使它不需要析构函数,也应提供一个虚析构函数
3、转换
使用一个参数就可以调用的构造函数定义了从参数类型到类类型的转换
在带一个参数的构造函数原型中使用explicit将禁止进行隐式转换,但仍允许显式转换
4、按值传递对象与传递引用
通常,编写使用对象作为参数的函数时,应按引用而不是按值来传递对象。这样做的原因之一是为了提高效率。按值传递对象涉及到生成临时拷贝,即调用复制构造函数,然后调用析构函数,调用这些函数需要时间,复制大型对象比传递引用花费的时间要多得多。如果函数不修改对象,应将参数声明为const引用。
按引用传递对象的另一个原因是,在继承使用虚函数时,被定义为接受基类引用参数的函数可以接受派生类
5、返回对象和返回引用
有些成员函数直接返回对象,而另一些则返回引用
首先在代码方面,直接返回对象与返回引用之间唯一的区别在于函数原型和函数头:
Star noval(const Star &);
Star &nova2(const Star &);
直接返回对象与按值传递对象相似:它们都生成临时副本。同样,返回引用与按引用传递对象相似:调用和被调用的函数对同一个对象进行操作。
然而并不总是可以返回引用。函数不能返回在函数中创建的临时对象的引用,因为当函数结束时,临时对象将消失,因此这种引用将是非法的。
6、使用const
使用const时应特别注意,可以用它来保证方法不修改参数
1.is-a关系
要遵循is-a关系。如果派生类不是一种特殊的基类,则不要使用公有派生。这种关系就是,无需进行显式类型转换,基类指针就可以指向派生类对象,基类引用可以引用派生类对象。反过来是行不通的
2、什么不能被继承
构造函数不能被继承
析构函数不能被继承
赋值运算符不能被继承
3、赋值运算符
如果编译器发现程序将一个对象赋给同一个类的另一个对象,它将自动为这个类提供一个赋值运算符
4、私有成员与保护成员
对派生类而言,保护成员类似于公有成员;但对于外部而言,保护成员与私有成员类似。派生类可以直接访问基类的保护成员,但只能通过基类的成员函数来访问私有成员。
5、虚方法
设计基类时,必须确定是否将类方法声明为虚的。如果希望派生类能够重新定义方法,则应在基类中将方法定义为虚的;如果不希望重新定义方法,则不必将其声明为虚的。
6、析构函数
基类的析构函数应该是虚的。这样,当通过指向对象的基类指针或引用来删除派生对象时,程序将首先调用派生类的析构函数,然后调用基类的析构函数,而不仅仅是调用基类的析构函数
7、友元函数
由于友元函数并非类成员,因此不能继承。但是可以通过强制类型转换,将派生类引用或指针转换为基类引用或指针,然后使用转换后的指针或引用来调用基类的友元函数