[C++再学习系列] 模板函数的自定义点

模板函数 :

在编写模板时 , 可以通过一些显示的自定义 , 对模板参数类型做一些必要的限制 :

选择 1: 模板直接依赖于类型具有给定名字的合适的成员函数 , 则显式要求参数 T 提供该成员函数 .

选择 2: 模板依赖于 ” 类型具有给定名字的合适的非成员函数 ”, 则显式的要求 T 具有给定名字 / 签名和语义的非成员函数 .

选择 3: 模板依赖于 ” 类型已经特化 ( 如果必要 ) 另一个模板 ”, 则需要被特化的模板提供一个 ( 通常是静态类成员 ) 具有给定名字 / 签名和语义的函数 .

Template<typename T>

Void Sample1(T t){

t.foo();      // 选择 1, foo() 是 T 的成员函数 .

foo(t);      // 选择 2, foo() 是和类型 T 一起提供的非成员函数 ( 属于同一个名字空间 )

S3Traits<T>::foo(t);  // 选择 3, foo() 是静态类成员

}

 

避免无意的自定义点 :

选择 1 将模板中的任何辅助函数都放在其自己内嵌的名字空间中 ( 名字空间包括名字空间 + 类名 ( 静态函数 ))

选择 2 在引用基类的任何成员函数时 , 显式的使用基类名或者 this-> 进行限定 .

Template<typename T>

class X<T>{

public:

void f()

{

X<T>::baz();   // 通过类名进行限定

T::baz();       // 通过类名进行限定

This->baz();    //this 指针

Hepler::baz();   // 这里 hepler 可以是名字空间 , 也可以是类名

}

}

 

       为模板函数提供显式的自定义点，或避免无意的自定义点，其本质都是 C++ 名字查找规则，就是利用 C++ 的名字查找规则促进有意的名字查找，并避免无意的名字查找。