c++ - std::bind 和函数模板

Question

我目前正在尝试使用 std::bind创建一个 std::function<void()>来自函数模板

template<class Iterator>
void printRange(Iterator first, Iterator last) {
    std::copy(first, last, std::ostream_iterator<typename Iterator::value_type>(std::cout, " "));
    std::cout << std::endl;
}

概念上，我想要的是

int main() {
    std::vector<int> v{1, 2, 3};
    auto f0 = std::bind(printRange, v.begin(), v.end()); // won't compile, of course
    f0();
    return 0;
}

我知道这不能编译，我必须在实际使用之前实例化函数模板。例如，以下替代方案可行:

auto f1 = std::bind(printRange<std::vector<int>::const_iterator>, v.begin(), v.end());
auto f2 = std::bind(printRange<decltype(v.begin())>, v.begin(), v.end());
auto f3 = [&v]() { printRange(v.begin(), v.end()); };

我已经创建了一个便利函数

template<class Iterator>
std::function<void()> makePrintRangeFunction(Iterator first, Iterator last) {
    return std::bind(printRange<Iterator>, first, last);
}

简化流程:

auto f4 = makePrintRangeFunction(v.begin(), v.end());

我想知道是否可以创建一个更通用的 std::function<void()>生成器，接受函数模板作为第一个参数并将函数模板参数作为可变长度参数列表？如果不使用内置语言功能，也许通过宏？

Answer 1

只要你不需要有模板函数返回类型，你可以这样做:

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


template<typename ... T>
std::function<void()> makePrintRangeFunction(void (*f)(T...), T... param) {
    return std::bind(f, param...);
}

template<typename T, typename V>
void print(T type, V val)
{
    std::cout << typeid(type).name() << '\n' << val << '\n';
}

int main()
{
    int i = 5;
    double d = 10.5;
    auto f = makePrintRangeFunction(print, i, d);
    f();
}