如何使用不同参数的函数作为函数参数

Question

标题可能有点混乱，所以我会解释得更清楚。

我有这样的课：

class foo
{
public:

   foo(%Some function% *) { %Some function pointer% = %Some function%; }

   %Some output% callFunction(%Some input%);

private:

   %Some function pointer% bar;
}

我希望能够将给定的函数存储在%Some function pointer% 中以便在整个课程中使用，但这不是必需的。

所以我的主要问题是： 我怎样才能创建一个真正的callFunction，它可以将 any 函数连同该函数参数一起作为输入？

感谢任何帮助！

Answer 1

您需要在某个地方知道返回和参数类型。固定在类或模板参数中。

这是一个固定在类中的例子：

struct foo {
    foo(std::function<int(std::string, double)> func) : bar{std::move(func)} {}

    int callFunction(std::string s, double d) {
        bar(std::move(s), d);
    }

private:
    std::function<int(std::string, double)> bar;
};

此方法不仅允许函数指针，还允许任何类似函数的对象，例如 lambda。

如果你不想固定类型，那么你可以使用模板来指定你想要包装的函数对象的类型：

template<typename F>
struct foo {
    foo(F func) : bar{std::move(func)} {}

    template<typename... Args>
    auto callFunction(Args&&... args) -> decltype(bar(std::declval<Args>()...)) {
        return bar(std::forward<Args>(args)...);
    }

private:
    F bar;
};

template<typename F>
auto make_foo(F f) {
    return foo<F>{std::move(f)};
}

此方法允许任何函数或类似函数的对象，并且也比其他解决方案更快，因为它不会拖累std::function 开销。这里的缺点是您必须使用 C++17 之前的make_foo。

然后您可以像这样使用上面的解决方案：

auto f1 = make_foo([](int i){ return i * 1.5; });
auto f2 = make_foo([]{});

double result = f1.callFunction(12);
f2.callFunction();

如果你打开 C++17 的开关，那么你可以这样写：

foo f1 = [](int i){ return i * 1.5; };
foo f2 = []{};

double result = f1.callFunction(12);
f2.callFunction();

请注意，f1 和 f2 仍然是不同类型的实例。模板参数通过推演隐藏。