[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

推荐阅读更多精彩内容