[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++

的名字查找规则促进有意的名字查找，并避免无意的名字查找。