為什麼 C 11 中的 std::function 和 Lambda 函式類型推導失敗？

C 11 中的std::function 和Lambda 函數的類型推導

在C 11 中使用模板時，類型推導可以是模板時，類型推導可以是強大的功能。但是，在某些情況下，類型推導會失敗，特別是當涉及 std::function 或 lambda 函數時。

在下面的範例中，函數測試接受一組類型A 並傳回相同的集合，而無需明確指定範本類型：

template<class a>
set<a> test(const set</a><a>& input) {
    return input;
}</a></class>

在程式碼中的其他位置使用test (mySet) 呼叫此函數可以如預期般運作。但是，當使用帶有lambda 函數的函數時，類型推導失敗：

template<class a>
set<a> filter(const set</a><a>& input,function<bool> compare) {
    // ... implementation
}</bool></a></class>

嘗試使用filter(mySet,[](int i) { return i%2==0; }) 呼叫過濾器;導致錯誤：

error: no matching function for call to ‘filter(std::set&, main()::)’

出現此問題是因為lambda 不是函數或std::function 物件。它們是具有標準定義的特定屬性的函數物件。類型推導僅適用於精確類型，而 lambda 則不符合此條件。

要解決此問題，您可以將 lambda 轉換為 std::function 或明確提供模板類型：

// Convert lambda to std::function
std::function<bool> func = [](int i) { return i%2 ==0; };
set<int> myNewSet = filter(mySet,func);

// Provide template type explicitly
set<int> myNewSet = filter<int>(mySet,[](int i) { return i%2==0; });</int></int></int></bool>

或者，您可以重新定義函數以接受 CompareFunction的範本參數：

template<class a comparefunction>
set<a> filter(const set</a><a>& input,CompareFunction compare) {
    // ... implementation
}</a></class>

使用此修改後，您可以在不指定範本類型的情況下呼叫函數：

set<int> result = filter(myIntSet,[](int i) { i % 2 == 0; });</int>

型別推導對於多參數lambda 也可能會出現問題。在這種情況下，使用 auto 可能是有用的解決方案：

template<class value comparetype indextype>
auto filter(const set<value>& input,CompareType compare,IndexType index) -> map<decltype> {
    // ... implementation
}</decltype></value></class>

可以如下呼叫此函數：

map<string> s = filter(myIntSet,[](int i) { return i%2==0; },[](int i) { return toString(i); });</string>

以上是為什麼 C 11 中的 std::function 和 Lambda 函式類型推導失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！