Cはどのように構造体を返しますか？

Question

(gdb) disas func 
Dump of assembler code for function func: 
0x00000000004004b8 <func+0>: push %rbp 
0x00000000004004b9 <func+1>: mov %rsp,%rbp 
0x00000000004004bc <func+4>: movl $0x64,0xfffffffffffffff0(%rbp) 
0x00000000004004c3 <func+11>: movb $0x61,0xfffffffffffffff4(%rbp) 
0x00000000004004c7 <func+15>: mov 0xfffffffffffffff0(%rbp),%rax 
0x00000000004004cb <func+19>: leaveq 
0x00000000004004cc <func+20>: retq 
End of assembler dump. 


t_test func() 
{ 
    t_test t; 
    t.i = 100; 
    t.c = 'a'; 
    return t; 
} 

ローカル変数tが返されているようですが、このような仕事が保証されていますか、返されたときにローカル変数を参照しないと思われますか？

Answer 1

恐らくraxは構造全体を保持するのに十分です。 0x00000000004004c7では、アドレスではなく構造体全体を取得します（代わりにleaを使用します）

Answer 2

スタックポインタは関数の開始時に変更されないため、t_testの割り当ては '関数内で作られているので、関数によって解放されません。これがどのように処理されるかは、使用される呼び出し規約によって異なります。関数がどのように呼び出されているかを見ると、それがどのように行われているかを見るのが簡単になります。

Answer 3

元のコードは、構造体へのポインタではなく構造体型を返すため、関数で作成された構造体のコピーを返しています。それは、構造全体がraxで値渡しされているように見えます。一般的に言えば、コンパイラは、これと、呼び出し元と呼び出し先の振る舞いと呼び出し規約に応じて、さまざまなアセンブリコードを生成することができます。

構造を処理するための適切な方法が出てパラメータとしてそれらを使用することです。私の経験で

void func(t_test* t) 
{ 
    t->i = 100; 
    t->c = 'a'; 
} 

Answer 4

、Cは構造体を返す方法を標準的な方法はありません。構造体を渡すことができるように、コンパイラは通常、（ユーザには目に見えない）構造体へのポインタを渡します。このポインタには、関数が内容をコピーすることができます。このポインタがどのように渡されるか（スタックの最初または最後）は、実装に依存します。 32ビットMSVC++のようなコンパイラの中には、EAXやEDXのようなレジスタ内の小さな構造体を返すものがあります。どうやら、GCCはそのような構造体をRAXで64ビットモードで返します。

しかし、もう一度これがどのように行われるのか標準的な方法はありません。これは、関数を使用するコードの残りの部分も同じコンパイラでコンパイルされても問題ありませんが、関数がDLLまたはlibのエクスポートされた関数であれば問題になります。私はこれを数回、別の言語（Delphi）や異なるコンパイラを使ったC言語などの関数を使用すると噛まれました。 this linkも参照してください。

Answer 5

どのように返されるのかはまったく標準的ではありませんが、通常はRAXにあります。あなたの例では、t_test :: iとt_test :: cがt_testの唯一のメンバーであり、それぞれが最大で32ビットであると仮定すると、構造体全体は64ビットのレジスタに収まるので、RAXから直接値を返します通常は2つのレジスタに収まるものがRAX：RDX（またはRDX：RAX、私は共通の順序を忘れてしまいます）で返されます。

3つ以上のレジスタの場合、一般に、呼び出し関数内のオブジェクト（通常は戻り値が直接割り当てられるもの）を指す、隠されたポインタパラメータが最初のパラメータとして渡されます。このオブジェクトは、呼び出された関数から返される前に（通常は呼び出された関数で使用されるローカル構造からコピーされる）書き込まれ、通常渡された同じポインタがRAXに返されます。

EAX/EDXは、32ビットx86システムのRAX/RDXに​​置き換えることができます。

"this"ポインタをスタックに渡す規約（標準的なx86 GCCの規則のようなもの）では、戻り値ポインタは通常、最初のものではなく隠れた第2引数として渡されます。