为什么可以在带有或不使用＆amp的情况下写下缓冲区位置中的径向/fwrite中使用的数组；并产生相同的结果？

Question

为什么这些产生相同的结果？

uint8_t header[HEADER_SIZE];
fread(&header, sizeof(uint8_t), HEADER_SIZE, input);
fwrite(&header, sizeof(uint8_t), HEADER_SIZE, output);

uint8_t header[HEADER_SIZE];
fread(header, sizeof(uint8_t), HEADER_SIZE, input);
fwrite(header, sizeof(uint8_t), HEADER_SIZE, output);

在第一个版本中，＆amp;是否不仅可以访问数组的位置，而不是像第二版中的数组本身一样？我是否知道为什么会使用＆amp;，但我认为数组本身就是“指针”，因此一般来说，没有理由再获得地址？在这种情况下只是冗余吗？

Answer 1

函数fread声明以下方式

size_t fread(void * restrict ptr, size_t size, 
             size_t nmemb, 
             FILE * restrict stream);

其第一个参数具有不合格的类型void *（实际上，参数类型是合格类型void *限制 *限制 ）。指向任何类型对象的指针可以分配给类型void *的指针。

表达式＆amp; header具有指针类型uint8_t（ *）[header_size]，并产生数组占据的内存程度的初始地址，

表达式标题用作fread的呼叫的参数，将其隐式转换为类型uint8_t *的指针被阵列占据。

因此，这些调用

fread(&header, sizeof(uint8_t), HEADER_SIZE, input);
fwrite(header, sizeof(uint8_t), HEADER_SIZE, output);

是等效的，因为函数fread获得其参数的值相同。

考虑以下简单的演示程序。

#include <stdio.h>

int main( void )
{
    char s[6] = "Hello";

    printf( "The value of the expression  s is %p\n", ( void * )s );
    printf( "The value of the expression &s is %p\n", ( void * )&s );
}

程序输出可能看起来像是

The value of the expression  s is 0x7fffa4577a2a
The value of the expression &s is 0x7fffa4577a2a

您可以看到的两个输出值彼此平等，尽管在第一个调用中，使用的参数表达式具有类型char *，而在第二种情况下，使用的参数表达式具有类型char（ *）[6]。

但是，如果您要编写，

#include <stdio.h>

int main( void )
{
    char s[6] = "Hello";

    printf( "%s\n", s );
    printf( "%s\n", &s );
}

则编译器可以为printf的第二个呼叫发出消息，该函数期望该函数的参数char *而不是类型<代码> char（ *）[6] 虽然表达式的两个值彼此平等。

Answer 2

标题是char的数组。将数组作为参数有效地传递给其第一个元素的指针，fread和fwrite接受指示void作为其第一个参数，所以fread（标题，sizeof（uint8_t），header_size，input）;很好，尽管为了与数组定义保持一致，但编写：

    fread(header, sizeof(*header), HEADER_SIZE, input);

＆amp; header具有不同的类型：指向一个或多个数组的header_size字符（uint8_t（*）[header_size]）。由于fread接受任何形式的指针，因此编译器将接受呼叫fread（＆amp; header，sizeof（uint8_t），header_size，header_size，input）;而无需警告。

因为header和＆amp; header具有相同的地址，fread将按预期行事，尽管该行为不能由C标准保证。但是请注意，如果header是指向char的指针，则传递＆amp; header确实会产生非常不同的结果，但确实不确定的行为确实是指针将被覆盖，并且可能有更多字节以外...