C++虚函数返回值类型

最近在看paddle的库代码时候发现一个问题，简单的代码如下：

#include <iostream>
using namespace std;
class One
{
public:
        virtual One* show()
        {
                std::cout<<"1"<<std::endl;
                return this ;
        };
};

class Two: public One
{
public:
        virtual One* show()=0;
};

class Three: public Two
{
public:
       Three* show() override
       {
               std::cout<<"3"<<std::endl;
               return this;
       };
};

int main()
{
        Three test;
        test.show();
        return 0;
}
           

上述代码竟然编译通过了，很好奇为啥虚函数的返回值还可以不相同？后来查到这样的相关规则：

1.如果父类虚函数返回的是基础数据类型，派生类虚函数的返回类型要与父类严格一致，否则报错。

2.如果父类虚函数返回的是某个父类（Base）的指针或引用，派生类虚函数的返回类型可以是Base类或者Base派生类（Drive）的指针或引用(这个地方要注意，只能是Base或者Base的派生，Base的father是不可行的，会报错)。

感叹：C++真是坑太多。。。