c - 在 main 外部和内部定义各种类型的数组

Question

假设我有以下代码:

#define SIZE 5

    ### FIRST OPTION ###

int main(int argc , char** argv){

    ### SECOND OPTION ###

    return 0;
}

我已经在线检查过，并且无法真正理解当我编写这三个代码语句(在编译和运行时)而不是第一个选项行和第二个选项行时它们之间有什么区别(每个语句将单独编写) :

1. struct my_struct 数组[SIZE]
2. 静态结构 my_struct 数组[SIZE]
3. struct my_struct** array = (struct my_struct**)malloc(SIZE*sizeof(struct my_struct*))

迈克尔

Answer 1

选项“1”可用于在全局范围或函数范围(如 main)中定义数组。在下面的示例中，“array”在全局范围内声明，并且在链接时对任何其他模块都可能可见(如果此类模块将其声明为“extern”。程序中只有该数组的一个副本。

文件1.c

struct my_struct array[SIZE];
int main() {
   ...
   array[0] = ...;
}

该文件可以访问file1.c中的声明

文件2.c

extern struct my_struct array[SIZE];
void foo() {
    ...
    array[1] = array[0];
}

现在，如果您在函数内声明它，则每次调用函数时都会分配数组的新副本(在堆栈中)。

int foo() {
    struct my_struct array[SIZE];
    ....
}

它仅在函数内部可见。 “main”是一个普通函数，该规则也适用于该函数。

使用 static (#2) 改变了分配的含义。如果在外部使用，则只有一份与该特定文件关联的数据副本。它将在文件内部可见，但从外部看不到。

static struct my_struct array[SIZE];
int main() {
   ...
   array[0] = ...;
}

如果您在函数内部使用它，那么它将只是与该函数关联的单个副本。它不会在对同一函数的调用之间发生变化，并将保留以前的值。它也只能从函数内部可见。

int foo() {
    static struct my_struct array[SIZE];
    ....
    array[0].counter++;

}

对于#3，所有全局/静态规则保持不变，但仅针对指针。该指针包含动态分配数组的内存地址。