c++ - 如何创建可以接受不同参数的函数指针 vector ？

Question

我正在尝试学习如何在 std::vector 中存储函数(或者更确切地说是指向函数的指针)。我有这段代码:

#include <iostream>
#include <vector>

void x(int i)
{
    std::cout << "x is " << i << std::endl;
}

void y(int i, int j)
{
    std::cout << "y is " << i << " and " << "j" << std::endl;
}

int main()
{
    std::vector<void(*)(int)> V;

    V.push_back(x);

    V[0](1);

    return 0;
}

这非常有效，但问题是我不能将 y 函数 push_back 到同一个 vector 中，因为它需要 2 个整数而不是一个。

我应该怎么做才能将这两个函数存储在同一个 vector 中？

Answer 1

没有什么好的方法可以做你想做的事，但你可以做到。

编写一个增强变体(std 或 boost 或手动标记的类型安全 union )，如果类型错误则支持隐式强制转换(如果需要，请随意支持类型之间的转换)。称之为 poly_arg<Ts...>

编写一个类型橡皮擦，将 arg 类型作为模板参数。然后它在构造时获取一个函数指针，并使用参数长度恰到好处的 vector 类型删除调用它。 (或一个函数对象和一个 arg 计数范围)。然后它有一个可变参数 operator()将其参数转发到其 arg 类型的 vector 中，然后尝试使用上述类型删除进行调用。如果传递了错误数量的参数，它会抛出异常。称之为 vararg_func<T> .

存储 vararg_func<poly_arg<int, double, std::string>> 的 vector (3 种类型的列表只是一个例子)。这可以存储 void(*)(int)和 void(*)(int,int)和 void(*)(std::string, double, int)和 void(*)()等等，你可以调用它。如果参数计数错误，则会出现异常(来自 vararg func)。如果你得到一个错误的参数类型，异常(来自 poly arg)。如果你传递一个不兼容的函数指针，在 push_back 编译错误(这太棒了!)

如果只需要支持int args 你可以跳过 poly_arg和存储vararg_func<int>相反。

我认为这是一个糟糕的计划。

您很少希望统一处理具有不同数量和类型参数的函数。少数合法情况最好使用两个耦合类型删除系统(如具有非统一签名的高效大规模定制点表)来处理，这些系统在内部隐藏了类型不安全性。

相反，此计划符合您的要求，这会在其接口(interface)中强制类型不安全，并通过“不知道，也许它会工作”调用污染您的代码。

如果您需要帮助实现这些类型的橡皮擦，请意识到我都知道如何编写它们以及它们如何解决您的问题，在我看来它们是一个非常糟糕的主意。如果这不能阻止你，去学习 C++ 中的类型删除和值类型多态性以及如何 std::function作品。尝试写一个玩具std::function .玩“仅查看”和“仅移动”版本。尝试使用有界函数对象大小的零分配。这应该需要几周或几年的时间。

现在写一些更简单的案例，比如打印到 ostream。做得足够好。在哪一点vararg_func应该具有挑战性但可行；试试吧。如果失败，请 SO 提供帮助，包括您的尝试。

poly_arg相比之下应该很容易。