c - 为什么不能在函数中修改结构体的成员变量？

Question

我很好奇为什么在将结构体的变量作为参数传递给函数时不能修改它。我知道参数是按值传递的，但是在传递结构变量时，您将其引用作为值传递。

当然 C 不会在堆栈上创建结构的副本，因为传入的结构引用的值与将结构指针传递给函数的值相同。

#include <stdio.h>
#include <stdlib.h>


typedef struct String {
    char* name;
    int x;
} String;

/* Func Protos */
void foo(String str);
void bar(String * str);
void banjo(String str);

int main() {
    String str = *(String *)malloc(sizeof(String));
    str.x = 5; /* x == 5 */
    foo(str); /* x == 5 still */
    printf("%d\n", str.x);
    banjo(str); /* x == 5 still */
    printf("%d\n", str.x);
    bar(&str); /* and of course, x = 0 now */
    printf("%d\n", str.x);
}

void foo(String str) {
    printf("%d\n", str); /* Same value as if we passed String * str */
    str.x = 0; 
}

void bar(String * str) {
    printf("%d\n", *str);
    str->x = 0;
}

void banjo(String str) {
    printf("%d\n", str);
    String * strptr = &str; /* This should be identical to passing String * str */
    strptr->x = 0;
}

产生这个输出:

3415000
5
3415000
5
3415000
0

如有任何帮助，我们将不胜感激!

Answer 1

void banjo(String str) {
    printf("%d\n", str);
    String * strptr = &str; /* This should be identical to passing String * str */
    strptr->x = 0;
}

C 是按值传递。您在带有 str 参数的 banjo 函数中得到的是 main str 对象的副本。

因此您的 banjo 函数等同于:

void banjo(String str) {
    printf("%d\n", str);
    strptr.x = 0;  // useless, the object is discarded after function returns
}

顺便说一句，printf("%d\n", str); 无效。 d 转换说明符需要 int 但您传递的是结构值。该调用调用未定义的行为。如果要打印 str 对象的地址，请使用:

printf("%p\n", (void *p) &str);