C ++模板类型扣除临时值

Question

#include <iostream>
#include <vector>
using namespace std;

template <typename T>
void wrapper(T& u)
{
    g(u);
}

class A {};

void g(const A& a) {}
int main()
{
    const A ca;
    wrapper(ca);
    wrapper(A()); // Error
}

嗨，我有一个问题，为什么最后一个语句给出编译器错误。

：18：10：错误：无法将类型为'A＆'的非const左值引用绑定到类型'A'包装器（A（））的右值;

我认为模板类型T将被推导为const A&因为ca也被推导为const A& 。 在这种情况下，为什么类型扣除失败？

Answer 1

我认为模板类型T将被推导为const A＆因为ca也被推导为const A＆。 在这种情况下，为什么类型扣除失败？

因为这不是演绎规则的工作方式。 他们努力尽可能地推断出与函数参数类型的匹配。 临时不一定是const，它只能绑定到const引用。

但是你的函数模板不接受const引用，而是接受非const左值引用。 因此，除非函数参数是const本身（它不是），否则没有const会出现。

正确的解决方案是使用转发引用（对推导的模板参数的右值引用）：

template <typename T>
void wrapper(T&& u)
{
    g(std::forward<T>(u));
}

现在u可以绑定到任何对象。 推导出的类型将告诉您函数参数的值类别，允许您将该类别转发给函数调用g(...) ，并确保选择正确的重载。

---

顺便说一句，如果你好奇，如果你将const直接添加到临时类型，你的原始代码将建立得很好。

using CA = A const;
wrapper(CA()); // Not an error anymore

现在u最终成为了一个A const&并且与临时绑定很好。 但这只是一种在实践中不太可能有用的好奇心。 使用转发参考。

Answer 2

在这种情况下，为什么类型扣除失败？

它不会失败。 T推导为A 因此，参数u的类型为A& 。

对wrapper()的调用实际上是失败的，因为rvalue （即在这种情况下为： A() ）不能绑定到非const 值左侧引用 （即：参数u ）。

Answer 3

错误消息试图传达：

非const引用无法绑定到临时值，因为临时对象的生命周期将在控件到达函数之前到期。

• 变量ca 不是临时变量，因为它具有可在main引用的名称。
• 它的生命周期直到main结束才会到期，因此可以从wrapper安全地引用。
• 模板类型推导不会丢弃const因为它会违反const -correctness for ca

对于wrapper(A()); ，类型参数T将推导为A 由于临时没有const -ness，所以参数u将被推导为A& ，但由于非const引用因上述原因而无法绑定到临时值，因此没有可调用的wrapper函数使用参数A() 。

现在，如果您只是从中读取临时对象，则C ++具有生命周期的扩展。 这就是const T&绑定到临时对象的原因。 在您的情况下，无名临时对象的生命周期将延长到wrapper函数结束。

如果将type参数显式设置为const T&以下：

template <typename T>
void wrapper(const T& u)
{
    g(u);
}

class A {};

void g(const A& a) {}

int main()
{
    const A ca;
    wrapper(ca);
    wrapper(A()); // Error no more.
}

会编译得很好。

---

[C ++ 11]

对于wrapper(A()); ，类型参数T仍然推导为A ，参数u的类型为A&& ，称为对A的右值引用。 假设我们为wrapper添加另一个重载，以便以下内容：

template <typename T>
void wrapper(const T& u)
{
    g(u);
}
template <typename T>
void wrapper(T&& u)
{
    g(u);//u is an lvalue since it has a name.
}

存在。

你可以期待wrapper(A()); 编译， 更喜欢rvalue重载 ，因为rvalue引用是wrapper的左值，因为它有一个名称。