如何将可变参数模板参数绑定到函数

Question

我正在尝试模仿 std::thread 构造函数功能：

template< class Function, class... Args > 
explicit thread( Function&& f, Args&&... args );

我尝试使用调试器单步执行以查看它是如何工作的，但我无法弄清楚。

如何像线程的构造函数一样创建和存储绑定类型？

类似这样的东西（语法可能错误）：

class myClass{
private:
auto bindType;

public:
template< class Function, class... Args > 
explicit myClass( Function&& f, Args&&... args ) : bindType(somehowBind(f, args) {}
void evaluate() {bindType();}
};

使用示例：

int test(int i) {return i;}

int main(){
myClass my(test, 5);
my.evaluate();
}

请注意，我不在乎 somehowBind 函数是否会忽略返回类型，即它的返回类型可以是 std::function 之类的东西。 我不想做的就是了解如何将class... Args 绑定到给定的函数f，这样在调用somehowBind 之后它就会像std::bind 那样工作。 为了澄清我的观点，您可以考虑一下我想要达到的目标：

thread t(test, 5); // unlike the usual std:::thread, this one is created in suspended mode therefore I need somehow to bind `f` with `5` and store it
t.start(); // now t is executed

这有点像 C# 和 Java 线程，它们不是在构造后立即执行的。

Answer 1

对于初学者来说，使用std::bind 将一些参数绑定到一个函数你很简单：

// Some function.
void printValues(int x, double y) {
    std::cout << x << " " << y << std::endl;
}

auto func = std::bind(printValues, 5, 2.0); // Bind params and return functor.
func(); // Evaluate function call (returns void in this case).

接下来，要将仿函数及其参数存储在一个类中，并且在评估时不关心返回值，然后只需使用 lambda 表达式包装 std::bind 表达式（lambda 用于删除返回值):

struct Foo {
    template <typename Function, typename... Args>
    Foo(Function&& func, Args&&... args) {
        auto f = std::bind(std::forward<Function>(func), std::forward<Args>(args)...);
        func_ = [f] { f(); };
        // func_ = [f{std::move(f)}] { f(); }; // In C++14 you can move capture.
    }
    void evaluate() { func_(); }
    std::function<void()> func_;
};

Also see this live example

如果您要存储可变参数包，请查看以下答案：How to store variadic template arguments?