C++中重载的概念

Question

案例 1： 您可以重载两个函数，即：

void foo(int *);
void foo(const int *);

在 , 案例2： 你不能重载两个函数：

void foo(int);
void foo(const int);

我已经对这个概念进行了编码和检查，但无法找出导致这种重载变化的原因。

Answer 1

来自标准 §13.1

参数声明仅在 存在或不存在 const 和/或 volatile 是等价的。即 const 和 volatile 确定时忽略每个参数类型的类型说明符 正在声明、定义或调用哪个函数。 [ 例子：

typedef const int cInt;
int f (int);
int f (const int); // redeclaration of f(int)
int f (int) { /* ... */ } // definition of f(int)
int f (cInt) { /* ... */ } // error: redefinition of f(int)

——结束示例]

只有最外层的 const 和 volatile 类型说明符 以这种方式忽略参数类型规范；常量 以及隐藏在参数类型中的 volatile 类型说明符 规范是重要的，可以用来区分 重载函数声明。特别是，对于任何类型 T， “指向 T 的指针”、“指向 const T 的指针” 和“指向 volatile T 的指针”是 被视为不同的参数类型， 就像“对 T 的引用”一样， “引用 const T”和“引用 volatile T”。

Answer 2

形式参数的顶级 CV 资格将被忽略。确定函数的类型。

（简历：const 或 volatile）

一种理解方式是，形式参数的顶级 CV 资格无法影响函数的调用者，也不会影响机器代码。这只是对实施的限制。因此，如果您需要声明 void foo( int )，您可以使用 void foo( const int ) 来实现，反之亦然。

Answer 3

在第二种情况下，因为整数是原始类型，int 或const int 是按值传递的，函数会复制变量。因此，函数定义是相同的。

在第一种情况下，第一个函数接受一个整数指针作为参数，而第二个函数接受一个指向常量整数的指针。这些是不同的数据类型，因为整数的值不是由指针的值复制的，因此数据是通过引用传递的。