Механизм работы наследования в C#?

Question

[ldmitriy]

class A
    {
        public int X { get; set; }
        public int Y { get; set; }

        public A(int x, int y)
        {
            X = x+1;
            Y = y+1;
        }
    }

class B:A
    {
        public int X { get; set; }
        public int Z { get; set; }

        public B(int x, int y, int z):base(x,y)
        {
            X = x;
            Z = z;
            Console.WriteLine($"this.X = {X}, this.Y = {Y}, this.Z = {Z}");
            Console.WriteLine($"base.X = {base.X}, base.Y = {base.Y}");
        }

    }

B b = new B(1,2,3);

1) base - это ссылка на экземпляр базового класса?
2) Если я вообще в классе объявил конструктор, но не инициализировал поля, то почему они имеют значения по умолчанию?

Answer 1

[Space Purr]

1. base - это ключевое слово
2. Переменным, объявленным в теле класса(поле), автоматически присваивается значение по умолчанию в соответствии с объявленным типом. К свойствам это, естественно, тоже относится.

Comments

[Петр]

Опрометчиво вы ответили "ДА" на п.1, по вашей же ссылке сказано, что это "Ключевое слово", а не ссылка на базовый класс, как указывалось в вопросе.
base это всего лишь механизм языка.

[ldmitriy]

А если конструктор с пустым телом или даже конструктор есть, то сначала вызывается конструктор у Object(для инициализации полей/свойств)?

[Space Purr]

Петр, всегда думал, что this и base это, соответственно, ссылки на текущий и родительский класс, просто представленные ключевыми словами для удобства.
Попробую найти отличия в работе созданного экземпляра через new и работе через this/base, чтобы подтвердить свою опрометчивость.

[Space Purr]

Петр, похоже это действительно не совсем так.
Вызов base.GetType().ToString() возвращает имя не родительского класса, а текущего, не смотря на то, что методы и свойства из контекстного меню показываются именно родительские.
Вы не знаете, почему это работает именно таким образом?

[ldmitriy]

Петр, в примере выше разве не создается объект класса A, в котором свойство X = 2.
Далее этот объект расширяется и получается уже объект класса B(где X = 1).

Мне казалось, что this - указывает на текущий экземпляр, а base - указывает на экземпляр ближайшего базового класса.

[Петр]

Space Purr, Любые методы класса в реальности условно статичны и просто имеют скрытый параметр куда передается ссылка на обьект. При вызове виртуального метода по таблице VMT будет сделан вызов нужного метода и base позволяет уточнить программе как использовать VMT.

[Space Purr]

Петр, понятно
то есть base как бы "переносит" метод из родительского класса в текущий и поэтому GetType() показывает тип текущего класса вместо родительского, примерно так?

[Петр]

Space Purr, Не так. Методы условно статичны. Вы можете создать тысячи инстансов своего класса, но в памяти приложения будет всего одно место с кодом метода.

[Роман]

ldmitriy, Space Purr, какой экземпляр базового класса? Все проще, при вызове метода класса, в него неявно прокидывается указатель на класс, тот самый this. Делая base.GetClass, в него передается указатель на ваш объект, и GetType выдает реальный тип объекта. Все.