关于非类型模版形参——数组为什么要以引用传值

[One-_-Piece]

函数里并没有改变数组里的值，为什么一定要用引用？
代码如下：

#include <iostream>
#include <string>
#include <vector>
using namespace std;

template <class T, size_t N>
size_t size( T (&arr)[N] )   // 为什么要用引用
{
	return N;
}

template <class T, size_t N>
void printValues( const T (&arr)[N] ) // 为什么要用引用
{
	for ( size_t i = 0; i != N; ++i )
	{
		cout << arr[ i ] << endl;
	}
}

int main()
{
	int a[] = { 1, 2, 3, 4 };
	int length = size( a );
	printValues( a );

	return 0;
}

[unituniverse2]

同意楼上的观点

[rocktyt]

数组传引用能避免数组退化为指针，可以保留数组的长度信息

[lm_whales]

不是非要不可的，只是一种华而不实的做法，只是想保留数组的全部信息而已！

[rocktyt]

引用 7 楼 lm_whales 的回复:

不是非要不可的，只是一种华而不实的做法，只是想保留数组的全部信息而已！

数组长度是编译期常量，退化后想传递长度信息得消耗额外的运行期资源，怎么能认为没用呢

[lm_whales]

因为模板参数　已经有数组的大小信息了，size_t N，这个N不是变量，是常量。 每次使用这个模板，都是用N个都是一个定值，也许只是为了模板匹配更好而已； 这个模板的代码膨胀的速度是惊人的；

[One-_-Piece]

引用 5 楼 supermegaboy 的回复:

无规定一定要用引用，用指向数组的指针一样可以，如下所示，只不过用引用可以在函数内部获得简洁清晰的语法结构：

template< typename T, size_t N >
void fun( T ( *p )[N] )
{
    std::cout << ( *p )[1] << std::endl;
}

int main()
{
    int a[ 10 ] = { 100, 200, 300 };
    double b[ ] = { 50.24, 60.32, 70.99 };
    fun( &a );
    fun( &b );
    return 0;
}

这样做不会丢失数组的长度信息吗？与不用引用和指针有什么区别？

[One-_-Piece]

引用 8 楼 rocktyt2 的回复:

引用 7 楼 lm_whales 的回复:

不是非要不可的，只是一种华而不实的做法，只是想保留数组的全部信息而已！

数组长度是编译期常量，退化后想传递长度信息得消耗额外的运行期资源，怎么能认为没用呢

为什么五楼的方法也行的通，利用指针的？

[mujiok2003]

这就是指针与引用的区别：引用由指针的高效，但是没有指针的“拖沓”（比如,&, ->, *) 这里完全可以用指针。

[rocktyt]

引用 10 楼 aytfly 的回复:

[quote=引用 5 楼 supermegaboy 的回复:] 无规定一定要用引用，用指向数组的指针一样可以，如下所示，只不过用引用可以在函数内部获得简洁清晰的语法结构：

template< typename T, size_t N >
void fun( T ( *p )[N] )
{
    std::cout << ( *p )[1] << std::endl;
}

int main()
{
    int a[ 10 ] = { 100, 200, 300 };
    double b[ ] = { 50.24, 60.32, 70.99 };
    fun( &a );
    fun( &b );
    return 0;
}

这样做不会丢失数组的长度信息吗？与不用引用和指针有什么区别？[/quote]5楼传递的是数组的指针，本质上和数组的引用没什么区别

引用 9 楼 lm_whales 的回复:

因为模板参数　已经有数组的大小信息了，size_t N，这个N不是变量，是常量。 每次使用这个模板，都是用N个都是一个定值，也许只是为了模板匹配更好而已； 这个模板的代码膨胀的速度是惊人的；

别随便就冒出“这个模板的代码膨胀的速度是惊人的”这句话来行么，分清场合 你有几个不同类型（类型里包括长度信息）就有几个模板函数 实际上你的代码里一共能有几个数组？几百个？几千个？有人这样写代码的吗？ 真有这么大规模的代码量，还会在乎这一个小模板？

[金丝龙麟闪电劈]

与模板无关吧,T (&arr)[N],可以保存数组长度信息

[minnnnmi]

类似于防御式编程，如果你确定你的参数必须是某个维度的数组，那么传递数组的引用比传递数组名指针更安全，一种比较好的编程习惯。

[minnnnmi]

  void f(int arr[10]);
  int arr[5];
  f(arr); // 编译是能通过的。

  void f(int (&arr)[10]);
  int arr[5];
  f(arr); // 编译器会报错。

[qq120848369]

为了模板可以推导数组大小, 防止数组退化成首地址.

[mujiok2003]

引用 15 楼 minnnnmi 的回复:

类似于防御式编程，如果你确定你的参数必须是某个维度的数组，那么传递数组的引用比传递数组名指针更安全，一种比较好的编程习惯。

用数组的指针也可以。

[minnnnmi]

贴段代码说明一下。

[minnnnmi]

引用 18 楼 mujiok2003 的回复:

[quote=引用 15 楼 minnnnmi 的回复:] 类似于防御式编程，如果你确定你的参数必须是某个维度的数组，那么传递数组的引用比传递数组名指针更安全，一种比较好的编程习惯。

用数组的指针也可以。 [/quote] 贴段代码说明一下呗。

[mujiok2003]

引用 20 楼 minnnnmi 的回复:

[quote=引用 18 楼 mujiok2003 的回复:] [quote=引用 15 楼 minnnnmi 的回复:] 类似于防御式编程，如果你确定你的参数必须是某个维度的数组，那么传递数组的引用比传递数组名指针更安全，一种比较好的编程习惯。

用数组的指针也可以。 [/quote] 贴段代码说明一下呗。[/quote]

 
  void f(int (*arr)[10]);
  int arr[10];
  f(arr); // 编译器会报错。
  f(&arr); //okay

[minnnnmi]

引用 21 楼 mujiok2003 的回复:

[quote=引用 20 楼 minnnnmi 的回复:] [quote=引用 18 楼 mujiok2003 的回复:] [quote=引用 15 楼 minnnnmi 的回复:] 类似于防御式编程，如果你确定你的参数必须是某个维度的数组，那么传递数组的引用比传递数组名指针更安全，一种比较好的编程习惯。

用数组的指针也可以。 [/quote] 贴段代码说明一下呗。[/quote]

 
  void f(int (*arr)[10]);
  int arr[10];
  f(arr); // 编译器会报错。
  f(&arr); //okay

[/quote] 你确信代码能编译通过？

[minnnnmi]

   int arr[10][10];
   f(arr); // 这样也能编译通过，f()参数的限制就不那么强力了。
   

[金丝龙麟闪电劈]

学什么学,大学找个家里有钱的女友,才是正经!