std ::函數無法區分重載函數

Question

我想了解爲什麼std::function無法區分重載函數。

#include <functional> 

void add(int,int){} 

class A {}; 

void add (A, A){} 

int main(){ 
     std::function <void(int, int)> func = add; 
} 

在上面所示的代碼，function<void(int, int)>只能匹配的這些功能中的一個，但它失敗。這是爲什麼？我知道我可以通過使用實際函數的lambda或函數指針來解決此問題，然後將函數指針存儲在函數中。但爲什麼這會失敗？上下文不清楚我想選擇哪個功能？請幫我理解爲什麼這會失敗，因爲我無法理解爲什麼模板匹配在這種情況下失敗。是

，我得到鐺這個編譯器錯誤如下：

test.cpp:10:33: error: no viable conversion from '<overloaded function type>' to 
     'std::function<void (int, int)>' 
     std::function <void(int, int)> func = add; 
            ^ ~~~ 
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/__functional_03:1266:31: note: 
     candidate constructor not viable: no overload of 'add' matching 
     'std::__1::nullptr_t' for 1st argument 
    _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {} 
          ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/__functional_03:1267:5: note: 
     candidate constructor not viable: no overload of 'add' matching 'const 
     std::__1::function<void (int, int)> &' for 1st argument 
    function(const function&); 
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/__functional_03:1269:7: note: 
     candidate template ignored: couldn't infer template argument '_Fp' 
     function(_Fp, 
    ^
1 error generated. 

編輯 - 除了MSalters的回答，我沒有在這個論壇上一些搜索和發現的確切原因失敗。我在post得到了納瓦茲回覆的答案。

int test(const std::string&) { 
     return 0; 
    } 

    int test(const std::string*) { 
     return 0; 
    } 

    typedef int (*funtype)(const std::string&); 

    funtype fun = test; //no cast required now! 
    std::function<int(const std::string&)> func = fun; //no cast! 

那麼，爲什麼std::function<int(const std::string&)>不起作用funtype fun = test以上的工作方式：

我已經複製從他的回答粘貼在這裏？

那麼答案是，因爲std::function可以用任何物體，如其構造是模板化是獨立的，你傳遞給std::function模板實參的初始化。

Answer 1

很明顯我們在哪裏工作，你打算選擇，但是編譯器必須遵循C的規則++不使用邏輯的聰明飛躍（甚至不是那麼聰明的，就像這樣的簡單情況！）

的std::function相關的構造函數是：

template<class F> function(F f); 

這是接受任何類型的模板。

的C++ 14標準確實限制了模板（因爲LWG DR 2132），使得它：

不得參加重載除非f爲參數類型ArgTypes...和返回類型可贖回（20.9.12.2） R。

這意味着，編譯器將只允許調用構造函數時Functor與std::function的調用簽名（這是在你的例子void(int, int)）兼容。理論上這應該表示void add(A, A)不是一個可行的論點，所以「明顯」你打算使用void add(int, int)。

然而，編譯器無法檢驗「f是可調用的參數類型......」約束，直到它知道的f的類型，這意味着它需要有之前void add(int, int)和void add(A, A)之間已經消除歧義它可以應用允許它拒絕其中一個功能的約束！

所以這是一個雞和蛋的問題，不幸的是意味着你需要通過精確地指定要使用哪一種add超載能力來幫助編譯出來，然後編譯器可以應用約束，（有點多餘）決定它是構造函數可接受的參數。

可以想象的是，我們可以改變C++，以便在這樣的情況下所有重載函數對約束測試（所以我們並不需要知道測試之前測試哪一個），如果只有一個是可行的然後使用那個，但那不是C++的工作原理。

Answer 2

嘗試：

std::function <void(int, int)> func = static_cast<void(*)(int, int)> (add); 

地址到void add(A, A)和void add(int, int) obvoiusly differes。當你用名字指向函數時，編譯器知道你需要哪個函數地址是不可能的。 void(int, int)這裏不是提示。

Answer 3

雖然很明顯，你想要什麼，問題是，std::function不能影響的&add重載解析。如果你要初始化一個原始函數指針（void (*func)(int,int) = &add），它確實有效。這是因爲函數指針初始化是重載解析完成的上下文。目標類型是完全已知的。但std::function將採取幾乎任何可調用的參數。這種接受參數的靈活性意味着你不能在&add上做重載分辨率。多重過載add可能是合適的。

明確的投射將起作用，即static_cast<void(*)(int, int)> (&add)。

這可以在template<typename F> std::function<F> make_function(F*)包裹這將允許你寫auto func = make_function<int(int,int)> (&add)

Answer 4

據我所知，這是一個Visual Studio問題。

C++ 11標準（11年8月20日）

std::function synopsis 
template<class R, class... ArgTypes> class function<R(ArgTypes...)>; 

但VisualStudio的不具有專業化

鐺++和g ++與重載的std ::功能

之前完全沒有答案解釋爲什麼VS不工作，但他們沒有提到它的VS」錯誤

Answer 5

另一種方式來處理，這是在C++ 14的通用拉姆達：

int main() { 
    std::function <void(int, int)> func = [](auto &&... args) { add(std::forward<decltype(args)>(args)...); 
} 

這將創建一個lambda函數，可以毫不含糊地解決問題。 我沒有轉發參數，