C转发参考和r值参考

我知道转发引用是“对cv-unqualified模板参数的右值引用”,例如in

template <class T> void foo(T&& );

这意味着上述函数可以同时采用l值和r值引用.

有些东西我不明白,例如

template <class T>
class A
{
    template <class U>
    void foo(T&& t, U&& u)
    {
        T t2( std::forward(t) ); // or should it be std::move(t)? is T&& forwarding or r-value reference
        U u2( std::forward(u) ); // or should it be std::move(u)? I believe U&& is forwarding reference
    }
};

在上面的代码中,都是T&&和U&&转发参考？

我写了一些代码来测试(VS2015编译器)：

class A
{
public:
    A(){};
    A(const A& rhs)
    {
        std::cout << "calling 'const A&' l-value" << std::endl;
    }

    A(A&& rhs)
    {
        std::cout << "calling ' A&&' r-value" << std::endl;
    }

};

template <class T>
class Test
{
public:
    void test1(T&& t)
    {
        T t2(std::forward<T>(t));
    }

    template <typename X>
    void test2(X&& x)
    {
        T t2( std::forward<T>( x ) );
    }

};

void main()
{
    A a;
    Test<A> test;
    test.test1(A());
    test.test1(std::move(a));
    //test.test1(a); // this doesn't compile. error: cannot convert argument 1 from 'A' to 'A &&', You cannot bind an lvalue to an rvalue reference

    test.test2<A>(A());
    test.test2<A>( std::move( a ) );

    //test.test2<A>( a ); // this doesn't compile. error: cannot convert argument 1 from 'A' to 'A &&', You cannot bind an lvalue to an rvalue reference
}

我期待test.test1(a);并且test.test2(a)如果它们是转发引用则应该编译,但两者都没有.

有人可以向我解释一下吗？谢谢！

编辑
– – – – – – – 多谢你们 – – – – – –
理查德和阿泰米是对的.

解决方法:

这是一个很好的问题,几乎每个人都在开始.

template <class T>
class A
{
    template <class U>
    void foo(T&& t, U&& u);
};

在此示例中,不推导出T(您在实例化模板时明确定义它).

U是推导出来的,因为它是从论证u中推导出来的.

因此,在几乎所有情况下,它将是：

std::move(t);
std::forward<U>(u);

标签：forwarding-reference,c,rvalue-reference
来源： https://codeday.me/bug/20190823/1699199.html