模板特化与本地类

Partial Template Specialization让你在template 的所有可能实体中特化出一组子集

template <class window,class Controller>

class Widget

{

}

example

template <>

class Widget<ModalDialog,MyController>

{

}

其中ModalDialog和MyController是你另外定义的class

this Partial Template Specialization

template <class Window>

template Widget <Window,MyController>

{

...

} 

template <class ButtonArg>

class Widget<Button<ButtonArg>,MyController>

{

}

注意：偏特化机制不能用于函数身上，这样会降低你所作出来的弹性和粒度

虽然可以全特化class template中的成员函数，但你不能偏特化它们，但可以用函数重载方式实现

example

template <class T ,class U>T Fun(U obj);

template<class T>T Fun(Window obj);

 

local class

void Fun()

{

class local

{

...member variables...

...member function definitions....

}

....code using Local.....

}

class Interface

{

public:

virtual void Fun()=0;

...

}

template <class T,class P>

Interface * MakeAdapter(const T &obj,const P &arg)

{

class Local:public Interface

{

public:

Local (const T&obj,const P&arg)

{

virtual void Fun()

{

obj_.Call(arg_)

}

private:

T obj_;

P arg_;

}

return new Local(obj,arg);

}

}

本地类可以时间接口转换为另一个接口，其次本地类不可被继承，这在java 中成为final