为什么在这种情况下模板参数是参考？

Question

在玩 std::forward 时发现了一个奇怪的行为。这是一个小例子：

#include <type_traits>
#include <iostream>

template <typename A>
void func(A&&)
{
    std::cout
        << std::is_pointer<A>::value
        << std::is_lvalue_reference<A>::value
        << std::is_rvalue_reference<A>::value
        << std::endl;
    using B = typename std::remove_reference<A>::type;
    std::cout
        << std::is_pointer<B>::value
        << std::is_lvalue_reference<B>::value
        << std::is_rvalue_reference<B>::value
        << std::endl;
}

int main()
{
    int* p = nullptr;
    func(p);
}

它打印010和100，这意味着A是一个引用而不是一个指针，而std::remove_reference<A>是一个预期的指针。

但是为什么会这样呢？我认为A 是一个指针，A&& 是函数体内的一个引用。另外，如果是这种情况，A& 和 A&& 是什么类型？

Answer 1

这就是forwarding reference 的工作原理；当被传递一个左值时，模板参数A 将被推导出为一个左值引用。对于这种情况，它是int*&，即对指针的左值引用。 （引用折叠后，函数参数的类型也将是int*&。）

当被传递一个右值时，A 将被推断为非引用类型。例如，如果你传递一个类型为int* 的右值，A 将被推导出为int*。 （那么函数参数的类型就是int*&&。）