草庐IT

c++ - 为什么要使用完美转发的值(仿函数)？

coder 2023-05-02 原文

C++11(和 C++14)引入了针对泛型编程的附加语言结构和改进。这些包括以下功能；

  • R 值引用
  • 引用折叠
  • 完美转发
  • 移动语义、可变参数模板等

    • 我在浏览较早的 draft的C++14 specification (现在有更新的文本)和第 20.5.1 节“编译时整数序列”中的示例中的代码，我发现这些代码很有趣也很奇特。
    template<class F, class Tuple, std::size_t... I>
decltype(auto) apply_impl(F&& f, Tuple&& t, index_sequence<I...>) {
  return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(t))...);
}

template<class F, class Tuple>
decltype(auto) apply(F&& f, Tuple&& t) {
  using Indices = make_index_sequence<std::tuple_size<Tuple>::value>;
  return apply_impl(std::forward<F>(f), std::forward<Tuple>(t), Indices());
}

    在线咨询 [intseq.general]/2 .

    问题
  • 为什么是函数 f在 apply_impl被转发，即为什么std::forward<F>(f)(std::get... ?
  • 为什么不将函数应用为 f(std::get... ?

    • 最佳答案

    简单来说...
    TL;DR，您想保留 value category (r 值/l 值性质)，因为这会影响 overload resolution ，尤其是 ref-qualified members .
    函数定义缩减
    为了关注被转发函数的问题，我将示例(并使用 C++11 编译器编译)缩减为；

    template<class F, class... Args>
auto apply_impl(F&& func, Args&&... args) -> decltype(std::forward<F>(func)(std::forward<Args>(args)...)) {
  return std::forward<F>(func)(std::forward<Args>(args)...);
}
    我们创建了第二个表单，我们替换了 std::forward(func)只需 func ;
    template<class F, class... Args>
auto apply_impl_2(F&& func, Args&&... args) -> decltype(func(std::forward<Args>(args)...)) {
  return func(std::forward<Args>(args)...);
}
    sample 评估
    评估其行为方式的一些经验证据(使用符合标准的编译器)是评估代码示例为何如此编写的一个很好的起点。因此，另外我们将定义一个通用仿函数；
    struct Functor1 {
  int operator()(int id) const
  {
    std::cout << "Functor1 ... " << id << std::endl;
    return id;
  }
};
    初始样本
    运行一些示例代码；
    int main()
{
  Functor1 func1;
  apply_impl_2(func1, 1);
  apply_impl_2(Functor1(), 2);
  apply_impl(func1, 3);
  apply_impl(Functor1(), 4);
}
    并且输出如预期，与是否使用 r 值无关 Functor1()或左值 func拨打 apply_impl 时和 apply_impl_2调用重载的调用运算符。它被称为 r 值和 l 值。在 C++03 下，这就是你所得到的，你不能基于对象的“r-value-ness”或“l-value-ness”重载成员方法。

    Functor1 ... 1
    Functor1 ... 2
    Functor1 ... 3
    Functor1 ... 4


    Ref 合格 sample
    我们现在需要重载该调用运算符以进一步扩展它...
    struct Functor2 {
  int operator()(int id) const &
  {
    std::cout << "Functor2 &... " << id << std::endl;
    return id;
  }
  int operator()(int id) &&
  {
    std::cout << "Functor2 &&... " << id << std::endl;
    return id;
  }
};
    我们运行另一个样本集；
    int main()
{
  Functor2 func2;
  apply_impl_2(func2, 5);
  apply_impl_2(Functor2(), 6);
  apply_impl(func2, 7);
  apply_impl(Functor2(), 8);
}
    输出是;

    Functor2 &... 5
    Functor2 &... 6
    Functor2 &... 7
    Functor2 &&... 8


    讨论
    在apply_impl_2的情况下( id 5 和 6)，输出可能与最初预期的不同。在这两种情况下，l 值都符合条件 operator()被调用(根本不调用 r 值)。从 Functor2() 开始，可能已经预料到了，一个 r 值，用于调用 apply_impl_2 r 值合格 operator()会被调用。 func , 作为 apply_impl_2 的命名参数, 是一个 r 值引用，但由于它被命名，它本身就是一个左值。因此 l 值合格 operator()(int) const&在 l 值 func2 的两种情况下都被调用作为参数和 r 值 Functor2()被用作论据。
    在apply_impl的情况下( id 7 和 8) std::forward<F>(func)维护或保留为 func 提供的参数的 r 值/l 值性质.因此 l 值合格 operator()(int) const&用 l 值 func2 调用用作参数和 r 值限定 operator()(int)&&当 r 值 Functor2()用作参数。这种行为是预料之中的。
    结论
    std::forward的使用，通过完美转发，确保我们保留 func 的原始参数的 r 值/l 值性质。 .它保留了他们的 value category .
    必填，std::forward可以而且应该不仅仅用于将参数转发给函数，而且还可以用于必须保留 r-value/l-value 性质的参数的使用。笔记;在某些情况下，不能或不应保留 r 值/l 值，在这些情况下 std::forward不应使用(参见下面的反面)。
    有很多例子通过看似无害的 r 值引用无意中失去了参数的 r 值/l 值性质。
    编写定义明确且健全的通用代码一直很困难。随着 r 值引用的引入，特别是引用折叠，可以更简洁地编写更好的通用代码，但我们需要更加了解所提供参数的原始性质是什么，并确保当我们在我们编写的通用代码中使用它们时，它们会得到维护。
    可以找到完整的示例代码 here
    推论和相反
  • 这个问题的推论是；给定引用在模板化函数中折叠，如何保持参数的 r 值/l 值性质？答案 - 使用 std::forward<T>(t) .
  • 交谈;是否std::forward解决所有“通用引用”问题？不，它没有，有些情况下它 should not be used ，例如多次转发该值。

    • 完美转发的简要背景
    完美转发可能有些人不熟悉，那么什么是完美转发呢？
    简而言之，完美转发是为了确保提供给函数的参数被转发(传递)到另一个与 originally provided 具有相同值类别(基本上是 r 值与 l 值)的函数。 .它通常与模板函数一起使用，其中 reference collapsing可能已经发生。
    Scott Meyers 在他的 Going Native 2013 presentation 中给出了以下伪代码解释 std::forward 的工作原理(大约在 20 分钟标记处)；
    template <typename T>
T&& forward(T&& param) { // T&& here is formulated to disallow type deduction
  if (is_lvalue_reference<T>::value) {
    return param; // return type T&& collapses to T& in this case
  }
  else {
    return move(param);
  }
}
    完美转发依赖于一些 C++11 新的基本语言结构，它们构成了我们现在在泛型编程中看到的大部分内容的基础:
  • 引用折叠
  • 右值引用
  • 移动语义
    • std::forward的使用当前用于公式 std::forward<T> ，了解如何std::forward作品有助于理解为什么会这样，还有助于识别非惯用或不正确的右值使用、引用折叠和同类。
    托马斯·贝克尔 (Thomas Becker) 提供了关于完美转发 problem 的一篇不错但密集的文章和 solution .
    什么是引用限定符？
    引用限定符(左值引用限定符 & 和右值引用限定符 &&)类似于 cv 限定符，因为它们(ref-qualified members)在 overload resolution 期间使用来确定调用哪个方法。他们的行为与您期望的一样； &适用于左值和 &&到右值。 注:与 cv-qualification 不同，*this仍然是一个左值表达式。

    关于c++ - 为什么要使用完美转发的值(仿函数)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24779910/

    amp43codeforwardc++c++11perfect-forwardingc++14

    有关c++ - 为什么要使用完美转发的值(仿函数)？的更多相关文章

    1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

      我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

    2. ruby - 使用 RubyZip 生成 ZIP 文件时设置压缩级别 - 2

      我有一个Ruby程序，它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重，我想提高压缩级别，因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗？是否有另一个允许指定压缩级别的Ruby库？ 最佳答案 这是我通过查看ruby​​zip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d

    3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

      类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

    4. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

      很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

    5. ruby - 在 Ruby 中使用匿名模块 - 2

      假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外，还有什么方法可以访问C和m中的其他内容？我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)？如何在使用完匿名模块后将其删除，使其定义的常量不再存在？ 最佳答案 三个答案:是的，使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

    6. ruby - 使用 ruby​​ 和 savon 的 SOAP 服务 - 2

      我正在尝试使用ruby​​和Savon来使用网络服务。测试服务为http://www.webservicex.net/WS/WSDetails.aspx?WSID=9&CATID=2require'rubygems'require'savon'client=Savon::Client.new"http://www.webservicex.net/stockquote.asmx?WSDL"client.get_quotedo|soap|soap.body={:symbol=>"AAPL"}end返回SOAP异常。检查soap信封，在我看来soap请求没有正确的命名空间。任何人都可以建议我

    7. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

    8. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

      我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

    9. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

      我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

    10. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

      我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

    随机推荐