在C语言中， 数组在定义时必须分配空间。无论是静态数组还是动态数组，都需要在内存中为其分配空间。以下是具体的说明：

静态数组：

在定义数组时，必须指定数组的大小，例如：

```c

int arr；

```

这会在栈上为数组分配固定大小的空间。

动态数组：

可以使用`malloc`函数动态申请数组空间，例如：

```c

int* arr = （int*）malloc（10 * sizeof（int））；

```

这会在堆上为数组分配空间，并且需要手动释放这块内存。

形参中的数组：

当数组作为函数参数传递时，会退化为指针，此时不需要在函数内部重新分配空间。例如：

```c

void foo（int arr[]） {

// 函数内部可以通过arr指针访问数组元素

}

```

字符串数组：

定义字符串数组时，如果不显式初始化，数组中的元素会被初始化为0，例如：

```c

char str[] = "hello"；

```

总结来说，C语言中的数组在定义时必须分配空间，无论是静态还是动态方式。未初始化的数组元素会被自动初始化为0。在函数参数传递时，数组会退化为指针，不需要重新分配空间。