什么时候在函数（&x）中创建指针&x？

Question

何时创建指向a 和b 的指针？ 在下面的代码中，我只声明/启动了a 和b。 但是函数swap 用&a 和&b 来处理它们，它们是指针。

我的问题是， 指向a和b的指针是用int a和int b同时创建的吗？

或者它们是在使用参数&a 和&b 调用swap 函数时创建的？

#include <stdio.h>

void swap(int *a, int *b)
{
    int temp;
    temp = *a;
    *a = *b;
    *b = temp;
}

int main()
{
    int a = 3;
    int b = 5;
    swap(&a, &b);
    printf("%d %d", a, b);
}

Answer 1

指向a 和b 的指针是作为函数调用中参数表达式的评估结果而创建的

swap(&a, &b);
     ^^  ^^

来自 C 标准（6.5.3.2 地址和间接运算符）

3 一元 & 运算符产生其操作数的地址。

因此，表达式&a 和&b 具有int * 类型并产生变量a 和b 的地址。

Answer 2

当您说创建了a 和b 时，这实质上意味着为这些变量分配了一块内存，然后使用各自的值对其进行初始化。这些内存块有一个地址。 swap() 中的指针只不过是内存中存储a 和b 的地址。

Answer 3

所有变量都存储在内存中的地址处。因此，您声明的每个变量都存在一个指针，即使您没有将它们声明为指针。要了解实际发生的事情，了解汇编语言的基础知识会有所帮助。以下是您在 x86_64 中编译并通过objdump 查看的代码的相关部分。

6ee:    c7 45 f0 03 00 00 00    mov    DWORD PTR [rbp-0x10],0x3
6f5:    c7 45 f4 05 00 00 00    mov    DWORD PTR [rbp-0xc],0x5
6fc:    48 8d 55 f4             lea    rdx,[rbp-0xc]
700:    48 8d 45 f0             lea    rax,[rbp-0x10]
704:    48 89 d6                mov    rsi,rdx
707:    48 89 c7                mov    rdi,rax
70a:    e8 9b ff ff ff          call   6aa <swap>

在 0x6ee 和 0x6f5 行你的变量被初始化。请注意，在这种情况下，它们实际上分别存储在 rbp-0x10 和 rbp-0xc 的堆栈帧中。在接下来的两行中，这些变量的地址分别存储到寄存器 rdx 和 rax 中，然后移动到适当的寄存器（rsi 和 rdi）中，以便将它们传递给交换函数。

总而言之，C 语言的编写水平比实际执行代码的机器架构更高。在机器语言中，变量存储在内存中的位置，这些位置可以通过指针以寄存器、内存部分等的偏移量形式访问。在上面的示例中，您可以看到数据 3 和 5“存储在指针位置”整个时间。