C++模板参数推导：指针const限定符作用位置的规则问询

问题1：为何const作用于指针本身，而非指向的类型？ #

当调用foo(y)（y为int*类型）时，模板参数推导的核心逻辑是将const直接绑定到推导出来的T的整体类型上，而非拆分T的内部结构。

在第一个示例的void foo(const T val)中：

• 实参y的类型是int*，模板推导会将T匹配为int*
• 此时const T等价于const (int*)，也就是int* const——这里的const修饰的是整个T类型（即指针本身），表示这个指针参数不能被修改，而非限制指针指向的int值不可变。

第二个示例的void foo(const T& val)逻辑完全一致：

• T依然被推导为int*，const T&就变成了const (int*)&，即int* const&——这是一个指向“不可修改的int*指针”的引用，同样是限定指针本身，而非指向的int。

如果想要让const作用于指针指向的类型，需要在模板中明确声明T为非指针类型，比如写成void foo(const T* val)，此时传入int*的话，T会被推导为int，参数类型就是const int*。

问题2：C++标准中的相关规则 #

C++11及后续版本的标准对模板类型推导有明确规定，核心规则如下：

1. 按值传递的模板参数（const T）：推导时，实参类型直接匹配模板参数模式，const作为T的限定符，修饰推导得到的T的完整类型。若实参是指针类型X*，则T推导为X*，const T即为X* const。
2. 按引用传递的模板参数（const T&）：推导逻辑与按值传递一致，const同样修饰推导得到的T的完整类型，最终参数类型为const T&，当T是指针时，就是X* const&。

简言之，模板推导不会自动拆分T的类型结构（比如把指针拆成“指向类型”和“指针”两部分），const始终是作为整体限定T，而非限定T内部的某个组成部分。

内容的提问来源于stack exchange，提问作者sam