引数として＆を使い、｛｝では＆を外すパターンと両方に＆をつけるパターンの違い

Question

bool Dummy::isitme(Dummy &param){
if(&param==this)return true;

上のコードで引数として参照を使っているので、if文の中にはparamだけではいいのではないかと思い、＆を消したところエラーが発生しました。
どこかの例文で引数では＆を使い、｛｝内では＆を外していたという事を思い出し、混乱しています。
＆をつけて＆を外す文と＆を両方につける意味上の違いを説明していただけると、とてもうれしいです。

コード
#include<iostream>
#include<sstream>
#include<string>
using namespace std;

class Dummy{
public:
	bool isitme(Dummy &param);
};
bool Dummy::isitme(Dummy &param){
	if(&param==this)return true;
	else return false;
}
int main(){
Dummy a;
Dummy *b=&a;
if(b->isitme(a))
	cout<<"yes,&a is b\n";
return 0;



}

Answer 1

bool Dummy::isitme(Dummy &param){での&は参照渡しを表す&です。Dummy型のparamを参照渡しで引数に取りますという意味です。param自体はDummy型です。もし、&が無い場合は、引数が値渡しになります(その場合も、param自体はDummy型です)。

if(&param==this)return true;での&はアドレス演算子の& です。&paramの所は「paramのアドレスの値」という意味で有り、Dummy *型です。もし、&が無い場合は、ただのparamであり、Dummy型です。thisは自分自身のポインタを表すのでDummy *型です。&があれば型は同じで比較できますが、&が無いと型が不一致となり、エラーとなります。

このように&は文脈によって意味が変わってきますので、どちらの意味で使われているのか意識するようにしてください。そうすれば、自ずと疑問が解けていくかと思います。

Answer 2

おそらく、アドレスの演算子の & と、参照変数の型指定の & がごっちゃになってるのだと思います。

bool Dummy::isitme(Dummy &param){
    if(&param==this)return true;
    else return false;
}

最初の & は参照変数の定義で、
2番目の & は参照云々ではなく paramのアドレスを取得する演算子になると思います。

「参照変数は型名に & をつけて宣言します」が、それを使う時は＆をつけずに変数そのものを指定します。

言い換えれば、参照変数の宣言時以外に表れる & は、アドレス演算子になるんじゃないのかな？

Answer 3

こんにちは。
なかなかハードな部分を頑張ってますね。

bool Dummy::isitme(Dummy &param){
if(&param==this)return true;

(Dummy &param)ではなく
(Dummy& param)と考えると良いです。

「型」と変数の間にある&は、「型」に付きます。
Dummy&は、「Dummyクラスへの参照」と言う新たな型です。
paramは、「Dummyクラスへの参照」型として定義されました。

「型」が無い時の&は変数に付きます。
&paramは、paramが参照ですから「paramの参照先」を指すポインタ(アドレス)となります。
そして、thisは自分自身へのポインタ(アドレス)ですね。
ですので、(&param==this)は、paramの参照先のアドレスと自分自身のアドレスが等しい時trueになります。
つまり、paramに自分自身が渡された時、trueになりますね。

＆をつけて＆を外す文と＆を両方につける意味上の違いを説明していただけると、とてもうれしいです。

無理っと説明してみます。(できれば、&が付いてない時の例を示して頂けると説明しやすいです。)
if (param==this) return true;
と書くこともできます。
この場合、paramとthisのアドレスではなく、中身が比較されます。中身が等しい時にtrueになります。
ただ、Dummyクラスには中身が無いのでこの例では意味が無いですが。