サブルーチンが呼び出しルーチンのスタックに書き込むことは安全ですか？

Question

私は現在、その名前の通り、2つの文字列を連結するルーチンString_concat(char *str1, char *str2)を使用しています。これを行うために、このルーチンはヒープ上にメモリを動的に割り当てます（malloc()経由）。しかし、返された文字列は呼び出し側のルーチンでしか使われていないので、スタックにメモリを直接割り当てることを考えているので（alloca()経由）、String_concat()をString_concat2(char* str1, char* str2, char* dest)のように置き換えると、 ）を引数として使用します。だから私の質問です：String_concat2()呼び出しルーチンのスタックに書き込むのは大丈夫ですか、または__attribute__((always_inline))経由で強制的にインライン展開する必要がありますか？

Answer 1

関数がその呼び出し関数のスタックフレームに書き込むのに問題はありません。例えば

：上記のコードで

void foo(int *ptr) { 
    *ptr = 7; 
} 

void bar(void) { 
    int value; 
    foo(&value); 
} 

、foo機能は、それを呼び出すbar関数のスタックフレームにある場所に書き込んでいます。

Answer 2

呼び出し先ルーチンは、常に呼び出し元の値を変更できます。しかし、アセンブリ言語を使用してコンパイラを模倣しない限り、は、独自の変数が既に存在するため、スペースを呼び出し元スタックに割り当てます。

あなたが呼び出し側に配列を返すために必要がある場合、2つだけのポータブルな方法は次のとおりです。

• 呼び出し先は、malloc関数でメモリを割り当て、呼び出し元にそのアドレスを渡す - 呼び出し側が、後にメモリブロックを解放します
• 発信者事前割り当てメモリと呼び出し先にバッファを渡す - 呼び出し先のみバッファを充填し、それが全く割り当てられているかどうかではない割り当てされる心配しない（静的または自動ストレージかもしれない）