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

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);

Answer 2

这一行：

String str = *(String *)malloc(sizeof(String));

这就是您出现这种行为的原因。将其更改为：

String *str = (String *)malloc(sizeof(String));

这样就可以解决问题了。

Answer 3

声明

printf("%d\n", str);

不打印结构的地址，而是打印第一个元素的值
结构内部。 而且由于结构中的第一个元素是指向 char 的指针，因此 printf
在控制台上给出垃圾值。

试试这个例子：

#include<stdio.h>
struct a
{
   int b;
};

int main()
{
     struct a a1;
     a1.b = 10;  // try giving different value to a1.b
     printf("b = %u\n", a1.b);
     printf("a1 = %u\n", a1);
    return 0;
}

你认为你正在打印结构的基地址，你实际上是
打印结构内第一个元素的值。