// @author: gr
// @date: 2015-01-09
// @email: [email protected]
面向对象程序设计的核心思想是数据抽象、继承和动态绑定。
数据抽象:可以将类的接口与实现分离
继承:可以定义相似的类型并对其相似关系建模
动态绑定:在一定程度上忽略相似类型的区别,使用统一的方式使用它们的对象
virtual
和override
关键字只允许在类内使用,类外使用会报错。C++11
标准允许使用override
关键字显式地注明它使用某个成员函数覆盖了它继承的虚函数。C++11
中可以使用final
关键字防止继承的发生。
class Last final {
private:
int a;
};
在覆盖基类的函数时,大意将参数列表写错,没有构成覆盖,将会是两个独立的函数。如果使用override
关键字,编译器会报marked override, but does not override
的错误,提示有当前的问题。使用override
需要保持基类和派生类的函数形式一致,并且基类的函数要声明为virtual
。
派生类可以转换到基类,但不存在基类像派生类的转换。从派生类向基类的转换只对指针或引用类型有效。
回避虚函数的机制
强迫执行虚函数的某个特定版本,使用作用域运算符可以实现这一目的:
double undiscounted = baseP->Quote::net_price(42); //使用基类Quote中的net_price函数
多态性
使用虚函数,通过动态绑定实现,在运行时进行解析。
抽象类不能创建对象,只能作为接口,其它类继承它。
含有纯虚函数的类是抽象类。
派生类的成员或友元只能通过派生类对象来访问基类的受保护成员。派生类对于一个基类对象中的受保护成员没有任何访问特权。
class Base{
protected:
int prot_mem;
};
class Sneaky : public Base{
friend void clobber(Sneaky&);
friend void clobber(Base&);
int j;
};
//正确:clobber能访问Sneaky对象的private和protected成员
void clobber(Sneaky& s){s.j = s.prot_mem = 0;}
//错误:clobber不能访问Base的protected成员
void clobber(Base& b){b.prot_mem = 0;}
上面的第二个clobber函数因为不是Base的友元,所以无法访问Base的protected成员。
派生访问说明符的目的是控制派生类用户(包括派生类的用户、派生类的派生类)对于基类成员的访问权限。
class Base{
public:
void pub_mem();
protected:
int prot_mem;
privated:
int priv_mem;
};
class Pub_Derv : public Base{
int f() {return prot_mem;}
char g() {return priv_mem;}
};
class Priv_Derv : private Base{
int f1() const {return prot_mem;}
};
Pub_Derv d1;
Priv_Derv d2;
d1.pub_mem(); //正确:pub_mem在派生类中是public的
d2.pub_mem(); //错误:pub_mem在派生类中是private的
这样,private
派生访问说明符表明继承的成员是private
,用户无法访问这个成员。使用public
继承便可以访问。class
默认使用的是private
继承,struct
默认使用的public
继承。
友元与继承
友元关系不能继承。基类的友元在访问派生类成员时不具有特殊性,同样,派生类的友元也不能随意访问基类的成员。
class Base{
friend class Pal; //Pal在访问Base的派生类不具有特殊性
};
class Pal{
int f(Base b){return b.prot_mem;}
};
在编译时进行名字查找
作用域从派生类到基类查找成员。
如果两个成员名字相同,派生类的名字将隐藏基类的名字,但基类中的变量仍然存在。使用作用域运算符可以使用隐藏的名字。
名字查找优先于类型检查
struct Base{
int memfcn();
};
struct Derived : Base{
int memfcn(int);
}
Base b;
Derived d;
b.memfcn(); //正确,调用Base::memfcn()
d.memfcn(42); //正确,调用Derived::memfcn(int)
d.memfcn(); //错误,调用Derived::memfcn(int),参数类型不一致
d.Base::memfcn(); //正确,调用Base:memfcn()
从上面可以看出,查找到相同的名字就停止查找,所以基类的函数被隐藏了。之后再进行参数匹配,发现匹配不对,将会报错。
覆盖重载的函数
派生类可以覆盖重载函数的0个或多个实例。如果派生类希望所有的重载版本对于它来说都是可见的,那么它就要覆盖所有的版本,或者一个都不覆盖。
有时,只需覆盖一些而非全部函数时,不都不覆盖每个基类中的每个版本。
解决方案是为重载的成员提供一条using
声明语句,使用using
可以将子类的所有重载函数放入到当前作用域,这时在添加需要覆盖的函数。
class Base{
public:
//定义三个版本的fcn函数
virtual void fcn();
virtual void fcn(int);
virtual void fcn(double);
};
class Derived : private Base{
public:
//使用using引入Base中的fcn重载函数
using Base::fcn;
//只覆盖int版本
virtual void fcn(int a);
};
解决上面的问题,可以在容器中存放(智能)指针而非对象。
vector<shared_ptr<Quote>> basket;
basket.push_back(make_shared<Quote>("1233", 50));
basket.push_back(make_shared<Bulk_Quote>("12", 50, 10, .25));
cout << basket.back()->net_price() << endl;