草庐IT

perfect-forwarding

全部标签

C++ std::forward<T> 与 static_cast<T>

据我了解,std::forward(x)相当于static_cast(x).但据我所见,static_cast(x)似乎做同样的事情,如下所示code因此我的问题是为什么std::forward实现为static_cast(x),而不是static_cast(x),如果两者有相同的效果呢? 最佳答案 因为完美转发允许同时传递r值引用和l值引用。这是通过referencecollapsing完成的:T=int-->T&&=int&&T=int&-->T&&=int&&&=int&T=int&&-->T&&=int&&&&=int&&在

c++ - 如何有效地从 forward_list 中删除一个元素?

好吧,我认为这个问题已经很概括了。我有一个独特项目的forward_list,并想从中删除单个项目:std::forward_listmylist;//fillwithstuffmylist.remove_if([](Tconst&value){returnvalue==condition;});我的意思是,这种方法工作正常,但效率低下,因为一旦找到并删除项目,它就会继续搜索。有更好的方法还是我需要手动完成? 最佳答案 如果只想删除第一个匹配项,可以使用std::adjacent_find后跟成员erase_after#includ

c++ - std::forward_iterator_tag 的作用是什么?

在分析一个应用程序时,我碰到了gcc4.7.1附带的那部分标准库实现。它是include/g++-v4/bits/vector.tcc:templatetemplatevoidvector::_M_range_insert(iterator__position,_ForwardIterator__first,_ForwardIterator__last,std::forward_iterator_tag){…}我注意到函数签名的最后一个参数只是一个标记,我开始想知道它为什么会在这里。快速浏览thispage表明std::forward_iterator_tag是一个空结构。它在这里的作

c++ - 视觉 C++ : forward an array as a pointer

我已经将一些无法在VisualStudio2015上编译的C++11代码缩减为以下我认为应该编译的代码(并且使用clang和gcc):#includevoidtest(constchar*x);intmain(){constcharx[]="Helloworld!";test(std::forward(x));}我知道这里不需要调用forward。这是从一段更复杂的代码中删除的,该代码将可变参数中的任何数组衰减为指针并转发所有内容。我确信可以通过模板特化或SFINAE找到解决此问题的方法,但我想在走那条路之前知道它是否有效的C++。编译器是VisualStudio2015,问题可以重现

c++ - 为什么 std::function 构造函数或赋值之间存在差异?

std::function类型删除构造函数定义为:templatefunction(Ff);赋值运算符定义为:templatefunction&operator=(F&&f);(来源cppreference)为什么构造函数通过值获取f,而operator=通过转发引用获取f? 最佳答案 我只能猜测,但我猜这是因为它被添加到C++而右值引用和转发引用被添加到语言中。因此其API的某些部分获得了转发引用,而另一些则没有。有一个小优点:如果F的复制构造函数可以扔而移动不能,std::function(F)可以保证不抛出,而std::fun

c++ - 为什么需要转发返回值

在docstd::forward,它给出了以下示例:templatevoidwrapper(T&&arg){foo(forward(arg).get())>(forward(arg).get()));}这里为什么要转发返回值呢?它与以下代码不同的情况是什么:templatevoidwrapper(T&&arg){foo(forward(arg).get());} 最佳答案 让我们分解一下可能性。T::get可以返回一个左值引用(它是一个左值表达式)、一个右值引用(它是一个xvalue表达式)或一个纯右值。forward表达式会将左值

c++ - 如何展平异构列表(又名......元组的元组)

我正在尝试使用C++17折叠表达式和C++14索引技巧来展平由元组和非元组组成的任意输入。预期的结果至少应该符合这些要求:constexprautobare=42;constexprautosingle=std::tuple{bare};constexprautonested_simple=std::tuple{single};constexprautomultiple=std::tuple{bare,bare};constexprautonested_multiple=std::tuple{multiple};constexprautomultiply_nested=std::tup

c++ - 为什么要为 std::forward_list 拼接整个列表或线性范围?

将范围从一个列表拼接到另一个列表可以在常数时间内完成,但代价是使size()的复杂度呈线性。C++11改变了std::list的情况,要求size()为常数时间。例如,这破坏了gcc的实现,参见[C++0x]std::list::sizecomplexity.除了splice()范围外,还有什么其他原因size()不能成为常量时间在早期,C++03符合std::listimplementations?为什么拼接整个列表或范围是线性的std::forward_list?参见splice_after(),案例(1)和(3)。另见standarddraftN3485中的23.3.4.6for

c++ - 使用 std::forward 而不是 std::move 来初始化对象有什么好处吗?

我有一个函数模板,它采用某种可调用类型的参数,并使用std::bind为原始可调用对象创建一个具有预定义参数值的新可调用对象。我用转发引用参数和std::forward编写了它,如下所示:templateautomake_example_caller(F&&f){returnstd::bind(std::forward(f),123,456,789);}cppreferencedocumentationforstd::bind表示绑定(bind)对象“包含一个由std::decay::type构造的std::forward(f)类型的成员对象”。由于std::bind将函数转发给它的内

c++ - std::forward_list 成员可以实现为静态的吗?

std::forward_list提供了insert_after和erase_after成员,它们可能不需要实际访问std::forward_list对象。因此,它们可以作为static成员函数实现,并且可以在没有列表对象的情况下被调用——对于想要从列表中删除自身的对象很有用,这是一种非常常见的用法。编辑:此优化仅适用于std::allocator或用户定义的无状态分配器的forward_list特化。符合标准的实现可以做到这一点吗?§17.6.5.5/3说AcalltoamemberfunctionsignaturedescribedintheC++standardlibrarybe