C++完美函数转发

Question

这是这个问题的后续内容.

2002年关于C++中函数转发问题的论文做了以下观察:

这是Boost.Bind和Boost.Lambda当前采用的方法:

template<class A1, class A2, class A3> void f(A1 & a1, A2 & a2, A3 & a3)
{
    return g(a1, a2, a3);
}

它的主要缺点是它不能转发非常数rvalue.参数推导创建非const引用,并且引用不能绑定到参数.这就是无辜的例子

int main()
{
    f(1, 2, 3);
}

失败(违反C1).

我看到呼叫失败,但解释是否正确？不是文字1,2,3常量值吗？

Answer 1

Are not the literals 1, 2, 3 const rvalues?

不,它们只是int类型的rvalues.根据C++标准,原始类型的rvalues不能是const限定的.

调用失败,因为它们是rvalues - 非const引用不能绑定到rvalues.

如果函数采用const A1 &, const A2&, const A3&,则调用将是正常的,但在这种情况下,函数将无法修改参数.

编辑:参考我在C++ 2003标准中的第一个语句:(3.10.9)

类rvalues可以具有cv限定类型; 非类rvalues始终具有cv不合格类型.Rvalues应始终具有完整类型或空白类型; 除了这些类型,左值也可以有不完整的类型.