Question

在子函数中如果参数为数组，那么数组在定义时可以不指定大小吗？为什么有时候说要必须指定数组大小！？

还有，书上说使用指针定义数组可以避免指定数组大小的问题，那为啥有时候用指针定义一个数组时有需要所谓的开辟空间？这不就是说指针定义也需要指定数组长度嘛！到底是怎么回事啊！
大家看下面的程序，子函数中数组没有指定长度，程序也能运行，这是为啥？
#include <stdio.h>
#include <string.h>

/************found************/
void fun (char s[], char t[])
{
int i, d;
d = strlen(s);
for (i = 0; i<d; i++) t[i] = s[i];
for (i = 0; i<d; i++) t[d+i] = s[d-1-i];
/************found************/
t[2*d] = '\0';
}

main()
{
char s[100], t[100];
printf("\nPlease enter string S:"); scanf("%s", s);
fun(s, t);
printf("\nThe result is: %s\n", t);
}

Answer 1

数组在定义的时候必须指定大小，因为在ISO c++ 98标准中，数组是需要在程序堆上分配固定大小的空间，而之后不可更改。

数组作为函数参数的时候，实际只相当于传递一个数组首地址（和指针作用是一样的），而不是为数组分配空间，和实际声明定义的数组是有区别的，这个可以不指定大小。

Answer 2

不可能声明一个数组形参，形如int a[]形式的声明中a是一个指针。
使用指针T*代替数组T[N]实际上是避免了在编译期指定数组大小，即可以通过malloc() / new[] / ...在运行期动态指定“数组”大小——当然，这实际上不是一个数组。
使用VLA也可以达到同样的效果。

不存在“用指针定义数组”这种说法。