的std ::功能不能在模板實例推斷重載型

Question

我有這個相當簡單的模板類：

template <typename Value> 
struct Foo { 
    typedef Value ValueType; 
    Value array[3]; 
}; 

現在我嘗試使用依賴型，以得到一個簡單的函數的函數對象（std::function） F作爲函數參數和返回類型。

template <typename F> 
void floorfunc(const F& foo) { 
    typedef typename F::ValueType Value; 
    auto fptr = std::function<Value(Value)>(std::floor); 
} 

編譯器能夠正確instanciates的Value類型，但不能猜測floor正確的函數重載，並把我這個錯誤信息需要使用

error: no matching function for call to 'std::function<float(float)>::function(<unresolved overloaded function type> 

我如何告訴編譯器至極超載在這種情況下 ？

Answer 1

添加投：

std::function<Value(Value)>(static_cast<Value(&)(Value)>(std::floor)) 

std::floor過載，並std::function構造函數是一個模板，所以有超載沒有明顯的選擇，你必須明確地指定它，你可以跟投做。