模板实例化疑问

[x309374055]

template < class T >
int compare( T a,T b )
{
	if( a < b )
		return 1;
	else if( b < a )
		return -1;
	else
		return 0;
}
int main(int argc,char *argv[] )
{
	int a[3]={1,2,3};
	int b[3] = {4,5,6};

	double a1[3]={1,2,3};
	double b1[3] = {4,5,6};
	cout << compare( a, b);
	cout << compare( a1,b1);
	return EXIT_SUCCESS;
}

为啥第一次实例化为 compare<int*>(int *a, int *b)，而第二次实例化为comapre<double*>( double *a,double *b )?
返回值不是固定为int吗，实例化为double还可以理解，实例化为double*是为什么？如图：


如果将模板函数改为int compare( T*a,T*b)的话，返回值两次分别为int和double，为啥返回值还是不固定但不为int* 和 double*了？

[Italink]

T a， 你传入int * ，T不就是int*么， T* a 你传入 int*，T就是 int啊

[x309374055]

引用 3 楼 Italink的回复:

T a， 你传入int * ，T不就是int*么， T* a 你传入 int*，T就是 int啊

我说返回值，返回值是固定的int啊。

[真相重于对错]

请把你的问题语言整理好，我怎么看不懂你在说什么？

[真相重于对错]

返回值类型跟你的模板参数又没关系？

[x309374055]

引用 6 楼 真相重于对错的回复:

返回值类型跟你的模板参数又没关系？

返回值是没关系，但是在变啊，每个实例化返回值都不一定是int

[x309374055]

引用 5 楼 真相重于对错的回复:

请把你的问题语言整理好，我怎么看不懂你在说什么？

语言表达能力只能到这种程度，主要就是看图片有箭头的地方和红框的地方。

[Italink]

你圈起来的那个不是返回值，是模板参数

[x309374055]

引用 9 楼 Italink的回复:

你圈起来的那个不是返回值，是模板参数

额😓，好尴尬，资料中说返回值如果不能推导出，那么要自己提供，就像我圈起来那样的写法，难道我误解了？

[Italink]

你不是把数组a，b，a1，b1传进去吗，数组退化成指针，模板参数就被推导为对应的类型了，返回值你给的都是int啊
你把函数改为int compare( T*a,T*b)，传入实参 compare ( a (int*) , b (int*) )，一对应，模板参数T就是int

[x309374055]

Ta Tb的时候返回的int*或者double*啊。T *a T*b的时候返回的是int 和double ，你注意看图片箭头指着的地方。

[Italink]

那是模板参数

#include<iostream>
#include<sstream>
using namespace std;
template<class T>
T getValue(string s) {		//模板参数用作返回值，无法推导
	T value;
	istringstream is(s);
	is >> value;
	return value;
}
int main(int argc, char* argv[])
{
	double a = getValue<double>("10.12");		//自己提供
	return EXIT_SUCCESS;
}