为何编译器将形参为int* const与int*的同名函数视为同一函数？

这是C++标准的明确规定：函数参数的顶层const（top-level const）不会参与函数签名的构成，因此编译器会将这两个声明判定为同一个函数。

关键概念：顶层const vs 底层const #

• 对于指针类型来说：
  • int* const arg中的const是顶层const：它修饰的是指针变量arg本身，仅限制函数内部不能修改这个指针的指向（比如不能给arg赋值nullptr），但不会改变指针指向对象的类型，也不影响外部调用该函数时的参数传递规则。
  • int const* arg中的const是底层const：它修饰的是指针指向的对象，意味着函数内部不能通过该指针修改指向的int值，这种const会改变参数的类型属性，因此会影响函数签名。

对应两种场景的分析 #

1. 第一种场景（编译失败）
   头文件声明的是void foo(int const* arg)，定义的是void foo(int* arg)——这里的区别是底层const，属于不同的参数类型，因此函数签名完全不同，编译器找不到对应声明的定义，所以报错。

2. 第二种场景（编译通过）
   头文件声明的void foo(int* const arg)中，const是顶层const。根据C++标准，编译器在判断函数签名时会忽略参数的顶层const修饰，因此这个声明和定义中的void foo(int* arg)的签名完全一致，编译器认为是同一个函数的声明与实现，所以可以正常编译。

扩展说明 #

顶层const的规则不仅适用于指针，对于普通值类型参数同样生效：比如声明void bar(int const)和定义void bar(int)也会被视为同一个函数，因为顶层const只是限制函数内部对参数的修改，不会影响函数的调用方式或签名识别。

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