Q&A
なぜ低評価なんでしょうね。
参照渡し＝ポインタ渡しと値渡しの使い分けについての質問に対する回答としての論点はずれてないと思いました。
ただ、値渡しとして最大はレジスターサイズまででは？
文字列などは必然的にポインター渡しだった気がするんですけど。
タイトルの通りc言語での値渡しと、参照渡しの使い分けについて教えて頂きたいです。
自分は値渡しは大きいデータを扱う場面は使わない方がいいといったぐらいしか分かっていません。
それぞれの利点などを具体的に教えて頂きたいです。
回答2件
0
C言語に「参照渡し」という機能はありません。すべての引数はコピーして渡される値渡しです。
なお、ポインタを渡すことで、別な変数を参照させることは可能です。配列や文字列などはC言語の構文としてコピーできないので、代わりに先頭を指すポインタを渡す形となります。
投稿2019/05/15 10:41
総合スコア146544
0
ベストアンサー
値渡しだと、その内容がコピーされて関数に渡されます。
コピーが渡るため、その値を関数内で変更しても、渡し元は変更されません。
これをどうにかするには、その値を返り値で返す必要があります
おっしゃるように、サイズが大きくなると、渡すときにメモリのコピーを行う必要があります。また、返り値で帰す場合も、そのサイズのコピーが発生することになります。
その分実行速度が遅くなります
また、関数の引数は一般的にスタック領域を介して行われますが、スタックのサイズは限られているため、それを超えるサイズのデータは値渡しでは渡すことができないってこともありますね
投稿2019/05/15 10:46
総合スコア88163
ある程度はレジスタで渡されますが、ある程度を超えるとスタックに格納されますね。
まあ、組み込みなんかでワンチップMPUなんかだとスタックサイズは数キロしか確保しないため、ここらへんは切実だったりします
saziさんはC言語に「参照渡し」があると主張する派なのですね。そう主張する記事を集めているのですが、もし、そういう記事を書いているのであれば、ぜひ教えてください。
@raccyさん
特に主張はしていません。
vbのByRefを見た時にそれがcのポインタ渡しと対比されるものなんだなと思った位です。
「ポインタ値を渡すことで間接的に参照渡しを実現すること」を広義の参照渡しと呼ぶかはケースバイケースですね。まあ本議題では質問者が参照渡しと読んでいる以上、そう解釈するのが妥当だと思います。
ちなみに、>>raccyさんへ
それは『C言語に「参照渡し」がある』という言葉の解釈の問題です。「「参照渡し」という言語機能があるのか？」という意味ならば「No」です。
「言語機能を組み合わせて事実上「参照を渡すこと」が可能なのか？」という意味ならば「Yes」です。
私としてはHogeAnimalLoverさんと同意見で、伝わるならば別に呼び方はどうでもいいと思っています。言葉狩りは面倒なだけです。
本質が「伝わらない」から問題なのです。
本質とはなに？
参照渡しという言葉の定義がどこで「公式に」定義されてるのか示すことはできるでしょうか。
残念ながら、どこの誰やらわからん人間が書いた定義しか目にしたことないのでその資料をお願いします
できれば日本語でお願いしたいところですが
その前にこれを参照渡しと呼ぶ「公式の」資料を提供してみては？
えーと、私はこれが参照渡しだ、とはいってませんし、私の回答を見てもらえばわかりますが、参照渡しという言葉さえ使っていません。
あくまで、値渡しのことを書いているだけです。ですので、私に対して参照渡しの資料を要求するというのはピントはずれとしか言いようがありません。
が、それを前提としても答えておきますが、C言語において、参照渡しという言葉を使用した資料というのはみたことがありません。
だから、なおのこと、参照渡しとは？その本質とはなに？と。
まさか、どこの誰かもわからんような赤の他人が勝手にほざいている言葉を元にして、Cには参照渡しはない、と言ってるとは思いませんでしたね。
なんだかなあ。。
C++17 の INDEX を見てください。
reference のところに call by とあります。
C17 の INDEX には value に call by はありますが、reference という語はありません。reference は C++ で導入されたものだからです。
C17 で call by value が指すところは関数呼び出しです。
あなたは、参照渡しの質問にこの回答を寄せました。
これが参照渡しである「公式の」資料を提供してください。
まさか、どこの誰かもわからんような赤の他人が勝手にほざいている言葉を元にして、Cには参照渡しはない、と言ってるとは思いませんでしたね。
なんだかなあ。。
と、言われないものを私は提供したので、あなたも提供してください。
できなければこの言葉はそのままお返しします。
それでは、これが参照渡しではないという「公式の」資料を提供しましょうよ。
＃って、ムリムリなやり取りはやめときましょう
C言語には参照渡しについて記述した資料はないですが、これで参照渡しはない、と主張するには無理があると思いますよ。
いや別にポインタ渡しが参照渡しだ！と主張するつもりはありませんが、ない、とするならもちっと確固たる資料というか定義をしっかりさせましょうよ。
まあ、こういう議論とは別に、（C言語には限らず）参照渡しとは何か、ポインタ渡しと参照渡しは別である、という公式の資料はどっかにありませんかね。
まさか、どこの誰かもわからんような赤の他人が勝手にほざいている言葉を元にして、これが参照渡しだ、と言ってるとは思いませんでしたね。
なんだかなあ。。
なんだかなあ。。
なんだかなあ。。
というかソース侍エンジニアですよね？
えーと、参考までにあなたが思っている参照渡しの定義を示していただけますか？
ぜひ、どこの誰かもわからんような赤の他人が勝手にほざいている記事ではないものをお願いいたします
侍エンジニアでない「公式の」資料をあなたが出す番です。
なんだかなあ。
うん、意見が一致しましたね。
さあ、いっしょに。
なんだかなあ。。
一致してないでしょ。
公式資料がないならCでは「未定義」で良いのでは。。
C では光合成も未定義ですね。ということは「C で光合成について教えてください」と問われた時には「C には光合成はありません」と答えるのが最も誤解が少ないと思います。関数呼び出しを光合成と名付ける必要はありませんし、そのような呼び方をしている人がいたら注意してもいいでしょう。
また C 言語はまだ進化を続けています。C の言語仕様に参照渡しが入ることは十分考えられることであって、今からこれを混乱させる意味は無いと思います。
仮に C に参照渡しが入ったとしましょう。「参照渡しって何だ？」と思った入門者が「C 参照渡し」で検索したとしましょう。そして「参照渡しとはポインタを渡すことである」という資料(たとえばこの回答)を見つけたとしましょう。その人はかなりの時間を無駄にすることになりますね。
そうですね。。
いやいや、HogeAnimalLoverさんの流儀に従って、ここは「広義の光合成」と捉えるべく努力をすべきだと愚考します。
一つは光合成の仕組みからの解釈です。光合成は水と二酸化炭素を入力し、光の作用を受けて、酸素と炭水化物を出力します。つまり、二つの入力に対して、二つの出力があるような関数の事だと思われます。より汎化すれば、複数の入力と複数の出力でしょう。また、光も重要な要素です。光は言わば植物が置かれた環境によるものですので、環境による影響と考えられます。光のありなしで変換するかどうかも変わりますから、これは状態から副作用をうけると言うことです。まとめますと、「Cの光合成」とは「複数の入力と複数の出力があり、プログラムの状態によって動作が変わる関数」に違いありません！
もう一つは比喩的表現の解釈です。ひなたぼっこしながら、ぼーっとしている人を「光合成をしている」なんて表現があるかとおもいます。ぼーっとしていないように見えて、英気を養っているみたいな状態です。これは、一定の数になるまで、何かを積むなど何もしないように見えるが、いざ、読み込みをはじめれば、どんどん返すというものと思われます。つまり、スタックやキューのようなものかと思われます。もうひとつ考えなければいけないのは、入力と出力が異なり、時間もかかることから、別スレッドで変換処理をしているだろうということです。つまり、「変換処理を別スレッドで行いながらキューに貯めていく処理」が「Cの光合成」に違いありません！
私は普段は「植物のこと言っているんじゃないの？」と考えてしまうため、こういった考えをすることに慣れていません。そのため、私の能力では、この二つぐらいしか思いつきませんでした。「言葉を広義的に解釈する」ことに慣れている方であれば、もっと素晴らしい解釈をしてくれるに違いありません。ここにはそういった方が複数居られるようですので、どのような解釈をしてくれるのか、とても楽しみです。
まずは侍エンジニア塾に就職して光合成の記事を書くところからですね。
@y_waiwaiさん
落ち着いたかなーと思うので、ちょっと質問させて下さい。
冒頭の方のコメントで、
> ある程度はレジスタで渡されますが、ある程度を超えるとスタックに格納されますね。
とあるんですが、「スタックを利用しない関数コール」のような方法があるという事ですか？
fastcall ですね。今も使われてるのかどうか知りませんが昔はありました。
@Zuishinさん
ありがとうございます。分かりにくくすみません。
値渡しの場合でスタックを利用する際に、push・pop以外の方法があり、スタックをレジスターサイズを超えて一度に使用する命令があるのかというのが気になったので。
断片的な知識しかないので、質問自体がおかしいのかもしれません。
ありますよ。スタックはフラットなアドレス空間なので。プッシュ、ポップはスタックポインタレジスタの数値を変えてるだけです。
あとここでいう「値」はレジスタに入っている数値のことではなく、言語によって定義された「値」のことです。例えば int 型ローカル変数でもスタックに保存され、そのアドレスから中身を読み出す実装は普通にあります。
極端な例で、値渡しで10Mの値をスタックを10M使って渡すというような関数コール命令があるかというのが疑問です。
ポインター渡しを使わないなら、レジスターサイズまで10Mを分解してパラメータとして渡すしかないと思っているのですが。
スタックに 10M の余裕があるとして、そこに 10M の値を書き込んでスタックポインタの内容を 10M 分加減します。命令があるかどうかは CPU 次第です(それは push pop にも言えます)が、たいていあるんじゃないでしょうか？
https://ja.m.wikibooks.org/wiki/X86%E3%82%A2%E3%82%BB%E3%83%B3%E3%83%96%E3%83%A9/%E3%83%87%E3%83%BC%E3%82%BF%E8%BB%A2%E9%80%81%E5%91%BD%E4%BB%A4
長々と、ごめんなさい。
インラインアセンブラなどではなく、C言語としてそういったものがあるのかという疑問です。
インラインアセンブラではなく機械語の話をしていました。C 言語は機械語にコンパイルされるので、構造体を関数に渡す時にはそのような命令群にコンパイルされます。
機械語自身には引数の概念はありません。ただコンパイラが特定のメモリ(この場合はスタック)にある値を引数とみなすだけです。
> 構造体を関数に渡す時にはそのような命令群にコンパイルされます。
あ、そうですね。なんだか視野が狭くなっていました。
Zuishinさん、お付き合いありがとうございました。
横から失礼しました。
fastcallどころかx64CPUではレジスタが増えたので
大体の引数はレジスタで渡されますよ
まずは関数呼び出しの話から。ｃ言語 呼び出し規約、でぐぐってみてください。
関数呼び出しにおける引数、返り値の扱いの解説が出てきます
x64 呼び出し規約というのがあるんですね。知りませんでした。
で、Ｃ言語に参照呼び出しというていぎがないなら、Ｃ言語に参照呼び出しというのはない、と答えるべきで、ポインタ呼び出しは参照呼び出しではない、と答えるのは明らかな間違いです
日本語の問題ですのでここらへんよくご確認ください
C 言語に光合成というていぎがないなら、ポインタ呼び出しは光合成ではない、と答えるのが明らかな間違いだと？
確かに日本語の問題ですね。
意味わからないので、日本語からどうぞご確認ください。
で、肝心のポインタ呼び出しを参照呼び出しかどうかの議論は、まずこの参照呼び出しという言葉の定義をはっきりさせましょう
今までの議論は、この定義をあいまいなまま行っているため、単なる個人の意見の表明にしかなってませんぜ
では、早く公式の資料を提示してください。
あなたは参照渡しの質問にこの回答をしました。この回答を裏付ける「公式」の資料をどうぞ。
defind(参照渡し)がfalseである。
if(ポインタ渡し==参照渡し)真; else 偽;
何が出るという話で、これは偽である、とするのは間違いでしょう
ちょっとわかりやすく言うと、真偽を論じることが間違い、ってことで。
＃コンパイルエラーですがなｗ
わかりやすく言うと、関係ないことを回答したわけでしょ？
未定義なら「未定義です」とエラーを出さなきゃいけないわけです。
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2019/05/15 13:08
2019/05/15 13:24
2019/05/15 14:57
2019/05/15 15:10
2019/05/16 09:00
2019/05/16 09:01
2019/05/16 09:09 編集
2019/05/16 09:12
2019/05/16 09:14
2019/05/16 11:59
2019/05/16 12:03
2019/05/16 13:26 編集
2019/05/16 13:28
2019/05/16 15:01
2019/05/16 21:31 編集
2019/05/16 21:55
2019/05/16 22:57
2019/05/16 23:24
2019/05/16 23:28
2019/05/16 23:30
2019/05/16 23:34
2019/05/16 23:35
2019/05/16 23:40 編集
2019/05/17 02:54
2019/05/17 09:18
2019/05/17 15:51
2019/05/17 16:25
2019/05/17 17:24
2019/05/17 17:41
2019/05/17 22:10
2019/05/17 22:21
2019/05/18 04:11
2019/05/18 04:17
2019/05/18 04:33
2019/05/18 04:34
2019/05/18 12:47
2019/05/18 12:52
2019/05/19 06:05
2019/05/19 12:40
2019/05/19 12:43 編集