将struct/union传递给C中的函数

Question

C编译器如何向函数传递/返回struct/union？在函数调用之前是否将结构推送到堆栈只是传递给函数的struct的引用？

同样的问题适用于退货.函数返回的是什么？

typedef struct {
    long m4;
    long m3;
    long m2;
    long m1;
} ext_components_t;

typedef union { 
    long array[sizeof(int_components_t)];
    int_components_t comp;
} int_components_u;

typedef union {
    long array[sizeof(ext_components_t)];
    ext_components_t comp;
} ext_components_u;

#pragma never_inline
ext_components_u transfer(int_components_u m) 
{
    ext_components_u out;
    out.comp.m1 = 10*m.comp.a+11*m.comp.b+12*m.comp.c;
    out.comp.m2 = 20*m.comp.a+21*m.comp.b+22*m.comp.c;
    out.comp.m3 = 30*m.comp.a+31*m.comp.b+32*m.comp.c;
    out.comp.m4 = 40*m.comp.a+41*m.comp.b+42*m.comp.c;
    return out;
}

volatile int_components_u x;
volatile ext_components_u y;
void main()
{
    y = transfer(x);
}

这是我的猜测(伪代码):

push_stack(x.array[0])
push_stack(x.array[1])
push_stack(x.array[2])

call transfer

y.array[0] = shift_stack()
y.array[1] = shift_stack()
y.array[2] = shift_stack()
y.array[3] = shift_stack()

或另一种解决方案可能是:

call transfer(&x)
y.array[0] = shift_stack()
y.array[1] = shift_stack()
y.array[2] = shift_stack()
y.array[3] = shift_stack()

Answer 1

在C中,函数的所有参数都按值传递.这意味着在传递给函数时会复制结构和联合.如何处理复制是特定于实现的,但最常见的方法是在堆栈上分配空间并将结构/联合的内容复制到该空间中.

返回数据也是如此,它由值返回(即复制).

这里有一件重要的事情需要注意,那就是C没有通过引用传递.传递指针时,它是通过值传递的指针,即它被复制.

但是,您可以使用指针来模拟通过引用传递.