15.3 使用typename的场合、函数模板、默认模板参数与趣味写法分析

一：typename的使用场合

<1>在模板定义里，表明其后的模板参数是类型参数
typename
template<typname T, int a, int b> //typename 后边跟的是一个类型
int funcaddv2(T c){…}

类模板
template //名字为 T 的模板参数。这个虽然可以用 class，但是这里的 class 不是类定义的意思，不能和类定义时的 class 混为一谈。
class myvector {…};

typename可以写为class

<2>使用类的类型成员，用 typename 来标识这是一个类型
::作用域运算符访问类中的静态成员的时候，类名::静态成员名
int Time::myststix = 5;
::还可以用来访问类型成员
typename 的第二个用法；通知编译器，一个名字代表的是一个类型。这里的typename不能换成class

template<typename T>
typename T::size_type getLength(const T& c)
{
	if (c.empty())
	{
		return 0;
	}
	return c.size();
}

int main()
{
	string mytest = "hello";
	string::size_type size1 = mytest.size();  //string::size_type类似于unsigned int
	string::size_type size2 = getLength(mytest);
	cout << size1 << endl;
	cout << size2 << endl;
	return 0;
}

二：函数指针作为其他函数的参数

typedef int(*FuncType)(int, int);
int mf(int tmp1, int tmp2)
{
	return tmp1 + tmp2;
}

void testfunc(int i, int j, FuncType funcpoint)
{
	int result = funcpoint(i, j);
	cout << result << endl;
}

int main()
{
	testfunc(5, 10, mf);
	return 0;
}

三：函数模板趣味用法举例

引入一个概念：可调用对象。"未归类知识点"这一章 第一节 “”

class tc
{
public:
	tc()
	{
		cout << "构造函数执行" << endl;
	}
	tc(const tc& t)
	{
		cout << "拷贝构造函数执行" << endl;
	}
	~tc()
	{
		cout << "析构函数执行" << endl;
	}
public:
	int operator()(int i, int j)
	{
		return i + j;
	}
};

template<typename T, typename F>
void testfunc(const T& i, const T& j, F funcpoint)
{
	int result = funcpoint(i, j);
	cout << result << endl;
}

int main()
{
	testfunc(5, 10, mf);
	tc tcobj;
	//testfunc(5, 10, tcobj);
	testfunc(5, 10, tc());
	cout << tc()(1, 2) << endl;
	return 0;
}

四：默认模板参数

<1>类模板，类模板名后面必须用<>来提供额外的信息，<>表示这是一个模板

template<typename T = int, int size = 10>
class MyArray
{
public:
	MyArray()
	{
		cout << "MyArray()" << endl;
		cout << size << endl;
	};
	MyArray(T arr)
	{
		cout << "MyArray(T arr)" << endl;
		cout << size << endl;
	}
};

int main()
{
	MyArray<> myarray1(10);;  //完全用模板参数的缺省值
	MyArray<int> myarray2;  //提供一个非缺省值，只提供一个，另外一个(第二个参数)用的是缺省值
	cin.get();
	return 0;
}

<2>函数模板：老标准只能为类模板提供默认的模板参数，c++11新标准可以为函数模板提供默认参数；
testfunc(3, 4);
1>同时给模板参数和函数参数提供缺省值；
2>注意写法F funcpoint = F()；
3>tc重载()。

typedef int(*FuncType)(int, int);
int mf(int tmp1, int tmp2)
{
	return tmp1 + tmp2;
}

class tc
{
public:
	tc()
	{
		cout << "构造函数执行" << endl;
	}
	tc(const tc& t)
	{
		cout << "拷贝构造函数执行" << endl;
	}
	~tc()
	{
		cout << "析构函数执行" << endl;
	}
public:
	int operator()(int i, int j)
	{
		return i + j;
	}
};

//template<typename T, typename F = tc>
//void testfunc(const T& i, const T& j, F funcpoint = F())
//{
//	int result = funcpoint(i, j);
//	cout << result << endl;
//}

template<typename T, typename F = FuncType>
void testfunc(const T& i, const T& j, F funcpoint = mf)
{
	int result = funcpoint(i, j);
	cout << result << endl;
}
int main()
{
	testfunc(3, 4);
	return 0;
}