Question

我感到困惑的是内存中指向数组开头的指针。根据我的理解，数组和指针可以使用相同的函数，如*，＆amp;和[]。所以，如果我创建一个char数组，我理解：buffer ==＆amp; buffer [0]。

所以没有括号的arrayname就像一个包含数组第一个条目地址的指针，对吧？

但是当我试图找出指针的地址（其中存储了＆amp; buffer [0]的地址）时，它会给我相同的值，该值存储在指针中（＆amp; arrayname [0]）。怎么可能？虚拟ram中的相同地址如何包含一个地址和buffer [0]的值（在下面的代码中等于'H'）？

#include <stdio.h>
#include <windows.h>

void main() {

  char buffer[] = "Hello";

  printf("Address buffer: %d\n", &buffer);
  printf("Value buffer: %d\n", buffer);
  printf("Address buffer[0]: %d\n", &buffer[0]);
  printf("Value buffer[0]: %c\n", buffer[0]);
  printf("Address buffer[1]: %d\n", &buffer[1]);

  system("pause");
}

所以基本上我对第一个输出感到困惑。不应该与第二个不同吗？非常感谢您的解释...

此致

Answer 1

除非它是sizeof或一元&运算符的操作数，或者是用于在声明中初始化另一个数组的字符串文字，否则表达式为“N-element array of T“将被转换（”衰减“）为”指向T的指针“的表达式，表达式的值将是数组的第一个元素的地址。

假设以下代码：

char buffer[] = "Hello";
...
printf( "%s\n", buffer );

在对printf的调用中，表达式buffer的类型为“6个元素数组char”;因为它不是sizeof或一元&运算符的操作数，也不是用于初始化声明中的另一个数组，所以表达式被转换（“衰变”）到类型为“的表达式”指向char“（char *）的指针，表达式的值是数组中第一个元素的地址。

现在，将printf调用更改为

printf( "%p", (void *) &buffer );

这一次，buffer是一元&运算符的操作数;不会发生自动转换为“指向char的指针”。相反，表达式&buffer的类型是“指向char的6元素数组的指针”，或char (*)[6] ¹（括号内容）。

两个表达式产生相同的值 - 数组的地址与数组的第一个元素的地址相同 - 但是的类型两个表达方式不同。这很重要; char *和char (*)[6]不可互换。

那么，为什么这个时髦的转换魔法首先存在？

当Dennis Ritchie最初设计C时，他的设计基于一种名为B的早期语言（go figure）。在B中分配数组时，如下所示：

auto arr[N];

编译器会为数组内容留出N个元素，以及为数组的第一个元素存储偏移量的附加单元格（基本上是指针值，但没有任何类型的语义; B是“无类型的” “ 语言）。这个附加单元格将绑定到变量arr，为您提供如下内容：

          +---+
arr:      |   | --+
          +---+   |
           ...    |
          +---+   |
arr[0]:   |   | <-+
          +---+
arr[1]:   |   |
          +---+
arr[2]:   |   |
          +---+
 ...       ...
          +---+
arr[N-1]: |   |
          +---+

Ritchie最初保留了这些语义，但在他开始向C语言添加结构类型时遇到了问题。他希望结构类型直接编码它们的字节; IOW，给出类似

的类型

struct {
  int inode;
  char name[14];
};

他想要一个2字节的整数，紧接着是一个14字节的数组;没有一个好地方将指针存放到数组的第一个元素。

所以他摆脱了它;他没有为指向数组第一个元素的指针留出存储空间，而是设计了语言，以便从数组表达式本身计算数组的位置。因此，这篇文章开头的规则。

<小时/> ^{1。 %p转换说明符期望void *表达式作为其对应的参数，因此是强制转换。}

Answer 2

这是错误的：

printf("Address buffer: %d\n", &buffer);
printf("Value buffer: %d\n", buffer);

将数组作为指针的正确代码为：

printf("Address buffer: %p\n", (void*) buffer); 
printf("Value buffer: %d\n", *buffer);

您可以将array[x]翻译为*(array + x)，意思是：

读取由元素大小
的数组+ x指向的内存区域

指向数组第一个元素的指针的地址？

2 个答案: