jjzjj

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

coder 2024-02-22 原文

在 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，那就太好了。
  • 我可能弄乱了这里的转发/&&。

最佳答案

永远不要使用推导的参数类型来确定静态或重新解释转换(或 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)生成之类的问题。对于大多数此类问题，有人试图解决它，说“如果我能解决这个子问题我就完成了”，然后在不包括激励背景的情况下询问子问题。请像上面那样减少您的问题，但始终包含激励背景。

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

关于c++ - 修改后的 std::invoke/std::apply，将可调用对象作为 void* - 可能吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/37150298/

可调ampcodeArgTypessectionc++c++11higher-order-functionsc++-standard-libraryc++17

有关c++ - 修改后的 std::invoke/std::apply，将可调用对象作为 void* - 可能吗？的更多相关文章

  1. ruby - 如何以所有可能的方式将字符串拆分为长度最多为 3 的连续子字符串？ - 2

    我试图获取一个长度在1到10之间的字符串，并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符，然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby - RSpec - 使用测试替身作为 block 参数 - 2

    我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

  4. ruby - 字符串文字中的转义状态作为 `String#tr` 的参数 - 2

    对于作为String#tr参数的单引号字符串文字中反斜杠的转义状态，我觉得有些神秘。你能解释一下下面三个例子之间的对比吗？我特别不明白第二个。为了避免复杂化，我在这里使用了'd'，在双引号中转义时不会改变含义("\d"="d")。'\\'.tr('\\','x')#=>"x"'\\'.tr('\\d','x')#=>"\\"'\\'.tr('\\\d','x')#=>"x" 最佳答案 在tr中转义tr的第一个参数非常类似于正则表达式中的括号字符分组。您可以在表达式的开头使用^来否定匹配(替换任何不匹配的内容)并使用例如a-f来匹配一

  5. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  6. 安卓apk修改(Android反编译apk) - 2

    最近因为项目需要，需要将Android手机系统自带的某个系统软件反编译并更改里面某个资源，并重新打包，签名生成新的自定义的apk，下面我来介绍一下我的实现过程。APK修改，分为以下几步：反编译解包,修改,重打包,修改签名等步骤。安卓apk修改准备工作1.系统配置好JavaJDK环境变量2.需要root权限的手机（针对系统自带apk,其他软件免root）3.Auto-Sign签名工具4.apktool工具安卓apk修改开始反编译本文拿Android系统里面的Settings.apk做demo,具体如何将apk获取出来在此就不过多介绍了，直接进入主题：按键win+R输入cmd，打开命令窗口，并将路

  7. ruby-on-rails - 应用程序的名称是否可以作为变量使用？ - 2

    当我创建一个Rails应用程序时，控制台:railsnewfoo我的代码可以使用字符串“foo”吗？puts"Yourapp'snameis"+app_name_bar 最佳答案 Rails.application.class将为您提供应用程序的全名(例如YourAppName::Application)。从那里您可以使用Rails.application.class.parent获取模块名称。 关于ruby-on-rails-应用程序的名称是否可以作为变量使用？，我们在StackOve

  8. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  9. ruby-on-rails - 使用作为方法的值在 ruby​​ 中搜索哈希 - 2

    我在搜索我的值是方法的散列时遇到问题。我只是不想运行plan_type与键匹配的方法。defmethod(plan_type,plan,user){foo:plan_is_foo(plan,user),bar:plan_is_bar(plan,user),waa:plan_is_waa(plan,user),har:plan_is_har(user)}[plan_type]end目前如果我传入“bar”作为plan_type，所有方法都会运行，我怎么能只运行plan_is_bar方法呢？ 最佳答案 这个变体怎么样？defmethod

  10. ruby - 无法在 Ruby 中将 ffmpeg 作为子进程运行 - 2

    我正在尝试使用以下代码通过将ffmpeg实用程序作为子进程运行并获取其输出并解析它来确定视频分辨率:IO.popen'ffmpeg-i'+path_to_filedo|ffmpegIO|#myparsegoeshereend...但是ffmpeg输出仍然连接到标准输出并且ffmepgIO.readlines是空的。ffmpeg实用程序是否需要一些特殊处理？或者还有其他方法可以获得ffmpeg输出吗？我在WinXP和FedoraLinux下测试了这段代码-结果是一样的。 最佳答案 要跟进mouviciel的评论，您需要使用类似pope

随机推荐