了解 const 限定符在指针的模板参数推导中的位置

问：

我正在努力了解 const 限定符如何影响 C++ 模板函数中的推导类型，尤其是在涉及指针时。请考虑以下模板函数：

#include <type_traits>
#include <iostream>
template <typename T>
void foo(const T val) {
    if (std::is_pointer<T>::value) {
        std::cout << "foo() called for a pointer" << std::endl;
    } else {
        std::cout << "foo() called for a value" << std::endl;
    }
}

int main() {
    int x = 10;
    int* y = &x;
    foo(y);
}

当我调用 foo（y） 时，y 是指向 int 的指针，我注意到 T 被推导为 ，并且函数参数 val 变为 。我想确认我的理解：int*int* const

为什么适用于指针本身，而不是指向类型（即，而不是）？ C++ 标准中是否有一条规则来定义如何在此类模板类型推导中应用 const？constint* constconst int*

链接到 C++Insights ： https://cppinsights.io/

这同样适用于：

#include <type_traits>
#include <iostream>
template <typename T>
void foo(const T& val)
{
    if (std::is_pointer<T>::value)
    {
        std::cout << "foo() called for a pointer" << std::endl;
    }
    else
    {
        std::cout << "foo() called for a value" << std::endl;
    }
}

int main()
{
    int x = 10;
    int*  y = &x;
    foo(y);
}