拉姆達的類型是什麼？

Question

我見過這樣的代碼：

std::sort(x, x + N, 
    // Lambda expression begins 
    [](float a, float b) { 
     return std::abs(a) < std::abs(b); 
    }); 

明顯的std::sort的第三個參數是一個可以容納拉姆達一個類型。但那是什麼類型？ std::sort是如此嚴重超載，我無法破譯它。我想構建一個函數列表：我想使用lambda表達式而不是函數指針，因爲後者必須具有大致相同的參數列表。

我想我可以寫

auto letTheComplerSortOutTheType = 
     [](float a, float b) { 
      return std::abs(a) < std::abs(b); 
     }); 

但是當涉及到使用的容器，不會幫我。

Answer 1

lambda的類型是編譯器已知的唯一。在你的代碼中，std::sort是一個函數模板，其第三個參數是模板參數，由編譯器推導出，用於傳遞給該函數的lambda表達式。

通常你不會需要知道拉姆達的類型，因爲它是由編譯器爲您定義，像下面：

//generated by the compiler 
struct __unique_lambda_defined_by_compiler //arbitrary ugly name! 
{ 
     bool operator()(float a, float b) const { 
       return std::abs(a) < std::abs(b); 
     } 
}; 

所以，你的代碼轉換爲這樣的：

//translated by the compiler 
std::sort(x, x + N, __unique_lambda_defined_by_compiler()); 

---

請注意，如果你想擁有的拉姆達（和函數指針！）的容器，那麼你可以使用std::function抹去的類型的lambda（和函數指針），如下所示：

std::vector<std::function<bool(int,int)>> callbacks; 

callbacks.push_back([](int, int) { ... }); //the lambda must return bool 
callbacks.push_back([](int, int) { ... }); 
callbacks.push_back([](int, int) { ... }); 

bool compare(int,int) { ... } 

callbacks.push_back(compare); //store normal function as well!