オーバーロードされた関数テンプレートのインスタンス化

Question

std::crefを使用しているときにこの問題が発生しました。最小限の例では、次のようになります。

template<typename Fn, typename T> 
auto apply(Fn f, const T &t) -> decltype(f(t)) 
{ 
    return f(t); 
} 

int n = 123; 
apply(std::cref<int>, n); // <- compile error: can't infer type `Fn` 
apply([](const int &x) { return std::cref(x); }, n); // ok 

は、私が最初の例に問題がstd::cref<T>は、2つのオーバーロードされたバージョン、1はconst T &を受け入れ、他のstd::reference_wrapper<const T>を受け入れるを持っているということだと思います。私の場合、特定のバージョンをインスタンス化することは可能ですか？

Answer 1

crefにはいくつかの形式があります。ですから、cref<int>を書くとき、あなたが意味以下のどのまだ明らかではない。

reference_wrapper<const int> cref (const int& elem) 
reference_wrapper<const int> cref (reference_wrapper<int>& x) 

ラムダバージョンは、この曖昧さを持っていません。

auto take_ref = [](const int &x) { return std::cref(x); }; 
apply(take_ref, n); // compile fine 

Answer 2

あなたapply機能は一種の冗長ようだ：ところで、それは今、可読性が本当に問題であるならば、何もこれを実行できないようにしない、それ;-)

に慣れるすることをお勧めしますこの場合。なぜ仲介者を切らないのですか？

#include <vector> 
#include <algorithm> 
#include <iterator> 
#include <functional> 

int main() { 
    std::vector<int> v(10); 
    std::vector<std::reference_wrapper<const int>> v2; 
    std::transform(v.begin(), v.end(), std::back_inserter(v2), 
     static_cast<std::reference_wrapper<const int>(*)(const int&)>(&std::cref<int>)); 
}