对于第一个参数，未知的从'A到'A &&'的转换

Question

我是C ++中r值和l值的新手。我在玩。我不确定为什么以下代码有效：

class A {
    public:
    A() {
        std::cout<<"Constructor called"<<std::endl;
    }
    A(const A& a) {
        std::cout<<"Copy Constructor called"<<std::endl;
    }
};

template<typename T>
void printA(T&& b) {
    std::cout<<"Print method called"<<std::endl;
}

int main() {
    // your code goes here
    A a;
    printA(a);
    return 0;
}

但是如果将printA方法更改为以下代码，代码将无法编译：

void printA(A&& b)以下是完整代码：

class A {
    public:
    A() {
        std::cout<<"Constructor called"<<std::endl;
    }
    A(const A& a) {
        std::cout<<"Copy Constructor called"<<std::endl;
    }
};

void printA(A&& b) {
    std::cout<<"Print method called"<<std::endl;
}

int main() {
    // your code goes here
    A a;
    printA(a);
    return 0;
}

编译器抛出以下错误：

candidate function not viable: no known conversion from 'A' to 'A &&' for 1st argument

我知道我们可以通过使用std::move将l值转换为r值引用来使上面的代码起作用，但不确定为什么我在文章开头共享的代码为什么起作用！

有人可以告诉我我在做什么错吗？谢谢！

Answer 1

在此功能模板中：

template<typename T>
void printA(T&& b) {
    std::cout<<"Print method called"<<std::endl;
}

T&&是forwarding reference。这意味着它可以绑定到l值或r值：

A a;
printA(a); // ok, l-value
printA(A{}); // ok, r-value

但是，这是一个常规函数，它使用精确地一个r值：

void printA(A&& b) {
    std::cout<<"Print method called"<<std::endl;
}

因此只能使用r值来调用：

A a;
printA(a); // error, can't bind r-value to l-value
printA(A{}); // ok, r-value