Виртуальные методы

Объявляя функцию базового класса как virtual, вы тем самым позволяете ее переопределять в классах-наследниках:

class MyBaseClass { public virtual string VirtualMethod () { return "Это - виртуальный метод, определенный в MyBaseClass"; } }

Также допускается объявление свойства как virtual. Для виртуального или переопределенного свойства используется такой же синтаксис, что и для невиртуального свойства, за исключением ключевого слова virtual, добавляемого к определению. Синтаксис выглядит следующим образом:

public virtual string ForeName{ get { return foreName; } set { foreName = value; }}private string foreName;

Для простоты далее речь пойдет в основном о методах, хотя все сведения касаются также и свойств. Концепция, лежащая в основе виртуальных функций С#, идентична стандартной концепции ООП. Виртуальную функцию можно переопределить в классе-наследнике, и когда этот метод будет вызван, запустится его версия, относящаяся к соответствующему типу объекта. В С# по умолчанию функции не являются виртуальными, но (в отличие от конструкторов) могут быть явно объявлены как virtual. Это следует методологии C++: по причинам, связанным с производительностью, функции не виртуальные, если это не указано явно. В отличие от этого, в Java все функции виртуальные. С# имеет отличающийся от C++ синтаксис, поскольку требует явного объявления, когда функция класса-наследника переопределяет другую функцию, с помощью ключевого слова override:

class MyDerivedClass: MyBaseClass { public override string VirtualMethod() { return "Этот переопределенный метод объявлен в MyDerivedClass"; } } class Program { static void Main(string[] args) { MyBaseClass x = new MyBaseClass(); Console.WriteLine(x.VirtualMethod()); MyDerivedClass y = new MyDerivedClass(); Console.WriteLine(y.VirtualMethod()); Console.ReadLine(); } }

Этот синтаксис переопределения метода исключает потенциальные ошибки времени выполнения, которые могут легко возникать в C++, когда сигнатура метода в классе-наследнике непреднамеренно оказывается отличной от базовой версии, в результате чего метод наследника не может переопределить базовый метод. В С# это всплывает в виде ошибки компиляции, поскольку компилятор легко обнаруживает метод, для которого указан модификатор override, но при этом не имеющий базового метода, который он переопределяет.

Ни поля-члены, ни статические функции не могут быть объявлены виртуальными. Эта концепция просто не имеет смысла ни для каких членов класса, за исключением функций-членов уровня экземпляра.

Дата добавления: 2014-01-04