C++模板中指向引用类型的指针引起的问题

在 C++ 中，使用指向引用类型的指针作为模板参数会导致一些问题，例如：

template <typename T>
void foo(T& t)
{
    // ...
}

int main()
{
    int x = 42;
    int& rx = x;
    int* pr = &rx; // compiles fine
    foo(pr); // error: cannot bind non-const lvalue reference of type 'int *&' to an rvalue of type 'int **'
}

在上面的例子中，我们定义了一个函数模板 foo()，它的模板参数是一个引用类型的指针 T&。然后我们声明了一个 int 类型的变量 x 和一个 int 类型的引用 rx，然后将 rx 的地址赋给了一个 int 类型的指针 pr。在调用 foo() 时，我们将 pr 作为参数传递进去，但编译器报告了一个错误，说无法将 int** 类型的 pr 绑定到 int*& 类型的 T& 上。这是因为，当使用指针类型作为模板参数时，指向引用类型的指针会被推导为一个指向指针类型的指针，而不是一个引用类型的指针。

为了避免这个问题，我们可以使用模板元编程中的 std::remove_pointer 类型转换类型辅助工具来删除指针类型中的指针符号。例如，我们可以将 foo() 的模板参数改写为 typename std::remove_pointer<T>::type&，这可以确保我们只处理引用类型的指针。

template <typename T>
void foo(typename std::remove_pointer<T>::type& t)
{
    // ...
}

int main()
{
    int x = 42;
    int& rx = x