テンプレートはconst参照で渡す

Question

私はいくつかの同様の質問を見てきましたが、私はまだ混乱しています。私はを明示的に（コンパイラの最適化などではなく）にして、特化テンプレート関数に渡すときにオブジェクトのコピーを避けようとしています。ここに私のテストコードは次のとおりです。

#include <iostream> 

using namespace std; 

struct C 
{ 
    C() { cout << "C()" << endl; } 
    C(const C&) { cout << "C(C)" << endl; } 
    ~C() { cout << "~C()" << endl; } 
}; 

template<class T> void f(T) { cout << "f<T>" << endl; } 

// This shows two possible ways, I don't need two overloads 
// If I do it like (2) the function is not called, only if I do it like (1) 

template<> void f(C c) { cout << "f<C>" << endl; } // (1) 

template<> void f(const C& c) { cout << "f<C&>" << endl; } // (2) 

int main() 
{ 
    C c; 
    f(c); 
    return 0; 
} 

（1）タイプCのオブジェクトを受け取り、そしてコピーを作成します。ここでは、出力は次のようになります（どうやら理由はthis questionに説明されている）

C() 
C(C) 
f<C> 
~C() 
~C() 

は、だから私はこれを回避するために、（2） const C&パラメータに特化しようとしたが、これは単に動作しません。

まあ、私は "ポインタを渡す"ことができましたが、それは一種の醜いです。それで何とかうまくいくことを可能にするトリックはありますか？

編集：ああ、おそらく私は明確ではありませんでした。私はすでにテンプレート関数に

template<class T> void f(T) {...} 

を持っている。しかし、今、私は別のオブジェクトへのconst &を受け入れるために、この機能を特化したい：

template<> void f(const SpecificObject&) {...} 

しかし、私は

としてそれを定義した場合にのみ呼び出されます

template<> void f(SpecificObject) {...} 

基本的には、SpecificObjectを

01のようなテンプレートインターフェイスに適応させることです

template<> void f(SpecificObject obj){ f(obj.Adapted()); } // call the templated version 

EDIT2：[OK]を、私はこのように呼ばれるconst C&専門強制することができます：

f<const C&>(c); 

をしかし、それだけでf(c)として、次のように動作させるための方法がありますか？誰か最終的に同様の質問を持っている希望の場合、私は最終的に別の質問では、このリンクを見つけて、それが便利です：：

EDIT3

void f(const C& c) { cout << "f(const C&)" << endl; } 

Answer 1

const参照を受け入れたくない場合（基本型[int、long、floatなど]は妥当）、ちょっとした魔法を使うことができます。

#include <iostream> 
#include <boost/call_traits.hpp> 

using namespace std; 

struct C 
{ 
    C() { cout << "C()" << endl; } 
    C(const C&) { cout << "C(C)" << endl; } 
    //C& operator=(C const&) { cout << "C=C" << endl; return *this; } 
    ~C() { cout << "~C()" << endl; } 
}; 

template<class T> void foo(typename boost::call_traits<T>::param_type inst) { cout << "f<T>" << endl; } 
// specialization for calling class C 
template<> void foo<C>(boost::call_traits<C>::param_type inst) { cout << "f<C>" << endl; } 

int main() 
{ 
    int i = 0; 
    foo<int>(i); 
    C c; 
    foo<C>(c); 
    return 0; 
} 

Answer 2

テンプレート、オーバーロード、および引数渡しの3つの問題を融合させたものです。

特殊化を削除し、引数をT const&として渡してください。

乾杯& HTH。、

Answer 3

あなたがしている：あなたが過負荷にならないのはなぜhttp://www.gotw.ca/publications/mill17.htm

Answer 4

#include <iostream> 

using namespace std; 

struct C 
{ 
    C() { cout << "C()" << endl; } 
    C(const C&) { cout << "C(C)" << endl; } 
    ~C() { cout << "~C()" << endl; } 
}; 

template<class T> void f(const T&) { cout << "f<T>" << endl; } 

int main() 
{ 
    C c; 
    f(c); 
    return 0; 
} 

は、これは、あなたが希望何んが、あなたは、関数に渡されるすべての値についてのconst参照を使用する必要があります。これがあなたが探していたものかどうかはわかりません。

Answer 5

これは動作します：

int main() 
{ 
    C c; 
    f<const C&>(c); 
    return 0; 
} 

あなたの代わり：現実に

template<typename T> void f(const boost::reference_wrapper<T const>& c) 
    { cout << "f<boost_const_ref&>" << endl; } 

int main() 
{ 
    C c; 
    f(boost::cref(c)); 
    return 0; 
} 

を、あなたがそれを使用したい場所に介して基準を渡すために、ブースト:: reference_wrapperを使用します。 boost :: reference_wrapperは暗黙の変換をリファレンスに戻しますが、テンプレートの部分的な特殊化を行わずに、boost::cref(c)を通常のものに渡すだけです。

Answer 6

問題は、実際のパラメータcはconstではないため、メインテンプレートは型に 'const'を追加する必要がないため、よりマッチします。値渡しと非const参照渡しの関数を試してみると、コンパイラはその違いを解決できないことを伝えます。