1. 类型别名作为成员（P243
除了定义数据和函数成员之外，类还可以自定义某种类型在类中的别名。
由类定义的类型名字和其他成员一样存在访问限制，
可以是public或者private中的一种。
class A
{
public:
typedef std::string::size_type type_s;
private:
type_s a = 0;
};
我们在A的public部分定义了type_s，
这样用户就可以使用这个名字了A::type_s。
2. 类型的static成员（P269
我们通过在成员的声明之前加上关键字static，使之与类关联在一起。
和其他成员一样，静态成员可以是public的或private的。
类的静态成员存在于任何对象之外，对象中不包含任何与静态数据成员有关的数据。
类似的，静态成员函数也不与任何对象绑定在一起，它们不包含this指针。
class A
{
public:
const static int a = 0;
};
int main()
{
int b = A::a;
return 0;
}
3. 模板类型参数的类型成员（P593
以上我们用作用域运算符::，来访问类型成员和static成员。
在普通代码中，编译器掌握类的定义，
因此，它知道通过作用域运算符访问的名字是类型还是static成员。
例如，string::size_type是一个类型，因为编译器知道string的定义。
但对于模板代码就存在困难，例如假定T是一个模板类型参数，
当编译器遇到类似T::a这样的代码时，
它不会知道a是一个类型成员还是一个static数据成员，直到实例化时才会知道。
但是为了处理模板，编译器必须知道名字是否表示一个类型。
例如，T::size_type * p，编译器需要知道，
我们是正在定义一个名为p的变量，
还是将一个名为size_type的static数据成员与名为p的变量相乘。
默认情况下，C++语言假定通过作用域运算符访问的名字不是类型，
因此，如果我们希望使用一个模板类型参数的类型成员，
就必须显式告诉编译器该名字是一个类型。
我们通过使用关键字typename来实现这一点。
template <typename T>
typename T::value_type top(const T &c) // 返回一个T::value_type类型
{
if (!c.empty())
{
return c.back();
}
return typename T::value_type(); // 调用T::value_type类型的构造函数
}
