あいまい：f（A＆）オーバーロードの優先度をf（A）

Question

「関数受信値」（#A）よりも「関数受信参照」（#B）を優先する方法を教えてください。

#include <iostream> 
using namespace std; 

class Heavy{/* ...... */}; //a complex class 
Heavy generateHeavy(){ 
    return Heavy(); 
} 
void f(Heavy x){ //#A I want LOW priority. 
    std::cout<<"case 1: pass by value"<<std::endl; 
} 
void f(Heavy& x){ //#B I want HIGH priority. (save CPU for big object) 
    std::cout<<"case 2: pass by reference"<<std::endl; 
} 

int main() { 
    //vvvv Here is existing code base that I don't want to touch. 
    f(generateHeavy()); //compiler call case 1 -> ok (I prefer reference, though) 
    Heavy heavy; 
    f(heavy); //should call case 2, but compiler fail (ambiguous) <= question 
    return 0; 
} 

この問題は、SFINAEを可能な限り参照渡しが望ましい実際のケースに拡張しようとする最初の試みから来ています。

Answer 1

あなたが尋ねたとして文字通り行う方法は

template <typename T = void> 
std::enable_if_t<std::is_same<T, void>::value> f(Heavy x) { ... } 

void f(Heavy& x) { ... } 

最初は関数テンプレートであるが、唯一のT = voidが許可されます。第二はありません。他のすべてが等しい場合は、非テンプレートがテンプレートよりも優先されます。

---

今、実際のコードでは、これを実行しない可能性があります。あなたはサポートしたいコールを見て、それらのコールに適したより適切なアプローチを見つけます。 @StoryTellerは&&を提案：

void f(Heavy &&) { ... } 
void f(Heavy &) { ... } 

あなたがそのようなあなたの関数の結果として右辺値を、持っているとき、Heavy &&過負荷が呼び出されることを意味しています。これは通常、罰金だが、それは正確にあなたが尋ねたものと同じではないことに注意してください：あなたはこの呼び出しf(Heavy)になるだろうを求めて何

const Heavy c; 
f(c); 

。代わりに、Heavy &&の過負荷では、これを受け入れる過負荷はありません。

追加のオーバーロードvoid f(const Heavy &)がこれをカバーできます。この質問には、これがあなたのユースケースの適切なアプローチであるかどうかを知るための十分な情報はありませんが、それはあなた自身を把握できるはずのものです。