c++ - 修改后的 std::invoke/std::apply，将可调用对象作为 void* - 可能吗？

Question

在 C++17 中我们有 std::invoke :

template<class F, class... ArgTypes>
std::result_of_t<F&&(ArgTypes&&...)> invoke(F&& f, ArgTypes&&... args);

(并且在 C++11 中已经有 std::experimental::apply，它是相似的，但有一个元组)。现在，我要实现:

template<typename T, typename... ArgTypes>
T invoke(void* f, ArgTypes&&... args);

与 std::invoke 的不同之处在于 f 是通过 void 指针传递的，并且其类型没有模板参数。然而，类型可以被人类读者推断出来，前提是f是一个指向普通独立函数的指针，我可以这样做:

template<typename T, typename... ArgTypes>
T my_invoke(void* f, ArgTypes&&... args)
{
        using type_unerased_function = T (*)(ArgTypes...);
        return reinterpret_cast<type_unerased_function>(f)(args...);
}

这似乎有效。但是，std::invoke 支持成员函数、带有 operator() 的对象，也许还有其他小动物(std::apply 支持的不仅仅是也有普通函数指针)。是否可以扩展以上内容以支持 std::invoked 的大部分/全部功能？

注意事项:

• 我从签名中删除了 constexpr，因为我愿意放弃它。如果能以某种方式保留 constexpr，那就太好了。
• 我可能弄乱了这里的转发/&&。

Answer 1

永远不要使用推导的参数类型来确定静态或重新解释转换(或 C 风格)参数应该是什么。

兼容的推导论证类型与其兼容的不匹配。

void f(short);

可以用 0 调用，但是 0 被推断为类型 int&&，并且您的代码将 void 指针转换为 无效(*)(整数)。这些是不兼容的类型。

此外，如果您采用 int zero=0; 然后将 zero 传递给您的怪物，您可以推断出 void 指针为 void(*)(诠释&)。虽然第一个可能会意外地基于堆栈对齐(执行未定义行为)，但这个会立即出现段错误(这至少会让您注意到您的错误，而不是错过它并在以后感到困惑)。

您希望调用给定函数的参数类型不足以来确定您调用的对象的类型。即使是这样，它也是脆弱和危险的，你会感到沮丧。

现在，您想将其扩展到一堆其他东西。每一个都有不同的布局和调用约定。成员函数指针的大小可以变化，并且不能保证它们适合 void*，更不用说可以像函数一样对待了。

---

好消息来了。你的问题是你在错误的地方删除。您需要删除当您拥有所需信息时，在您将其丢弃后不久。

您确实需要知道您希望为这个已删除的对象提供什么样的参数。

假设您知道它将使用 arg1、arg2、arg3 类型调用。然后我们可以将它存储在:

std::function<void(arg1, arg2, arg3)>

现在你可以:

std::function<void(arg1,arg2,arg3)> f = my_invokable;

和std::function 将执行处理函数指针、() 重载的对象和成员函数的std::invoke 步骤指针(第一个参数现在是 this)。

---

很可能这个问题实际上是在尝试解决脚本接口(interface)生成之类的问题。对于大多数此类问题，有人试图解决它，说“如果我能解决这个子问题我就完成了”，然后在不包括激励背景的情况下询问子问题。请像上面那样减少您的问题，但始终包含激励背景。

您的问题可能可以通过在与您所在位置不同的位置进行类型删除来解决。