[C++] 模板类型参数的类型成员

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类型的构造函数
}

---

参考

C++ Primer, 5th - P243