c++ 模板(1) 模板的声明以及类型别名

模板的前置声明

template <typename> class Foo;template <typename T> bool operator==(const Foo<T>&, const Foo<T>&);

友元的声明

一对一友好关系

template <typename> Foo;template <typename T>bool operator==(const Foo<T> &, const Foo<T> &);template <typename T>class Object{// 每个Object实例将访问权限授予用相同类型实例化的Foo和相等运算符friend class Foo<T>;friend bool operator==<T>(const Foo<T> &, const Foo<T> &);};

通用和特定的模板友好关系

template <typename T> class Pal;class C{// 用类C实例化的Pal是C的一个友元friend class Pal<C>;// Pal2的所有实例都是C的友元; 这种情况无需前置声明template <typename T> friend class Pal2;};template <typename T> class C2{// C2的每个实例将相同实例化的Pal声明为友元; Pal的模板声明必须在作用于之内friend class Pal<T>;// Pal2的所有实例都是C2的每个实例的友元,不需要前置声明template <typename X> friend class Pal2;// Pal3是一个非模板类, 它是C2所有实例的友元friend class Pal3;};

为了让所有实例成为友元, 友元声明中必须使用与类模板本身不同的模板参数.

令模板自己的类型参数成为友元(c++11)

template <typename Type>class Bar{friend Type; // 将访问权限授予用来实例化Bar的类型};

虽然友元通常来说应该是一个类或是一个函数,但我们完全可以用一个内置类型来实例化Bar.这种与内置类型的友好关系是允许的,以便我们能用内置类型来实例化Bar这样的类.

模板类型别名(c++11)

为类模板定义一个类型别名:

template <typename T> using twin = std::pair<T, T>;template <typename T> using partNo = std::pair<T, unsigned>;

一个模板类型别名是一族类的别名.

当我们定义一个模板类型别名时,可以固定一个或多个模板参数