c++ - 我对 C++ 中的类覆盖有疑问

Question

当我研究override关键字时，我发现了一些奇怪的东西，比如下面的代码。

#include <iostream>
template <class T> 
class A
{
    public: 
        virtual void some_function(const T a)
        {
            std::cout<<__PRETTY_FUNCTION__<<std::endl;
            std::cout<<"Base"<<std::endl;
        }
};
class Derived : public A<int*>
{
    public:
        virtual void some_function(const int* a)
        {
            std::cout<<__PRETTY_FUNCTION__<<std::endl;
            std::cout<<"Derived"<<std::endl;
        }
};
int main()
{
    A<int*>* p = new Derived;
    p->some_function(nullptr);

    delete p;
}  

当我第一次看到该代码时，我希望调用 “Derived”。但是上面的代码打印结果如下。

void A<T>::some_function(T) [with T = int*]

Base

但是当我在 Derived 类中的 some_function 中删除 const 关键字时，

class Derived : public A<int*>
{
    public:
        virtual void some_function(int* a)
        {
            std::cout<<__PRETTY_FUNCTION__<<std::endl;
            std::cout<<"Derived"<<std::endl;
        }
};

它打印“Derived”。你能告诉我为什么会这样吗？

Answer 1

函数原型(prototype)不一样。对于 T=int* const T a : a是 const指向 int 的指针, 而 const int *a是指向 const int 的指针.其中一个指针是 const , 对于另一个 int是const .

int * const a将与 const T a 相同, 或者你可以制作 T=const int* .

https://godbolt.org/z/WEaEoGh58

同样重要的是要注意:当您从 class 派生时你必须声明 virtual析构函数。

提示:当您使用关键字 override 时在派生函数上，你会得到一个错误，表明你没有覆盖函数:https://godbolt.org/z/o87GMrhsd