学习 C++ Template 心得

1.模板自变量推导

模板自变量推倒只适用于函数模板和成员函数模板，对于类模板则无能为力，类模板需要明确提供类型参数

上图是函数模板自变量推导的情况，函数模板推倒不会把一个参数推倒成一个引用（片面），比如

template <typename T>

void fuc(T & )

{

}

template <typename T>

void fuc(T )

{

}

大概就这两种情况,无法推导出T int &等引用类型的类型；

对于class Template 则不能自己推导，只能指定

template <typename T>

class My

{

}

My<int >  myclass;   //T为int

My<int &> myclass2;//T为int &

2.函数自变量推导上面所说片面

例子：

void ff1(int & a)
{

}
void ff2(int  a)
{

}
template <typename T>
void fuc(T & param1,void (*)(T param2))
{

}

test：

int test=10;
fuc(test,ff1);//自变量推导 函数指针参数T必被推导为int &,  则第一个参数则为 int && ，不符合C++的语法，后来被修订 见下图：

这种情况下 int && 被当作int &；  但如果直接写int a=1； int && x=a；则不行，引用的引用是错误的

test ：

int test =10；

fuc<int &>(test,ff1);//这样也行，通过显示，不通过自推导， 替换为 int && param1<==>int & param1；

上述现在不知道还对不对，因为标准已经增加了int && 引用类型，右值引用，看我的另外一篇关于右值引用的博客