Не работает запрет на переопределение методов. Почему?

Question

[Cod Rob]

Есть такой код, где я переопределяю методы:

class Program
  {
    static void Main(string[] args)
    {
      Person p1 = new Person("Bill");
      p1.Display(); // вызов метода Display из класса Person

      Employee p2 = new Employee("Tom", "Microsoft");
      p2.Display(); // вызов метода Display из класса Employee

      Person p3 = new Employee("Bill", "Microsoft");
      p3.Display(); 

      Console.ReadKey();
    }
  }
  class Person
  {
    public string Name { get; set; }
    public Person(string name)
    {
      Name = name;
    }
    public virtual void Display()
    {
      Console.WriteLine(Name);
    }
  }
  class Employee : Person
  {
    public string Company { get; set; }

    public Employee(string name, string company)
                : base(name)
    {
      Company = company;
    }

    public override void Display()
    {
      Console.WriteLine($"{Name} работает в {Company}");
    }
  }

Вывод:

Bill
Tom работает в Microsoft
Bill работает в Microsoft

Пытаюсь поставить запрет на переопределение:

class Program
  {
    static void Main(string[] args)
    {
      Person p1 = new Person("Bill");
      p1.Display(); // вызов метода Display из класса Person

      Employee p2 = new Employee("Tom", "Microsoft");
      p2.Display(); // вызов метода Display из класса Employee

      Person p3 = new Employee("Bill", "Microsoft");
      p3.Display(); 

      Console.ReadKey();
    }
  }
  class Person
  {
    public string Name { get; set; }
    public Person(string name)
    {
      Name = name;
    }
    public virtual void Display()
    {
      Console.WriteLine(Name);
    }
  }
  class Employee : Person
  {
    public string Company { get; set; }

    public Employee(string name, string company)
                : base(name)
    {
      Company = company;
    }

    public override <b><i>sealed </i></b> void Display()
    {
      Console.WriteLine($"{Name} работает в {Company}");
    }
  }

Вывод:

Bill
Tom работает в Microsoft
Bill работает в Microsoft

Хотя, по идее, должен быть:

Bill
Tom работает в Microsoft
Bill

Ибо я поставил запрет на переопределение.
Либо оно неправильно работает, либо я что-то неправильно делаю, либо я не очень понимаю, как это работает и/или должно работать.
Объясните, пожалуйста=)

Answer 1

[Cod Rob]

Теперь понял, почему не работает, просто туплю:

Answer 2

[Илья]

Вы не так поняли. Запрет на переопределение в вашем случае будет значить что в классе унаследованном от Person, нельзя будет написать override.

Comments

[Cod Rob]

Поясните поподробней, пожалуйста. Просто я ж не ставил sealed к virtual, а в производном Employee ставил к override и у меня при том, что там стоит override, не выдаёт ошибки.

[Студент Работяга]

Денис Бредун, + тоже интересно, я ожидал что нельзя будет переопределять в производном от Employee

[Илья]

Денис Бредун, поясняю подробнее.
Ключевое слово sealed примененное к виртуальным (virtual) членам класса запрещает переопределение их поведения в классах наследниках. Фактически это отменяет их виртуальность для дальнейших наследников.

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

[Илья]

Bill
Tom работает в Microsoft
Bill

этот вывод можно получить с таким кодом класса Employee

internal class Employee : Person
    {
        public Employee(string name, string company) : base(name)
        {
            Company = company;
        }
        public string Company { get; set; }
        public new void Display()
        {
            Console.WriteLine($"{Name} работает в {Company}");
        }
    }

[Cod Rob]

Студент Работяга, Понял, почему так, просто тупил, ответ выше

[Илья]

Денис Бредун, а чем он отличается от моего ответа?

[Студент Работяга]

Илья, а есть возможность сохранить виртуальность, но запретить переопределение в наследниках ?)

[Илья]

Студент Работяга, хм)
Вся виртуальность метода заключается в возможности его переопределение. Если это отнять, то что тогда останется?)