我总是用Java编程,这可能就是我对此感到困惑的原因:
在Java中我声明了一个指针:
int[] array
并初始化它或为其分配一些内存:
int[] array = {0,1,0}
int[] array = new int[3]
现在,在C中,这一切都让人感到困惑。起初我认为它就像宣布它一样容易:
int array[]
并初始化或为其分配一些内存:
int array[] = {0,1,0}
int array[] = malloc(3*sizeof(int))
int array[] = calloc(3,sizeof(int))
除非我错了,所有上述内容都等同于Java-C,对吗?
然后,今天我遇到了一个代码,其中我发现了以下内容:
pthread_t tid[MAX_OPS];
以及下面的一些行,没有任何初始化......
pthread_create(&tid[0],NULL,mou_usuari,(void *) 0);
令人惊讶(至少对我而言),代码有效!至少在Java中,会返回一个很好的“NullPointerException”!
所以,按顺序:
我对所有Java-C“翻译”都是正确的吗?
为什么该代码有效?
使用malloc(n*sizeof(int))
和calloc(n,sizeof(int))
之间有什么区别吗?
提前致谢
答案 0 :(得分:38)
您无法为阵列分配内存。数组在整个生命周期内都有固定的大小。数组永远不能为空。数组不是指针。
malloc
将地址返回给为程序保留的内存块。你不能将(作为内存块)“分配”给一个数组,但你可以将这个内存块的地址存储在一个指针中:幸运的是,数组预订是通过指针定义的 - 所以你可以“使用像数组一样的指针” ,例如
int *ptr = malloc(5 * sizeof *ptr);
ptr[2] = 5; // access the third element "of ptr"
free(ptr); // always free at the end
当声明一个没有大小的数组(即array[]
)时,它只是意味着数组的大小是从初始化列表中确定的。那是
int array[] = {1, 2, 3, 4, 5}; // is equal to
int array[5] = {1, 2, 3, 4, 5};
尝试声明没有大小且没有初始化程序的数组是一个错误。
代码pthread_t tid[MAX_OPS];
声明一个名为tid
的数组pthread_t
且大小为MAX_OPS
的数组。
如果数组具有自动存储(即声明在函数内而不是静态的,而不是全局的),则每个数组元素都具有不确定的值(并且它会导致尝试读取此类值的未定义行为)。幸运的是,函数调用所做的就是它将数组的第一个元素的地址作为第一个参数,并且可能在函数内初始化它(元素)。
calloc
和malloc
的区别在于calloc
返回的内存块初始化为零。那是;
int *ptr = calloc(5, sizeof *ptr);
// is somewhat equal to
int *ptr = malloc(5 * sizeof *ptr);
memset(ptr, 0, 5 * sizeof *ptr);
之间的区别
int *ptr = malloc(5 * sizeof *ptr);
// and
int array[5];
是array
具有自动存储(存储在堆栈中),并且在超出范围后被“释放”。但是,ptr
(存储在堆上)是动态分配的,程序员必须free
d。
答案 1 :(得分:4)
你缺少三个非常基本和紧缩(和误导!)的C主题:
如果你写int array[] = malloc(3*sizeof(int));
,你会得到一个编译错误(比如'identifier':数组初始化需要大括号)。
这意味着声明一个数组只允许静态初始化:
int array[] = {1,2,3};
在堆栈中保留3个连续的整数; int array[3] = {1,2,3};
与前一张相同; int array[3];
仍然在堆栈上保留3个连续的整数,但不初始化它们(内容将是随机垃圾)int array[4] = {1,2,3};
当初始化列表未初始化所有元素时,其余元素设置为0(C99§6.7.8/ 19):在这种情况下,您将获得1,2,3,0 请注意,在所有这些情况下,您不是分配新内存,而只是使用已经提交到堆栈的内存。只有当堆栈已满时才会遇到问题(猜测一下,它会是堆栈溢出)。因此,声明int array[];
将是错误的,毫无意义。
要使用malloc
,您必须声明指针:int* array
。
当您编写int* array = malloc(3*sizeof(int));
时,您实际上正在执行三项操作:
int* array
告诉编译器在堆栈上保留一个指针(一个包含内存地址的整数变量)malloc(3*sizeof(int))
在堆上分配3个连续的整数并返回第一个的地址=
将指定返回值(已分配的第一个整数的地址)的副本分配给指针变量所以,回到你的问题:
pthread_t tid[MAX_OPS];
是堆栈上的一个数组,因此不需要分配(如果MAX_OPS
是16,那么堆栈上将保留适合16 pthread_t所需的连续字节数)。此内存的内容将是垃圾(堆栈变量未初始化为零),但pthread_create
在其第一个参数(指向pthread_t
变量的指针)中返回一个值,并忽略任何先前的内容,因此代码很好。
答案 2 :(得分:1)
C提供静态内存分配以及动态 - 您可以从堆栈或可执行内存(由编译器管理)分配数组。这与Java中的方式相同,您可以在堆栈上分配int或在堆上分配Integer。 C中的数组与任何其他堆栈变量一样 - 它们超出范围等。在C99中,它们也可以具有可变大小,但它们无法调整大小。
{}和malloc / calloc之间的主要区别在于{}数组是静态分配的(不需要释放)并自动为您初始化,而malloc / calloc数组必须明确释放,您必须明确初始化它们。但是,当然,malloc / calloc数组不会超出范围,你可以(有时)重新分配()它们。
答案 3 :(得分:0)
2 - 此数组声明是静态的:
pthread_t tid[MAX_OPS];
我们不需要分配内存块,而不是动态分配:
pthread_t *tid = (pthread_t *)malloc( MAX_OPS * sizeof(pthread_t) );
不要忘记释放记忆:
free(tid);
3 - malloc和calloc之间的区别是calloc为数组分配一块内存,并将其所有位初始化为0。
答案 4 :(得分:-2)
当你用C语言编程(而不是C ++)来明确指示*数组时,我觉得它很有用,要记住有一个可以移动的指针。所以我想首先将你的例子改为:
int array[] = {0,1,2};
int *array = malloc(3*sizeof(int));
int *array = calloc(3,sizeof(int));
第一个清楚地表明有一个叫做数组的东西指向一个包含0,1和2的内存块。数组不能在其他地方移动。
你的下一个代码: pthread_t tid [MAX_OPS];
实际上是否会导致分配sizeof(pthread_t)* MAX_OPS的数组。但它没有分配一个名为* tid的指针。有一个数组基址的地址,但你不能把它移到别处。
ptherad_t类型实际上是指针的封面。所以tid
上面实际上是一个指针数组。它们都是静态分配的,但它们没有初始化。
pthread_create
获取数组开头的位置(&tid[0]
),这是一个指针,并分配一块内存来保存pthread数据结构。指针设置为指向新数据结构并分配数据结构。
您的上一个问题--- malloc(n*sizeof(int))
和calloc(n,sizeof(int))
之间的区别在于,后者会将每个字节初始化为0
,而第一个则不会。{/ p>