爲什麼我不能獲得std :: function <std :: vector <T> :: iterator>綁定到返回該類型的lambda？

Question

我不明白爲什麼這不起作用。我有一個函數返回std::find方法的結果。我讀過它返回一個迭代器來找到它的對象。但是，當我嘗試傳遞返回該值的lambda時，它給了我一堆錯誤，爲什麼？

void f(std::function<std::vector<int>::iterator()>) {} 

int main() 
{ 
    std::vector<int> v{0, 1, 2, 3}; 

    auto p = [=] (int n) { 
     return std::find(v.begin(), v.end(), n); 
    }; 

    f(p); 
} 

我收到很多不可理解的錯誤。我甚至在這裏做了類型檢查和真的返回：

std::is_same<std::vector<int>::iterator, decltype(std::find(v.begin(), v.end(), N))>::value; 
// -> true 

那麼，爲什麼這個工作時，我傳遞給f功能與std::function返回此類型的？

Answer 1

假設int參數在std::function參數丟失的是一個複製粘貼錯誤，顯然v.begin()和v.end()回報const_iterator真是讓人比正常迭代器。

這是由於您的lambda按值捕獲，使您的std::vectorconst（以及它的迭代器）。通過參考works捕捉一切，否則，你的std::function應該返回const_iterator：默認情況下

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

void f(std::function<std::vector<int>::iterator (int)>) {} 

int main() 
{ 
    std::vector<int> v{0, 1, 2, 3}; 

    auto p = [&] (int n) { 
     return std::find(v.begin(), v.end(), n); 
    }; 

    f(p); 
} 

Answer 2

因爲f需要一個不帶參數的函數，但是lambda具有一個int參數。

Answer 3

如你是按值捕獲，捕獲vector（以及相關的迭代器）是const。如果你想要它是可變的，你需要改變lambda：

auto p = [=] (int n) mutable { 
    return std::find(v.begin(), v.end(), n); 
};