コンパイラはrefパラメータの新しいテンプレート関数をインスタンス化しますか？

Question

次のコードを検討してください。コンパイラは、それぞれ異なるパラメータを持つ、またはただ1つの、operations（）の4つの関数を生成するでしょうか？

class MyClass 
{ 
    public: 
     void foo() const {} 
}; 

template<typename T> 
void operate(T obj) 
{ 
    obj.foo(); 
} 

int main(int argc, char* argv[]) 
{ 
    MyClass obj; 
    MyClass& refObj = obj; 
    const MyClass& constRefObj = obj; 
    const MyClass constObj = obj; 

    operate(obj); 
    operate(refObj); 
    operate(constRefObj); 
    operate(constObj); 

    return 0; 
} 

Answer 1

自分で試すことができます。 g++については、g++ -S file.cppを実行して結果を確認してください。あなたのコードでは、g++は1つの関数の実装と、次のような4つの呼び出しを生成しました：call _Z7operateI7MyClassEvT_。あなたが実際にタイプMyClassのオブジェクトを作成する場所

Answer 2

最初の宣言

MyClass obj; 

です。 「私は、私は本当にobjを意味する名前refObjを使用する場合、」

2番目の宣言

MyClass& refObj = obj; 

だけでコンパイラに指示します。新しいクラスインスタンスは作成されません。これらの呼び出し

operate(obj); 
operate(refObj); 

の

だから、両方のは、関数にobjのコピーを渡します。彼らは同じオブジェクトに対して異なる名前を使用しています。だから確かに彼らは同じ機能を呼んでいます。