Вопрос по модификаторам доступа.

[mike_tihomirov]

Всем привет.
В обычных классах мы можем изменять модификаторы доступа
в методах наследников фактически произвольно.

namespace TempConsoleApplication
{
    class Program
    {
        static void Main(string[] args)
        {
        }
    }
    class A
    {
        protected void func(){Console.WriteLine("A");}
    }
    class B : A
    {
        public new void func(){Console.WriteLine("B");}
    }
    class C : A
    {
        private new void func(){Console.WriteLine("C");}
    }
}

Почему же в АБСТРАКТНОМ классе модификатор доступа override метода наследника должен быть одинаковым с модификатором доступа родителя?

Почему: error CS0621: 'TempConsoleApplication.C.func()': virtual or abstract members cannot be private
Ведь класс С не абстрактный.

Почему: error CS0507: 'TempConsoleApplication.B.func()': cannot change access modifiers when overriding 'protected' inherited member 'TempConsoleApplication.Abstr.func( )'

namespace TempConsoleApplication
{
    class Program
    {
        static void Main(string[] args)
        {}
    }
    abstract class Abstr
    {
        protected abstract void func();
    }
    class B : Abstr
    {
        public override void func(){Console.WriteLine("B");}
    }
    class C : Abstr
    {
        private/*protected*/ override void func(){Console.WriteLine("C");}
    }
}

[m0nax]

Потому что в первом случае эти func не имеют ничего общего, это совершенно разные функции разных классов, никак друг от друга не зависящие

оверрайд же заменяет именно ту самую функцию предка

[mike_tihomirov]

Сообщение от m0nax

Потому что в первом случае эти func не имеют ничего общего, это совершенно разные функции разных классов, никак друг от друга не зависящие

оверрайд же заменяет именно ту самую функцию предка

Спасибо Монах.
Да кажись сложилось в голове.
Я так думаю, смысл в том, что компилятор динамически
подставляет метод и для него это как бы один и тот же метод,
а реализация его не волнует, лишь бы семантика метода одна и та же была.
Как то так.