经典讨论（四）
一.class和typename
用class也能够定义函数模板和类模板
template<class T>
T Minus(T a,T b)
{
return a-b;
}
template<class T>
class Add
{
public:
T add(T a,T b)
{
return a+b;
}
};
int main()
{
cout<<Minus(3,4)<<endl;
cout<<Minus<float>(0.3,0.4)<<endl;
Add<double> ap;
cout<<ap.add(10,7)<<endl;
cout<<ap.add(0.001,0.1)<<endl;
return 0;
}
可是这种代码就编译只是：
#include <cstdlib>
#include <iostream>
using namespace std;
template<typename T, int N>
class Test
{
public:
typedef T ElemType;
};
template<class T>
void func(const T& t)
{
T::ElemType *p;
}
int main(int argc, char *argv[])
{
Test<int, 5> t1;
func(t1);
return 0;
}
解析： 由于编译器并不知道T::ElemType到底是一个类型的名字还是一个变量的名字，编译器自己主动默认ElemType为一个变量名。而不是类型。
解决的方法仅仅有一个。就是typename T::ElemType *p;
template<class T>
void func(const T& t)
{
typename T::ElemType *p;
}
说明： 模板最初的目标仅仅是为了对类类型进行泛型操作的定义，因此用class声明泛型类型。之后的进化过程中。发现了模板相互调用时产生的 :: 操作符符的二义性。因此引入了typename keyword用来告诉编译器将::符号后的标识符看做类型。
结论： 尽量使用typename取代，可是看一些经典的C++源代码，看见class定义的模板，也可认识即可。
二. 一个面试题------怎样推断一个变量是否为指针变量
1. 先回想一个知识点
C++编译器的匹配调用优先级
*： 重载函数
*： 函数模板
*： 可变參数函数
#include <cstdlib>
#include <iostream>
using namespace std;
void test(int i,int j)
{
cout<<"void test(int i,int j)"<<endl;
}
template<typename T>
void test(T i,T j)
{
cout<<"void test(T i,T j)"<<endl;
}
void test(...)
{
cout<<"void test(...)"<<endl;
}
int main(int argc, char *argv[])
{
int a=2;
int b=3;
test(a,b);
return 0;
}
能够一个一个test函数凝视掉，看调用哪个函数，就能够验证C++编译器匹配调用的优先级
终于得出结论： 函数重载 > 函数模板 > 可变參数函数
方案1：
template<typename T>
bool isPtr(T*)
{
return true;
}
bool isPtr(...)
{
return false;
}
int main(int argc, char *argv[])
{
int* pi=NULL;
float* pf=NULL;
int a=2;
int b=3;
cout<<isPtr(pi)<<endl;
cout<<isPtr(pf)<<endl;
cout<<isPtr(a)<<endl;
cout<<isPtr(b)<<endl;
return 0;
}
template<typename T>
char isPtr(T*);
int isPtr(...);
#define ISPTR(v) (sizeof(isPtr(v))==sizeof(char))
int main(int argc, char *argv[])
{
int* pi=NULL;
float* pf=NULL;
int a=2;
int b=3;
cout<<ISPTR(pi)<<endl;
cout<<ISPTR(pf)<<endl;
cout<<ISPTR(a)<<endl;
cout<<ISPTR(b)<<endl;
return 0;
}
这个是一个比較经典的面试题，推断一个变量是否为指针变量的。考察的知识点比較多：函数重载，函数模板，可变參数函数，keywordsizeof，宏定义。程序的执行效率问题等等，值得学习的一道面试题。
版权声明：本文博主原创文章，博客，未经同意不得转载。
