如何在不存在模板的特定情況下存儲std :: bind的向量？

Question

經過question關於std::bind後，我想知道是否有可能持有由std::bind創建的功能vector，所以我可以避免使用std::function及其重磅包裝。

#include <iostream> 
#include <functional> 
#include <typeinfo> 
#include <vector> 

int add(int a, int b) {return a + b;} 

int main() { 

    //I believe this here is just a special type of bound function. 
    auto add2 = std::bind(add, std::placeholders::_1, 2); 
    auto add3 = std::bind(add, std::placeholders::_1, 3); 

    //Yup. 
    std::cout << typeid(add2).name() << std::endl; 
    //Here's the type of the second function 
    std::cout << typeid(add3).name() << std::endl; 

    //Is there a nicer way to do this? 
    std::vector<decltype(std::bind(add, std::placeholders::_1, 1))> vec; 

    return 0; 
} 

雖然可以創造的std::bind功能的載體，是有辦法，我就不必爲了宣佈一個容器而沒有空/空型提供綁定功能的具體情況由std::bind製作的功能？

Answer 1

因此，看來這是不possible-- std::bind似乎不具有通常可命名/顯式類型 - 根據綁定函數的簽名通常生成的類型，並沒有按似乎不可指定。使用std::function似乎是包裝std::bind函數並將它們存儲在向量中的唯一方法。

Even for lambdas, this doesn't seem possible - 使用std::function形式的包裝似乎是最佳答案，儘管產生的函數對象的大小增加了。

可能的替代方案可能是存儲Functor對象被設計用來模仿與具有類型檢查層的泛型對象的耦合（儘管這看起來很重）。無論如何，使用std::function似乎是最乾淨的解決方案。

Answer 2

這個怎麼樣？

#include <iostream> 
#include <functional> 
#include <vector> 

int add(int a, int b) { return a + b; } 

using bound_add_t = decltype(std::bind(add, std::placeholders::_1, int())); 

int main() { 
    std::vector<bound_add_t> vec; 
    vec.emplace_back(add,std::placeholders::_1, 1); 
    vec.emplace_back(add,std::placeholders::_1, 2); 
    vec.emplace_back(add,std::placeholders::_1, 3); 

    for (auto &b : vec) 
    std::cout << b(5) << std::endl; 

    return 0; 
}