C++ Primer Plus 第14章笔记

第14章 C++中的代码重用

14.1 包含对象成员的类

valarray类是由头文件valarray支持的。

使用valarray类来声明一个对象时，需要在标识符valarray后面加上一对尖括号，并在其中包含所需的数据类型，如valarray<int> q_values;

初始化：

double gpa[5] = {2.2 , 2.5 , 5.1 , 9.4 , 5.1};
valarray<double> v1;//一个double类型的数组，大小0。
valarray<int> v2(8);//一个8个int的数组。
Valarray<int> v3(10.8);//一个8个int的数组。
valarray<double> v4(gpa , 4);//一个4个元素的数组，初始化前四个元素。
valarray<int> v5 = {20 , 32 , 50 , 54};

方法：

• operator:让你能够访问各个元素。
• size():返回包含的元素数。
• sum():返回所有的元素的总和。
• max():返回最大的元素。
• min():返回最小的元素。

---

当初始化列表包含多个项目时，这些项目被初始化的顺序为它们被声明的顺序。

14.2 私有继承

使用私有继承，基类的公有成员和保护成员都将成为派生类的私有成员。

默认私有继承

私存继承使得能够使用类名和作用域解析运算符来调用基类的方法

私存继承使用强制转换将派生类转换为基类对象，结果为继承而来的基类对象。

友元函数可以通过显示地转换为基类来调用正确的函数。

特征	公有继承	保护继承	私有继承
公有成员变量	派生类的公有成员	派生类的保护成员	派生类的私有成员
保护成员变量	派生类的保护成员	派生类的保护成员	派生类的私有成员
私有成员变量	只能通过基类接口访问	只能通过基类接口访问	只能通过基类接口访问
能否隐式向上转换	是	是(但只能在派生类中)	否

使用using声明的函数即使是保护或私有继承，在继承外也可以使用该函数。如：using std::valarray<double>::min;

using声明只能使用成员名，没有括号、函数特征标和返回类型。

using只适用于继承，而不适用于包含。

14.3 多重继承

若Singer和Waiter是Work的派生类，从Singer和Waiter公有派生出SingingWaiter将包含两个Worker组件。

把基类指针设置为派生对象中的基类对象的地址，有两个地址可供选择，所以应使用类型转换来指定对象：Worker *pwl = (Waiter *)&ed;

虚基类使得从多个类（他们的基类相同）派生出对象只继承一个基类对象，可以在类中使用关键字virtual，可以使Worker被用作Singer和Waiter的虚基类，

C++在基类是虚的时，禁止信息通过中间类自动传递给基类。

如果不希望虚基类默认构造函数来构造虚基类对象，则需要显示地调用所需的基类的构造函数。

对于多重继承，每个直接祖先都有一个相同的函数，这使得派生类调用此函数时二义性的，可以使用作用域运算符来澄清编程者的意图。a.Singer::Show();

strchr(“wstq” , choice);函数返回指定的字符在字符串中第一次出现的地址，如果没有这样的字符，则返回NULL指针。

如果类从不同的类那里继承两个或更多的同名成员，如果某个名称优先于其他所有名称，则使用它时，即便不使用限定符，也不会导致二义性。

14.4 类模板

14.4.1 定义模板类

模板类以下面的代码开头：template<class Type>或template<typenamw Type>

Type是一个通用的类型说明符，在使用模板时，将使用实际的类型替换它。

在类外面定义方法可以使用模板成员函数替换原有类的类方法。每个函数头都将以相同的模板声明打头。还需将类限定符从stack::改为stack<Type>::。

14.4.2 使用模板类

stack<int> kernels;创建模板类的对象。必须显示地提供所需的类型。

14.4.3 深入讨论模板类

在类中声明函数返回类型为本类时，可以省略模板类型。

14.4.4 数组模板示例和非类型参数

template<class Type , int n>关键字class指出T为类型参数，int指出n的类型为int，这种参数被称为非类型或表达式参数。表达式参数可以是整型、枚举、引用或指针。模板代码不能修改参数的值，也不能使用参数的地址。实例化模板时，用作表达式的参数的值必须是常量表达式。

14.4.5 模板多功能性

模板类作为基类：template <typename Type> class GrowArray : public Array<Type> {...};

模板类可以使用多个模板，template <class T1 , class T2>

默认类型模板参数：template <class T1 , class T2 = int> class Topo{...};

14.4.6 模板的具体化

• 隐式实例化，它们声明一个或多个对象，指出所需的类型，而编译器使用通用模板提供的处方生成具体的类定义。
• 显示实例化：声明必须位于模板定义所在的名称中，template class ArrayTF<string , 100>;
• 显式具体化是特定类型（用于替换模板中的泛型）的定义。template <> class Classname<specialized-type-name> {...};
• 部分具体化：部分限制模板的通用性。

template <class T1 , class T2> class Pair {...};
template <class T1> class Pair<T1 , int> {...};

如果有多个模板可供选择，编译器将使用具体化程度最高的模板。

14.4.8 将模板用作参数

template <template <typename T> class Thing> class Crab
Crab<King> legs;
其中template <typename T> class是类型，Thing是参数。
King必须是一个模板类，其声明与模板参数Thing匹配。
前面的legs的声明将用King替换Thing，用King替换Thing。

14.4.9 模板类和友元

非模板友元：在模板类中声明的普通友元函数（非模板），该函数称为所有实例化的友元。

当友元函数需要使用模板类对象时，比如要提供模板类参数，必须指明具体化，例如friend void report(HasFriend<T> &);

以上的report函数并不是模板函数，而只是使用一个模板作参数。这意味着必须为要使用的友元定义显式具体化，为每种使用到的类型定义显式具体化。

模板类的约束模板友元函数：即友元的类型取决于类被实例化时的类型，或者说类可以只授权给特定实例。

1. 在类定义的前面声明每个模板函数
   template <typename T> void report(T &);
2. 在函数中再次将模板声明为友元。这些语句根据类模板参数的类型声明具体化。

template  <typename TT>
class HasFriendT {
    friend void report<HasFriendT<TT>>(HasFriendT<TT> &);
}

非约束模板友元：即友元的所有具体化都是类的每一个具体化的友元，或者说类可以授权给所有友元模板实例。

template <typename T>
class ManyFriend {
    template <typename C , typename D>
    friend void show2(C & , D &);
};

14.4.10 模板别名（C++11）

可以使用typedef为为模板具体化指定别名。

typedef std::array<double, 12> arrd;
arrd gallons;

还可以使用using提供别名：

template <typename T>
using arrtype = std::array<T , 12>;

using也可以用于非模板，与常规typedef等价。