C++Primer学习笔记第十六章(16/18)类 模型与泛型编程

模板形参

模板形参可以是表示类型的类型形参，也可以是表示常量表达式的非类型形参。非类型形参跟在类型说明符之后声明，。类型形参跟在关键字 class 或 typename 之后定义，例如，class T 是名为 T 的类型形参，在这里 class 和 typename 没有区别。

模板形参遵循常规名字屏蔽规则

 

为什么定义了size_type这个东西

例如，标准库的容器类定义了不同的类型，如 size_type，使我们能够以独立于机器的方式使用容器。

 

避免在模板定义内部指定类型时出现的指代不明晰

template <class Parm, class U>

     Parm fcn(Parm* array, U value)

     {

         Parm::size_type * p; // If Parm::size_type is a type, then a declaration

                          // If Parm::size_type is an object, then multiplication

     }

我们知道 size_type 必定是绑定到 Parm 的那个类型的成员，但我们不知道 size_type 是一个类型成员的名字还是一个数据成员的名字，默认情况下，编译器假定这样的名字指定数据成员，而不是类型。

 

如果希望编译器将 size_type 当作类型，则必须显式告诉编译器这样做：

     template <class Parm, class U>

     Parm fcn(Parm* array, U value)

     {

         typename Parm::size_type * p; // ok: declares p to be a pointer

     }

 

 

非类型模板形参

模板非类型形参是模板定义内部的常量值。

 

 

泛型句柄类