关于模板的问题

[wanren13]

template <class T>
int getSize(T* arr) {	
	return sizeof(arr) / sizeof(T);
}

int main() {
	int arr[20];
	cout << getSize(arr) << endl;
	return 0;
}

代码如上所示，为什么getSize返回的值总是1？若需要函数返回正确数值应该怎么修改？麻烦各位大侠指点一二，谢谢

[wanren13]

引用 1 楼 adlay 的回复:

数组作为参数就退化成指针了，指针大小固定就是 4 要阻止参数退化，可以这样：

template <class T, int N>
int getSize(T (&)[N]) {   
	return N;
}

看了大神的代码都不敢说自己学过C++了。。。 大神可以解释一下这段代码的语法吗？(&)和[N]是什么意思?为什么这么写？

[dustpg]

不需要太麻烦.

template<typename T> constexpr auto lengthof(T& t) { return sizeof(t) / sizeof(*t); }

[www_adintr_com]

引用 3 楼 wanren13 的回复:

[quote=引用 1 楼 adlay 的回复:] 数组作为参数就退化成指针了，指针大小固定就是 4 要阻止参数退化，可以这样：

template <class T, int N>
int getSize(T (&)[N]) {   
	return N;
}

看了大神的代码都不敢说自己学过C++了。。。 大神可以解释一下这段代码的语法吗？(&)和[N]是什么意思?为什么这么写？[/quote] T x[N] 是 T 类型大小为 N 的数组， T (*)[N] 是 类型 T 大小 N 的数组的指针，T (&)[N] 就是类型为 T，大小为 N 的数组的引用。 这样写当然是为了直接让模板推导出 N 的值来，直接获得数组元素的个数。

[www_adintr_com]

数组作为参数就退化成指针了，指针大小固定就是 4 要阻止参数退化，可以这样：

template <class T, int N>
int getSize(T (&)[N]) {   
	return N;
}

[mainidea]

sizeof(arr)是数组的指针地址的长度

[wanren13]

引用 4 楼 dustpg 的回复:

不需要太麻烦.

template<typename T> constexpr auto lengthof(T& t) { return sizeof(t) / sizeof(*t); }

引用 5 楼 adlay 的回复:

[quote=引用 3 楼 wanren13 的回复:] [quote=引用 1 楼 adlay 的回复:] 数组作为参数就退化成指针了，指针大小固定就是 4 要阻止参数退化，可以这样：

template <class T, int N>
int getSize(T (&)[N]) {   
	return N;
}

看了大神的代码都不敢说自己学过C++了。。。 大神可以解释一下这段代码的语法吗？(&)和[N]是什么意思?为什么这么写？[/quote] T x[N] 是 T 类型大小为 N 的数组， T (*)[N] 是 类型 T 大小 N 的数组的指针，T (&)[N] 就是类型为 T，大小为 N 的数组的引用。 这样写当然是为了直接让模板推导出 N 的值来，直接获得数组元素的个数。[/quote] 谢谢楼上大侠们的回答