C++类模板

[xidianxiancai]

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
template <typename T>
typename T::value_type mostFre(T first, T last)
{
	typedef vector<typename T::value_type> VecType;
	VecType vec;
	copy(first, last, back_inserter(vec));
	VecType::iterator newfirst = vec.begin();
	VecType::iterator newlast = vec.end();
	sort(newfirst, newlast);
	size_t maxOccu = 0, occu = 0;
	VecType::iterator preIter = vec.begin(); 
	VecType::iterator maxOccuElemIt = vec.begin();
	while (newfirst!=newlast)
	{
		if (*newfirst != *preIter)
		{
			if (occu > maxOccu)
			{
				maxOccu = occu;
				maxOccuElemIt = preIter;
			}
			occu = 0;
		}
		++occu;
		preIter = newfirst;
		++newfirst;
	}
	if (occu > maxOccu)
	{
		maxOccu = occu;
		maxOccuElemIt = preIter;
	}
	return *maxOccuElemIt;
}
int main()
{
	int ia[] = {1,2,7,4,3,6,7};
	vector<int> ivec(ia,ia+7);
	cout << "found this element: " << mostFre(ivec.begin(),ivec.end()) << endl;
	return 0;
}

这个程序感觉有点问题，在调用函数的时候，实参是迭代器，是int *型
但是被调用函数的形参T却是vector<int>类型
这样岂不是无法实现传递？
可是我在VS2005上却能运行通过，请问这该如何解释？

[yshuise]

同意楼主的意见。

[ACgirl]

是参数决定的类型，哪里有形参有关？

[cyldf]

但是被调用函数的形参T却是vector <int>类型

楼主你从哪看出来的？

[pengzhixi]

这个程序感觉有点问题，在调用函数的时候，实参是迭代器，是int *型
但是被调用函数的形参T却是vector <int>类型

调用：mostFre(ivec.begin(),ivec.end())这说明T的类型就是vector<int>::iterator 类型。

这没什么问题啊，你怎么说被调用函数的形参T却是vector <int>类型

[xidianxiancai]

template <typename T>
typename T::value_type mostFre(T first, T last)
这里的T难道不是vector <int>类型，而是vector <int>::iterator 类型吗？

[xidianxiancai]

template <typename T>
typename T::value_type mostFre(T first, T last)
这里的T难道不是vector <int>类型，而是vector <int>::iterator 类型吗？

[pengzhixi]

[Quote=引用 6 楼 xidianxiancai 的回复:]
template <typename T>
typename T::value_type mostFre(T first, T last)
这里的T难道不是vector <int>类型，而是vector <int>::iterator 类型吗？
[/Quote]
你觉得呢

[xidianxiancai]

[Quote=引用 7 楼 pengzhixi 的回复:]
引用 6 楼 xidianxiancai 的回复:
template <typename T>
typename T::value_type mostFre(T first, T last)
这里的T难道不是vector <int>类型，而是vector <int>::iterator 类型吗？

你觉得呢
[/Quote]
我不知道。所以才问的嘛
谢谢

[qqwx_1986]

你传的是个迭代器能是什么类型？

[xidianxiancai]

没人能回答我的问题吗？

[冻结]

模板函数的参数是根据你给他的参数，
他给你编译出相应类型的函数代码。

是可以自动识别的，而且最好是自动识别。

你给他指针他就是指针。
你给他int他就给你识别为int。
当然出了错，他不负责。

template <typename T>
typename T::value_type mostFre(T first, T last) ；

int ia[] = {1,2,7,4,3,6,7};
vector<int> ivec(ia,ia+7);

你给他指针了，他就是指针了。
你没有给他vector <int>吧。

[冻结]

mostFre(ivec.begin(),ivec.end())；
给的是迭代器当然给你解析成迭代器函数。

[xidianxiancai]

[Quote=引用 11 楼 freezezdj 的回复:]
模板函数的参数是根据你给他的参数，
他给你编译出相应类型的函数代码。

是可以自动识别的，而且最好是自动识别。

你给他指针他就是指针。
你给他int他就给你识别为int。
当然出了错，他不负责。

template <typename T>
typename T::value_type mostFre(T first, T last) ；

int ia[] = {1,2,7,4,3,6,7};
vector <int> ivec(ia,ia+7);

你给他指针了，他就是指针了。
你没有给他vector <int>吧。
[/Quote]
那楼上的意思是说这个程序有问题？那这样的话，如何修改呢？

[menghai1226]

学习啦

[ketet]

楼主的头像太难看了

[Aeris]

1.vector<T>::iterator的实现，许多流行的版本（例如VS和GCC的STL）就直接是T *，而不是自己定义的一个iterator。
2.对于T类型的数组，可以把T *看作random-access迭代器，指向第一个元素的指针看作begin，指向最后一个元素后面的指针看作end