为什么重写方法并将 const 添加到参数类型有效
Why does overriding a method and adding const to a parameter type work?
请考虑以下示例:
#include <iostream>
#include <string>
class Base {
public:
virtual void func(int a) {}
};
class Derived : public Base {
public:
void func( const int a) override {
}
};
int main()
{
Derived d;
d.func(1);
return 1;
}
我重写了 func
方法,但将 const 添加到参数中,在这种情况下,链接器应该尖叫出问题。要么不重写函数,要么函数参数不应为 const。
但令我惊讶的是,这段代码链接并有效。
您可以在此处找到在线示例。
我错过了什么吗?为什么此代码有效?
虽然类似于带有常量参数和重载的函数,但它解决了不同的问题。该问题是关于无法重载基类的方法,而此问题解决了能够重写派生方法的问题。
因为他们的
签名实际上是相同的。
参数列表中各函数参数的类型按以下规则确定:
。
4( 从参数类型中删除顶级 cv 限定符(此调整仅影响函数类型,但不会修改参数的属性:
int f(const int p, decltype(p)*);
和int f(int, const int*);
声明相同的函数(
这意味着,void func(int a)
和 void func(const int a)
被视为相同的函数类型;则覆盖有效。
相关文章:
- 扩展C++生成的代码的模板参数类型名称
- 如何在 c++ 中定义接受不同参数类型的函数向量?
- 在 C++ 中运行时调用模板时,是否可以切换模板的参数类型?
- 将函数参数类型声明为 auto
- 将函数的参数 - 签名从使用 'std::function<T>' 转换为模板参数类型
- 在 C++17 中调用具有不同参数类型的构造函数
- 具有先前参数类型匹配的参数包
- 我想知道为什么"std::unique_ptr<int> foo(新 int)"是合法的,因为"std::<int>unique_ptr"要求输入参数类型应该是"int"?
- 将可变参数类型列表的扩展打包为复杂类型的初始值设定项列表 - 合法吗?
- MSVC 错误:4 个重载中的任何一个都无法转换所有参数类型
- 使用constexpr + auto作为返回和参数类型的奇怪类型推导
- 如何从第一个参数推断第二个参数类型?
- C++模板函数中,指定回调函子/lambda 的参数类型,同时仍允许内联?
- 如何用不同的参数类型和数字回调函数
- C++stoi:这两个重载都无法转换所有参数类型
- 为什么std::{container}::template不能推导其参数类型
- 为模板参数类型中的新对象分配内存
- 为指向成员模板参数的指针推导额外模板参数类型的紧凑方式
- 使用std::conditional中的模板来确定函数参数类型
- C++中的短参数类型