问题描述
template<typename T,typename U = int>
struct A {};
template<typename T,typename U>
struct A<T*,U> {};
template<typename T,typename U>
struct A<T[],U> {};
int main()
{
A<int*> m; // m: A<int*,int>
A<int[]> n; // n: A<int[],int>
return 0;
}
这里int[]
和int*
作为模板参数有什么区别? int[]
也不只是一个指针吗?
解决方法
int[]
也不只是一个指针吗?
不,事实并非如此。数组是数组,指针是指针。数组不是指针,指针也不是数组。 int[]
是一个数组。
在某些情况下,“数组是指针(而不是数组)”:在函数参数delcaration中,数组参数将被调整为指向该数组类型元素的指针。此类调整不适用于其他情况。模板参数是与函数参数分开的上下文,在这种情况下,不会发生上述调整。
这里
int[]
和int*
作为模板参数有什么区别?
区别在于,在一种情况下,类型参数是一个数组,在另一种情况下,类型参数是一个指针。
,事实上,这些是不同的类型。您可以说出来,因为它们做了不同的事情:
const char* a = "hi";
const char[] b = "hi";
第一个在堆栈上分配一个指针(字面量可能在其他地方),第二个在堆栈上分配整个字面量作为数组。因此,尽管它们可以隐式地相互转换,但是它们是不同的类型。