1. 类模板的 static 成员[不同于C#中的static]
类模板可以像任意其他类一样声明static 成员。以下代码:
template <classT> class Foo { public: static std::size_tcount() { return ctr; } // other interfacemembers private: static std::size_tctr; // otherimplementation members };
定义了名为Foo 的类模板,它有一个名为count 的public static 成员函数和一个名为ctr 的private static 数据成员。
Foo 类的每个实例化有自己的static 成员:
// Each object sharesthe same Foo<int>::ctrand Foo<int>::count members Foo<int> fi,fi2, fi3; // has static membersFoo<string>::ctrand Foo<string>::count Foo<string> fs;
每个实例化表示截然不同的类型,所以给定实例外星人所有对象都共享一个static 成员。因此,Foo<int>类型的任意对象共享同一static 成员ctr,Foo<string> 类型的对象共享另一个不同的 ctr 成员。
使用类模板的static 成员通常,可以通过类类型的对象访问类模板的static 成员,或者通过使用作用域操作符直接访问成员。当然,当试图通过类使用static 成员的时候,必须引用实际的实例化:
Foo<int> fi, fi2; // instantiates Foo<int> class size_t ct =Foo<int>::count(); // instantiates Foo<int>::count ct = fi.count(); // ok: usesFoo<int>::count ct = fi2.count(); // ok: usesFoo<int>::count ct = Foo::count(); // error: whichtemplate instantiation?
与任意其他成员函数一样,static成员函数只有在程序中使用时才进行实例化。
2. 句柄类
类管理继承层次中对象的指针,句柄的用户不必管理指
向这些对象的指针,用户代码可以使用句柄类来编写。句柄能够动态分配和释放
相关继承类的对象,并且将所有“实际”工作转发给继承层次中的底层类。
3. 转换与多个基类
class X { ... }; class A { ... }; class B : public A {... }; class C : private B {... }; class D : public X,public C { ... }; // 如果有,下面转换中哪些是不允许的? D *pd = new D; (a) X *px = pd; (c) B *pb = pd; // X, B is private (b) A *pa = pd; // X, B is private (d) C *pc = pd;
4. 虚继承
虚继承是一种机制,类通过虚继承指出它希望共享其虚基类的状态。在虚继承下,对给定虚基类,无论该类在派生层次中作为虚基类出现多少次,只继承一个共享的基类子对象。共享的基类子对象称为虚基类。
5. 怎样构造虚继承的对象
让我们看看虚继承情况下怎样构造对象。
Bear::Bear(std::string name, bool onExhibit): ZooAnimal(name,onExhibit, "Bear") { } Raccoon::Raccoon(std::string name, boolonExhibit) : ZooAnimal(name,onExhibit, "Raccoon") { } // 虽然ZooAnimal 不是Panda 的直接基类,但是Panda 构造函数也初始化 ZooAnimal 基类: Panda::Panda(std::string name, bool onExhibit) : ZooAnimal(name,onExhibit, "Panda"), Bear(name,onExhibit),Raccoon(name, onExhibit), Endangered(Endangered::critical), sleeping_flag(false){ } Bear winnie("pooh"); // Bear constructor initializes ZooAnimal Raccoon meeko("meeko"); // Raccoon constructor initializesZooAnimal Panda yolo("yolo"); // Panda constructor initializes ZooAnimal
当创建Panda 对象的时候,
1. 首先使用构造函数初始化列表中指定的初始化式构造ZooAnimal 部分。
2. 接下来,构造Bear 部分。忽略Bear 的用于ZooAnimal 构造函数初始化列表的初始化式。
3. 然后,构造Raccoon 部分,再次忽略ZooAnimal 初始化式。
4. 最后,构造Panda 部分。
如果Panda 构造函数不显式初始化ZooAnimal 基类,就使用ZooAnimal 默认构造函数;如果ZooAnimal 没有默认构造函数,则代码出错。当编译Panda 构造函数的定义时,编译器将给出一个错误信息。
6. 小结
在抛出异常的时候,会终止当前正在执行的函数并开始查找最近的catch 子句,在查找catch子句的时候,作为异常处理的一部分,将撤销退出函数内部定义的局部变量。这种撤销对象提供了一个重要的编程技术,称为“资源分配即初始化”(RAII)。命名空间是一种机制,用于管理用独立供应商开发的代码建立的大型复杂应用程序。一个命名空间就是一个作用域,其中可以定义对象、类型、函数、模板和其他命名空间。标准库就定义在名为std 的命名空间中。
通过using 声明,当前作用域中就都可以访问某个命名空间中的名字了。
当然,也可以通过using 指示将一个命名空间中的所有名字带入当前作用域,但这种做法很不安全。
从概念上来看,多重继承很简单:派生类可以继承多个直接基类,派生类对象由派生部分和每个基类所贡献的基类部分构成。虽然多重继承概念简单,但细节可能非常复杂,尤其是,继承多个基类引入了新的名字冲突可能性,并且会导致对对象基类中的名字的引用出现二义性。
一个类继承多个直接基类的时候,那些类有可能本身还共享另一个基类。在这种情况下,中间类可以选择使用虚继承,声明愿意与层次中虚继承同一基类的其他类共享虚基类。用这种方法,后代派生类中将只有一个共享虚基类的副本。