C++中值传递const参数为何不影响重载与覆写？

先看你给出的测试代码：

void foo(const int a)
{
    a = 5; //error: assignment of read-only parameter 'a'
}

void foo(int a) //error: redefinition of 'void foo(int)'
{
    a = 5;
}

struct B
{
    virtual void foo(const int a) {};
};

struct D: public B
{
    void foo(int a) override {}; // fine
};

int main()
{
    return 0;
};

核心规则：顶层const不属于函数签名的一部分 #

C++标准明确规定，用于重载决议、虚函数匹配的函数签名，不包含参数的顶层const/volatile限定符。这里的“顶层const”指直接修饰参数本身的const（比如const int a），和修饰指针/引用指向对象的“底层const”（比如const int& a、const int* a）是两回事。

重载时为何判定为重定义？ #

对于值传递的参数，const int a和int a对调用方没有任何区别：调用时传入的都是普通int值，函数内部的参数是独立副本。顶层const只是在函数内部限制不能修改这个副本，完全不影响函数的对外接口。所以编译器会把这两个foo判定为同一个函数，触发重定义错误。

虚函数覆写为何能成功匹配？ #

同理，基类的virtual void foo(const int a)和派生类的void foo(int a)，它们的签名在标准视角下是完全一致的——顶层const被直接忽略。因此派生类的函数可以合法覆写基类的虚函数，编译器不会将其视为新的重载。

额外说明：顶层const的作用边界 #

值传递的顶层const确实只作用于函数内部，用来避免误修改参数副本，但这属于实现细节，不会改变函数对外暴露的接口特征。如果是底层const（比如引用或指针类型的const），则会成为函数签名的一部分，此时就能触发合法重载，或者影响虚函数的覆写匹配。

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