C++

#include <functional>
#include <iostream>
#include <vector>
#include <memory>
#include <set>
#include <map>
#include <string>

using namespace std;

namespace
{
    /*C++ 类不能继承它自己*/
    class Animal /*:public Aniaml*/
    {
    public:
        Animal(string n)
        {
            name = n;
        }
        virtual const Animal* getSelf()
        {
            return this;
        }
    public:
        string name;
    };

    class Dog :public Animal
    {
    public:
        Dog(string n, int a) :Animal(n)
        {
            age = a;
        }
        //const Animal* getSelf() override
        const Dog* getSelf() override
        {
            return this;
        }
    public:
        int age;
    };
}

#if 1

int main()
{
    Dog dog("小狗", 2);

    Animal* animal = &dog;
    const Animal* p_animal = animal->getSelf();
    // 这个只能访问到它自己类型的
    cout << "名字:" << p_animal->name << endl;

    const Dog* p_dog = dog.getSelf();
    cout << "名字:" << p_dog->name << endl;
    cout << "年龄:" << p_dog->age << endl;

    return 0;
}

#endif
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41.
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.
  • 55.
  • 56.
  • 57.
  • 58.
  • 59.
  • 60.
  • 61.
  • 62.
  • 63.
  • 64.

虚函数 virtual const Animal* getSelf()在派生类可以返回const Dog* getSelf() override,这样就可以不用进行类型转换了。

C#

经测试,C# 好像不支持这种写法。C#9.0 支持这种协变返回类型?