黒龍's Blog

C++ の参照型(&がつくやつ)は、本当に参照です。
元の値をそっくりそのまま渡すというのが一番しっくりくるイメージです。まさに「参照」。

＃実際は、ポインタの特殊系と言うべき代物ですがｗ＜怒られそうだｗ

ちなみに、.NET の参照型と、Native C++ の参照型は、日本語にすれば同じですけど、意味(実装)はまったく違いますｗ
＃で、こういうこと言うと知らない人は頭抱えてしまうんだｗｗｗ

> C++ の参照型(&がつくやつ)は、本当に参照です。

うんうんう。
参照になりすましたポインタだけどねー♪

> 参照になりすましたポインタだけどねー♪

COMやってっと、REFIID（const IID &）なんか、C用のインターフェイス宣言ではポインタだしねーｗ

まずC、C++とか書いたわりに他に触れずに終わってる･･･。(C#でのrefやらoutをとりあえず除外したかったわけで)
C++の参照型ですが文脈中はエイリアスの定義みたいな印象がありますね。(実装ではまんま元の値を使ったりするのかな？)
関数に渡す場合はポインタとそう区別は無いと思ってます。呼び出し先で元の値(クラス)として使えるっての参照型としての特徴かなと。
新人さんと話してて感じたのは本当に元の値が使われてるかのような話しぶり(たとえばポインタをインクリメントしたら元の値も変わるかのような)でアセンブラ＞Cという風に進んだ私からはスタックにつむかレジスタにいれるかっしょ？見たいな感じで悩みようが無かったのですがいまどきの新人さんは入門書なんかの言葉を額面通り受け取っちゃうみたいです。

新人さん向けの入門書にはスタックとかレジスタとか書いてないもんねぇ。

> たとえばポインタをインクリメントしたら元の値も変わるかのような

それは、配列のポインタを受け取った側で ++ したときに、呼び出し側でも位置がいっこ進む（配列ポインタの参照渡しみたいな）ってこと？
それとも、単に int 型のポインタを ++ したら、呼び出し側の int も ++ されるイメージ？
前者なら「値渡しと参照渡し」として論じるべきだけど、後者はそれ以前に「実体とポインタ」の区別がついてないんじゃないだろうか。

前者：
int hoge[] = { 1, 2, 3 };
foo( hoge );
int i = *hoge; // i == 2？ No!

void foo( int * phoge ) { ++phoge; }

後者：
int hoge = 1;
foo( &hoge );
int i = *hoge; // i == 2？ No!

void foo( int * phoge ) { ++phoge; }

で、C++ の参照も ref も out も、実装はポインタの値渡しなんだろうけど、渡された方ではポインタ自体の書き換えができないという点では、意味的には値渡しとは別の「参照渡し」と呼んでもいいかも。

# リモーティングでマーシャリングが絡むとまたぐるぐるに…ｗ
# 渡した側と受け取った側のポインタ値が違うこともよくある。
# プロセス空間はおろか、マシンさえ違う場合があるからねぇ。

>Cという風に進んだ私からはスタックにつむかレジスタにいれるかっしょ？

そこで、次の大阪勉強会では各言語系の実装差異をとっちゃんさんがディープに話していただけるんですね　ｗｋｔｋ^^

できれば、VBな人にLetとSetの違いとか、ActiveX ExeのByRefなんてところまで...
#と自分の趣味に引き込んでみる＾＾；

えとコメしたのは前者のイメージですね。メモリ上の位置が進むという感じ。

# リモーティングでマーシャリングが絡むとまたぐるぐるに…ｗ
# 渡した側と受け取った側のポインタ値が違うこともよくある。
# プロセス空間はおろか、マシンさえ違う場合があるからねぇ。
ですね。強調したいのは渡すものが参照系か実値系かの違いだけで呼び出しの仕組みは変わらないんだよということです。
(この例はナイスですね。すごくわかりやすい)

どうもこのあたりの勘違いとともに=の受け取り方も関係してそうです。
プログラムでの=というのは代入であってコピーの作成なんですがどうも数学的な同値と捉えているようでその誤解の延長で参照渡しは同じものを使っていると言う理解のようです。

＞各言語系の実装差異
いや、やらん！ｗ
基本は、C/C++(ネタ的には、++ の部分は入れないつもりだったけど、参照型(&のつくやつ)はあってもいいかもしれない...ｗ)だしｗ

そもそもが、型とはとかインスタンスがとかじゃないし、値型、参照型ではなくて、スタックとヒープだしｗ

基本的には庄屋(アロケータ)と、畑(ヒープ)と小作(参照元の実体)だからねｗ
小作としては、いかに庄屋の機嫌を損ねることなく畑を借りるか？
と言うお話になる...

はずｗ＜おい！


＞ActiveX ExeのByRefなんてところまで
ここは COM だからおいらじゃなくてシャノンさんだｗ

がっつりお願いしましょうｗｗｗ

おっ！
わたしのセッションで出てくるネタだ（たぶん来週）。
でも、コメントが多すぎて全部読んでる暇ないよぉ！

またあとで読んだらコメントします。（ってコラッ

読んだ！

まず、C++でいうと、関数呼び出し時の渡し方って3パターンなることになってる（コーディングスタイル上）。
・値渡し
・ポインタ渡し
・参照渡し
で、イメージで言うと黒龍さんの言う通り、値渡しとポインタ渡しは結局はものをコピーで渡しているので、「渡し方」において違いはない。
でも、参照渡しはそれでは説明がつかないので、私の場合は「同じ領域に別名がつくんだよ」と説明します。

でも、実装はεπιさんのおっしゃる通り、ポインター渡しで実装されている。表面上のコーディングスタイルが違うだけ。
しかし、新人ちゃんにそんなことを言っても混乱するだけなので、ここは内緒にします。

で、C#の場合は初心者にはrefとかoutとか教えません。
だから、渡すものが値型だろうが参照型だろうが「渡し方」は同じく「コピー」渡し。
そこをしっかり押さえておけば、ゆくゆくのrefとかoutの理解が早いのだと思いますし、混乱も少ない。

わかってないうちにrefとかoutとか考えちゃうとわけわかんなくなっちゃう。

と、いう話も来週のセッションでお話しするので、記事にせず、こっそりコメントにとどめます。
(^.^)

>記事にせず、こっそりコメント
あはは。
おいらは、それを受けてから、ネタの絞り込みをします＜おい！

いや、それまでにあげないといけないネタが...ｗ
＃そっちのほうが大変なのよｗｗｗ

> ActiveX ExeのByRefなんてところまで

ActiveX は COM じゃありません（ｗ

OLE?

COM+?