int a[] = {1, 2 ,3};
我理解数组名会被转换为指针。通常用的术语是它们“衰变”成指针。
然而，对我来说，一个指针是一个保存另一个内存区域地址的内存区域，所以：
int *p = a;
可以像这样绘制：
----- -----
p ---------> a[0]. .....
----- -----
0x1 0x9
但是 a 本身并没有指向另一个内存区域，它就是内存区域本身。
因此，当编译器将其转换为指针时，它会将其保存在内存中（例如 p），还是隐式转换？
C有对象和值。
值是一个抽象的概念，通常表示某种含义，比如数学上的值。数字有像4、19.5或-3这样的值。地址的值是内存中的位置。结构体的值是其成员作为一个整体考虑的值。
值可以用于表达式中，例如3 + 4*5。当值在表达式中使用时，在C所使用的计算模型中，它们没有任何内存位置。这包括地址值，例如&x在&x + 3中。
对象是内存区域，其内容可以表示值。声明int *p = &x定义了p为一个对象。内存被保留给它，并且它被赋予值&x。
对于声明为int a[10]的数组，a是一个对象；它是保留给10个int元素的所有内存。
当在表达式中使用a时，除了作为sizeof或一元运算符&的操作数外，表达式中使用的a会自动转换为其第一个元素的地址，即&a[0]。这是一个值。没有为其保留任何内存；它不是一个对象。可以将其作为一个值在表达式中使用，而无需为其保留任何内存。请注意，实际上没有以任何方式转换a；当我们说a被转换为指针时，我们仅是表示生成一个地址以在表达式中使用。
a 不是对象本身，它是指定对象的标识符。 - Ian Abbotta是对象，“a”是标识符，就像狗是动物，“狗”是一个单词一样。我们写“狗有四条腿”，而不是“被称为狗的东西有四条腿”。也就是说，当我们在句子中使用名称时，名称通常指代所命名的事物；它不是对名称作为字符序列的引用。 - Eric Postpischilint a[10]定义了一个对象，而该对象是十个int的内存。对象和十个int的内存是同一件事情。 - Eric Postpischila 本身并没有指向内存的另一个区域，而是内存区域本身。所以，当编译器将其转换为指针时，它会在内存中保存它（例如 p）还是隐式转换？”a 评估为 &a[0]（指向 a[0] 的指针）。
&a 使用时，a 不会衰减为指向其第一个元素的指针。相反，它会获得一个指向整个数组 int (*)[3] 的指针。#include <stdio.h>
int main( void )
{
int arr[] = { 1, 2, 3 };
printf( "%p", (void *) arr );
return 0;
}
当我在Red Hat系统上使用gcc编译x86-64时，会得到以下机器码：
GAS LISTING /tmp/ccKF3mdz.s page 1
1 .file "arr.c"
2 .text
3 .section .rodata
4 .LC0:
5 0000 257000 .string "%p"
6 .text
7 .globl main
9 main:
10 .LFB0:
11 .cfi_startproc
12 0000 55 pushq %rbp
13 .cfi_def_cfa_offset 16
14 .cfi_offset 6, -16
15 0001 4889E5 movq %rsp, %rbp
16 .cfi_def_cfa_register 6
17 0004 4883EC10 subq $16, %rsp
18 0008 C745F401 movl $1, -12(%rbp)
18 000000
19 000f C745F802 movl $2, -8(%rbp)
19 000000
20 0016 C745FC03 movl $3, -4(%rbp)
20 000000
21 001d 488D45F4 leaq -12(%rbp), %rax
22 0021 4889C6 movq %rax, %rsi
23 0024 BF000000 movl $.LC0, %edi
23 00
24 0029 B8000000 movl $0, %eax
24 00
25 002e E8000000 call printf
25 00
26 0033 B8000000 movl $0, %eax
26 00
27 0038 C9 leave
28 .cfi_def_cfa 7, 8
29 0039 C3 ret
30 .cfi_endproc
31 .LFE0:
33 .ident "GCC: (GNU) 7.3.1 20180712 (Red Hat 7.3.1-6)"
34 .section .note.GNU-stack,"",@progbits
第17行通过从堆栈指针减去16来为数组分配空间（是的，数组中只有3个元素，应该只需要12个字节 - 我会让更熟悉x86_64架构的人解释为什么，因为我会弄错）。
第18、19和20行初始化了数组的内容。请注意，在机器代码中没有arr变量 - 它全部用当前帧指针的偏移量表示。
第21行是转换发生的地方 - 我们将数组的第一个元素的有效地址（即存储在%rbp寄存器减去12的地址）加载到%rax寄存器中。然后将该值（以及格式字符串的地址）传递给printf。请注意，这种转换的结果除了寄存器外没有存储在任何其他地方，因此下一次写入%rax时它将被覆盖 - 换句话说，没有像为数组内容设置存储空间那样为其设置永久存储空间。
同样，这就是Red Hat上运行的x86-64上的gcc的方式。在不同体系结构上的不同编译器将以不同的方式执行。
void func(int notReallyAnArray[42]);
really means this:
void func(int *notReallyAnArray);
int *p = a之后，p指向数组a的第一个元素。如果您仅编写a，则a会衰减为指向a的第一个元素的指针。 - Jabberwockya没有被存储。这只是编译器的“技巧”。a只是&a[0]的简写。 - Jabberwocky1是一个int值，但它没有地址。&i是一个指针值，但它没有地址。数组名的衰减会产生一个指针值，但这个指针值没有地址。 - Ian Abbott