模板允许左值与右值参考绑定

Question

这个程序:

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

struct Dog 
{ 
    int legs; 
} adog;

Dog gimmeadog() { return adog; }

void walk(Dog && d) { cout << "Nonconst right dog walk\n"; }

//template<class T> void walk(T && d) { d.legs=3; cout << "Nonconst right something walk\n"; }

int main() {
    Dog mydog = gimmeadog();
    walk(mydog);    
    return 0;
}

正确无法在gcc上编译,因为:

error: cannot bind rvalue reference of type ‘Dog&&’ to lvalue of type ‘Dog’
  walk(mydog);

但是如果你取消对模板的评论,它就会很快地绑定并打印出"Nonconst right something walk".

为什么？什么类型的T工作？这不是打败右值引用的对象吗？

Answer 1

何时T是模板参数T&&是转发引用,而不是r值.T得出Tr值和T&l值的推论.这样的参考与任何事物都有关系.

Answer 2

template<class T> 
void walk(T && d)

在这种情况下T &&是转发引用,当你传递Lvalue(mydog对象)T被推断为T&,所以签名walk看起来像

void walk(Dog& );

然后你可以绑定mydog到左值参考.