Ｃ言語　関数の戻り値と自動変数

Question

かなり基礎的な質問になるのですが、疑問に思うことがあり、質問をさせていただきます。

関数内で宣言した変数を戻り値として使う場合ですが、ポインタなどではなく実体の場合でも、静的変数として宣言をしたほうが良いのでしょうか？
現実的に考えると、プログラムが関数から出て、呼び出した側の関数が戻り値を受け取るまでの瞬間に、その領域が書き換えられる可能性は極めて低いと思うのですけど、Ｃ言語の仕様としてはどうなのでしょうか？
関数内で宣言した戻り値に使う変数には、必ずstaticをつけた方が良いのでしょうか？

もしおわかりでしたら教えて下さい。

1839cc · Accepted Answer

> ちょっと難しく考えすぎちゃっていました。

いえ、とてもよい感覚をお持ちだと思います。
恐らく、「呼び出し元が戻り値を受ける前に、返したいローカル変数が消滅してしまうのではないか」という懸念をお持ちなのではないでしょうか。
だとすれば、お察しの通りです。
おそらく、多くのC言語およびC++言語のコンパイラは、そのようなコードを生成するでしょう。

けれど、安心してください。
そのようなコンパイラであったとしても、戻り値は暗黙的に一時変数に待避されていますので、呼び出し元は戻り値を安全に受けることができます。
つまり、static にする必要はありません。

ただ、一時変数にコピーされるということは、無駄なコピーが１回働くということを意味します。
ですので、大きな構造体などを戻り値に指定するのは避けたほうがよいでしょう。
大きな構造体を返したい場合は、構造体のポインタを引数で受け取るように心がけてください。
目安として、アドレスより大きな構造体は返さないことです。

hi-mi-tsu · Answer

> 現実的に考えると、プログラムが関数から出て、呼び出した側の関数が戻り値を受け取るまでの瞬間に、その領域が書き換えられる可能性は極めて低いと思うのですけど、Ｃ言語の仕様としてはどうなのでしょうか？
この問題はマルチスレッドにしない限り起りません。
(厳密には他にもあると思いますが)

> 関数内で宣言した戻り値に使う変数には、必ずstaticをつけた方が良いのでしょうか？
基本的にする必要はないと思いますが、
ケースバイケースだと思います。

個人的に必要がある思うケースは、
ある関数とあるデータの関係を密接にしたい場合は必要だと思います。

staticの変数を返す関数ではないですが
string.h にある、strtokとstrtok_rの違いについて考えてみてください。
strtokは確実に、staticな変数を使っています。
(もしかするとスレッドローカル変数かもしれませんが)

aris-wiz · Answer

>関数内で宣言した変数を戻り値として使う場合ですが、ポインタなどではなく実体の場合でも、静的変数として宣言をしたほうが良いのでしょうか？
変数であろうと、ポインタ変数であろうと、
関数内で宣言された自動変数は関数終了時に破棄されます。
関数内で宣言した変数のポインタを返却しそれ以外の関数でも使用する
なら静的変数にする以外にありませんが、戻り値として
C言語では式を持つreturn文を実行すると、その式の"値"を
関数呼び出し式の値として呼び出し側へ返すという決まりがあります。(C99)
つまり

・値を返すならば自動変数で問題ない。
　静的変数を返却する場合むしろマルチスレッド環境などでは、
　バグになる可能性もある。

・関数内で宣言した自動変数に値を入れ、その変数のポインタを
　上位に返し使用する事はできない。

・関数内で宣言した静的変数ならばそのポインタを返却し上位でも
　使用することができるが、やはりマルチスレッド環境などでの
　考慮は必要。

って感じの事が分かっていれば大丈夫かと。

noocyte · Answer

マルチスレッド／マルチタスク環境での心配をしておられるのなら，
むしろ戻り値を static 変数に入れる方が問題です．

関数内で変更する変数を static にしてしまうと，
その関数はリエントラントでなくなりますし，
static 変数の排他制御をしないのならスレッドセーフでもなくなります．

リエントラント (Wikipedia)
http://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%A8%E3%83%B3%E3%83%88%E3%83%A9%E3%83%B3%E3%83%88

スレッドセーフ (Wikipedia)
http://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%AC%E3%83%83%E3%83%89%E3%82%BB%E3%83%BC%E3%83%95

ryopis · Answer

No,3です。

スタックに積まれるかどうかは処理系依存でした。。。
レジスタにおかれるのが普通でしょうか。

ryopis · Answer

ポインタも実態は数値なので、ポインタでも変数でも同じコトです。

staticをつけると、マルチスレッドなど複数の実行主体がある場合に
動作が変わりますが、そうでない場合は、基本的に戻り値は
スタックに積まれるので自動変数で問題ないかと。

koko_u_ · Answer

>呼び出した側の関数が戻り値を受け取るまでの瞬間に、
>その領域が書き換えられる可能性
マルチスレッドのプログラムですか？

排他制御と static 変数には何の関係もないと思いますが。
変数を static と宣言することによって tadasuke200 さんが期待している効果を補足すると、アドバイスを得やすいでしょう。

ymmasayan · Answer

return　a*b
なんていう戻り値も使えますから、staticとかautomaticとかは考える必要は無いですね。

Ｃ言語 関数の戻り値と自動変数

> ちょっと難しく考えすぎちゃっていました。

> 現実的に考えると、プログラムが関数から出て、呼び出した側の関数が戻り値を受け取るまでの瞬間に、その領域が書き換えられる可能性は極めて低いと思うのですけど、Ｃ言語の仕様としてはどうなのでしょうか？

>関数内で宣言した変数を戻り値として使う場合ですが、ポインタなどではなく実体の場合でも、静的変数として宣言をしたほうが良いのでしょうか？

マルチスレッド／マルチタスク環境での心配をしておられるのなら，

No,3です。

ポインタも実態は数値なので、ポインタでも変数でも同じコトです。

>呼び出した側の関数が戻り値を受け取るまでの瞬間に、

return a*b

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

Ｃ言語　関数の戻り値と自動変数

return　a*b