代码之家 › 专栏 › 技术社区 › lubgr

在调用之前,为什么或何时应将可调用函数参数强制转换为rvalue?

higher-order-functions move-semantics c++

lubgr · 技术社区 · 7 年前

到目前为止,我已经考虑过传递和调用一个callable作为

template <class Fct, class... Args> void f(Fct&& g, Args&&... args)
{
    g(std::forward<Args>(args)...);
}

是一条路。现在在 this talk (34分钟)和 std::invoke 示例实现中,我看到了上述代码片段的等价性,它在调用rvalue引用之前有条件地将callable强制转换为rvalue引用,

template <class Fct, class... Args> void f(Fct&& g, Args&&... args)
{
    std::forward<Fct>(g)(std::forward<Args>(args)...);
}

我假设这个修改只影响闭包,但我仍然不明白为什么第二个版本更可取:强制转换只影响rvalue参数,调用时不应复制任何状态,对吗?我还检查了 std::function::operator() 已超载 & 和 && 通过上述代码片段之外的库获取提示,但事实并非如此。

提前谢谢你的提示和回答!

1 回复 | 直到 7 年前

llllllllll 7 年前

完美转发的关键是尽可能地保留原始信息。

g(std::forward<Args>(args)...); 将删除原始函数对象的rvalue/lvalue信息, g 将总是被视为左值。

这将产生明显的影响,例如:

struct foo {
    void operator()(int) & {
        std::cout << "& called\n";
    }

    void operator()(int) && {
        std::cout << "&& called\n";
    }
};

foo{}(1) 将调用第二个 operator() 是的。如果你使用第一种方法 std::forward 我是说, f(foo{}, 1) 将调用第一个 运算符() 是的。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

8 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

8 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

8 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

8 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

8 月前

Die4Toast · 递归调用成员箭头运算符->

8 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

8 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

8 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

8 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

8 月前