Касаемо наследования и полиморфизма

[Joose]

Всем привет, есть следующая иерархия классов:

class X
    {
        public virtual void fnct()
        {
            Console.WriteLine("Fnct из класса X");
        }
    }

    class Y : X
    {
        public virtual void fnct()
        {
            Console.WriteLine("Fnct из класса Y");
        }
    }

    class Z : Y
    {
        public override void fnct()
        {
            Console.WriteLine("Fnct из класса Z");
        }    
    }

Как можно заметить, в классе Y метод fnct не перегружается. Тогда почему при вызове в main

X x = new Z();
x.fnct();

на экран выводится строка "Fnct из класса X"? Не могу понять почему так, ведь в классе Z переопределяется метод из класса Y

[Selestis]

Потому что метод fnct переопределяет метод из класса Y, а не X. А метод funct из Y НЕ переопределяет метод из Х - он лишь носит то же название (и вносит путаницу). И, поскольку тип вашей переменной Х, вызывается ветвь переопределений для Х, в которой есть только базовый метод.
Если сделать в Y override вместо virtual (или поменять тип переменной с Х на Y), то вызовется fnct из класса Z.

[lomastr_]

warning почему не читаете?

[Joose]

Selestis, спасибо огромное, теперь все понятно. Просто ни в одной книге не нашел разбора подобной ситуации.
P.S. warning читал, но мне нужно было разобраться в сути происходящего