将指针作为参数传递

Question

int *tomato(int *a, int *b) {
    int *foo = (int*)malloc(sizeof(int));
    *foo = *a + *b;
    return foo;
}

在此函数中，我有foo分配在堆中并返回指向int的指针，但是函数参数中的指针*a和*b也分配在堆中吗？我在这里有点困惑，通常情况下，参数是在堆栈中分配的。

Answer 1

指针是tomato函数中的局部变量，就像foo一样。

它们指向的值可以分配在任何地方。例如，您可以这样称呼它：

int foo = 1;
int *bar = malloc(sizeof(int));
*bar = 3;
int *result = tomato(&foo, bar);

a将指向foo变量，而b将指向由malloc分配的内存。

Answer 2

C中的参数不一定在堆栈（*）中分配，但是它们的作用域必须限制在tomato功能块中，并且必须传递按值。

在分配a中取消引用b和*foo = *a + *b时，您将指针a和b中存储的内存地址解释为整数，求和它们，然后将结果写到指针foo中存储的内存地址中（在您的示例中，该地址恰好在堆中）。

分配后，可以通过为它们分配不同的内存地址（即指针）来随意更改a和b，并且由于它们的范围是限于功能块（例如a = foo）。但是，如果您更改了它们所引用的内存内容（例如*a = 0），则将在函数范围之外看到，就像您在其他地方分配的内存空间（堆栈或堆）上写入一样。 / p>

（*）参数可能不会在内存（即堆栈）中传递给函数。根据编译器/体系结构，它们可以直接分配给处理器寄存器。无论哪种方式，这都是透明的编译器优化，您不必担心……参数的行为将完全相同。