经典讨论（四）

一.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用来告诉编译器将::符号后的标识符看做类型。



[b]结论： 尽量使用typename取代，可是看一些经典的C++源代码，看见class定义的模板，也可认识即可。

[/b]



二. 一个面试题------怎样推断一个变量是否为指针变量

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，宏定义。程序的执行效率问题等等，值得学习的一道面试题。