对传递引用感到困惑

Question

考虑下面的例子，我试图以 C 方式传递引用:

// Function prototypes
void increment(unsigned* number);

int main()
{
    unsigned* thing;
    increment(thing);
    cout << *thing;
    return 0;
}

void increment(unsigned* number)
{
    number = (unsigned*) malloc(sizeof(unsigned));
    *number = 1;
}

我在 cout << *thing 行遇到程序崩溃.是的，我在这里使用 C++，但我想尝试 C 版本的传递引用，因为我的主要项目是 C 语言。

我通过如下更改代码来修复它:

// Function prototypes
void increment(unsigned** number);

int main()
{
    unsigned* thing;
    increment(&thing);
    cout << *thing;
    return 0;
}

void increment(unsigned** number)
{
    *number = (unsigned*) malloc(sizeof(unsigned));
    **number = 1;
}

现在可以正常工作了，输出为 1，正如我预期的那样。但是，我不明白为什么。我有点困惑为什么在顶部放置一个额外的指针可以解决我的问题。

谢谢!

Answer 1

C 没有传递引用。除数组外，所有参数均按值传递。

在您的第一个版本中，您按值传递变量 thing。在 increment 函数中，它分配内存并将其分配给局部变量 number。但这对调用者的变量没有影响，因为传递的只是它的值，而不是对变量的引用。因此，当 increment 返回时，thing 仍未初始化，并且间接通过它会导致未定义的行为。

如果函数需要修改调用者的变量，调用者必须传递指向变量的指针，而不仅仅是值。这就是您在第二个版本中所做的。然后函数可以通过指针间接更新变量。

当您在 C++ 中使用引用时，这本质上就是幕后发生的事情。在 C 中，您必须显式编写额外级别的间接寻址。