请教一个关于函数模板推断的问题

[master_fengj]

//有这么一个函数模板定义 ：
template<typename T,int size>
int getSize(T (&)[size]){return size;}
//做如下调用,a_size结果为30,
//请问模板定义中"T (&)[size]"怎么理解,怎么理解a_size=30这样的模板推断结果?
main()
{
    int a[30];
    int a_size=getSize(a);  
}

[CVA4508M]

顺带写了个模板展开后的版本给楼主看看

  1 
  2 #include <iostream>
  3 
  4 template<int size>
  5 int getSize(int (&)[size]){return size;}
  6 
  7 int main()
  8 {
  9     int a[30];
 10     int a_size = getSize(a);
 11     std::cout << a_size << std::endl;
 12 }

[weixiaoshashou]

[Quote=引用 2 楼 cva4508m 的回复:]
顺带写了个模板展开后的版本给楼主看看

C/C++ code

1
2 #include <iostream>
3
4 template<int size>
5 int getSize(int (&)[size]){return size;}
6
7 int main()
8 {
9 int a[30];
10 ……
[/Quote]
这个能行吗?
要通过编译链接才知道

[pengzhixi]

[Quote=引用楼主 master_fengj 的回复:]
C/C++ code

//有这么一个函数模板定义 ：
template<typename T,int size>
int getSize(T (&)[size]){return size;}
//做如下调用,a_size结果为30,
//请问模板定义中"T (&)[size]"怎么理解,怎么理解a_size=30这样的模板推断结果?
main()
{
i……
[/Quote]

a_size是不需要推断的，这个编译期就可以确定的。

[pengzhixi]

你这个是非类型模板参数。编译期确定，不需要推断了。

[macrojj]

学习了。

[CVA4508M]

在你的代码里传入参数是a, 即类型是 int [30]
T (&)[size]展开后的类型是 int (&)[30]
也就是 int [30]的引用罗