为什么覆盖方法并将 const 添加到参数类型有效？ [复制]

Question

考虑以下示例：

#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。

但令我惊讶的是，此代码链接并有效。

您可以找到online example here。

我错过了什么吗？为什么这段代码有效？

虽然类似于Functions with const arguments and Overloading，但它解决了一个不同的问题。那个问题是关于不可能重载基类的方法，而这个问题解决的是能够覆盖派生方法的问题。

Answer 1

因为他们的signatures其实是一样的。

参数列表中每个函数参数的类型根据以下规则确定：

...

4) 从参数类型中去掉顶级的 cv-qualifiers（这个调整只影响函数类型，但不修改参数的属性：int f(const int p, decltype(p)*); 和 int f(int, const int*); 声明相同的函数）

也就是说，void func(int a) 和 void func(const int a) 被认为是同一个函数类型；那么覆盖是有效的。