c++ const在重载overload和覆盖override上使用区别

1.overload 重载

首先讲讲const在重载上的使用,重载的目的是为了根据不同的输入来调用不同的同名函数。const的位置不同会引起不同的效果,我在一篇转载文章中具体阐述过:点击打开链接

再归纳一下,能否构成重载的区别在于用户能否知晓函数的不同:

1)放在函数尾部修饰

作为对函数不会修改成员变量的修饰,即void fun() const;和void fun(); 这种情况下const能构成重载,用户对于两个函数,一个会修改参数,一个不会修改参数,这是足以区分两个函数的,因此能构成重载。

2)放在函数返回值处修饰

作为对函数返回值的修饰,即const void fun(); 或者 const char* fun() 或者char* const fun(); 与没有const修饰的函数之间。这种情况下只是向用户返回一个调用的值,用户只管接受,他们传给函数的值并未发生变化,且函数内部发生什么事他们也不曾知晓(不像1)中有修改参数的区别),所以用户并不知晓函数的区别,因此对于函数返回值的const修饰无法构成重载。

3)放在函数参数中

这种情况下要分类讨论了:

i.如果是值传递,即:void fun(const int i); 和 void fun(int i );则不会构成重载,值是复制进去的,里面发生了什么变化都和用户的值无关,因此用户不会知晓。

ii.如果是引用/指针传递,即void fun(const int *i); 和 void fun(int *i);或者void fun(const int& i);和 void fun(int& i);之间,这种情况会构成重载,因为用户传入的值可能会被改变,因此这是足以区分函数的。


2.override覆盖

覆盖是在面向对象角度的类多态中提出的,派生类通过对基类中虚函数覆盖来达到动态绑定的效果。要构成覆盖的条件是:

派生类的函数原型必须完全覆盖基类中的声明,包括:参数列表、返回类型、常量性。

因此对于const的修饰,要构成覆盖,还是必须完全一致,缺省会导致报错,例如:Base类中: virtual void fun() const;  Derived类中:void fun(); 会导致报错(另外注意派生类中virtual可加可不加)

因此const在覆盖中没有例外,常量性也必须完全符合。

注:对于完全覆盖的概念上,唯一有例外的是在于返回类型上,若该函数是返回类指针/引用则会是例外,例如:

Base类中:

Base* fun();

Derived类中:

Derived* fun();

这是可以构成覆盖的,因为Derived类是继承于Base类的,派生类中的同名函数可以返回基类所派生出来的类型。

你可能感兴趣的:(c++)