Средства C#. Урок 2. Использование методов new и override.

Допустим, перед нами стоит задача моделирования какого либо процесса. Не важно какого, хоть моделирование движения уличного транспорта с целью оптимизации работы светофоров, бизнес логики предприятие или моделирование взаимодействия различных тел к компьютерной игре. Это не важно. Важно то, что при любой задаче подобного рода нам, скорее всего, придется разрабатывать библиотеку классов - моделей объектов предметной области. У этих объектов может быть множество методов и свойств. Допустим, мы моделируем уличный трафик и у нас есть такой объект, как светофор. Но светофоры бывают разные: обычный светофор, светофор с дополнительной секцией (стрелочкой), светофор для трамваев. Но у всех светофоров есть очень много общего. Поэтому логично для объекта "светофор" объявить какой то базовый класс, а уже на основе него создавать классы для разновидностей светофоров.

Теперь представим себе, что у базового класса светофора есть метод ChangeLights (поменять сигналы). Этот метод вызывается из метода, ответственного за обработку кванта времени, выделенного объекту "светофор" объектом "менеджер моделирования". Теперь представим себе, что мы создали на основе этого базового класса несколько разновидностей светофора, у каждого определив свой метод ChangeLights. А вот обработчик выделенного кванта времени у всех светофоров одинаков. Теперь представим, что у нас есть некий контейнер (массив или список) для хранения объектов, моделирующих светофор. Так как мы не знаем, какого типа будет светофор, то список будет заточен для хранения базовых классов - мы может с легкостью использовать переменную базового класса хранения объектов дочерних классов. Но есть одна проблема. При обработке кванта времени у нас будет вызываться от базового класса. Тоесть, дочерние объекты работать не будут! Как же быть? Не стоит паниковать, в C# есть возможность объявить метод виртуальным. Тоесть, в базовом классе вы объявите его с модификатором virtual,  а в дочерних override. Теперь у нас все будет работать правильно. Тоесть, несмотря на то, что элемент массива объявлен типом базового класса, вызывается будет метод ChangeLights того класса, которому реально принадлежит объект.

А теперь предположим гипотетическую ситуацию, когда нам не надо, что бы вызывался метод реально класса, а вызывался того класса, которым объявлена переменная. В этом случае мы объявим метод с модификатором new. Тот же эффект будет, если мы объявим метод вообще без модификатора. Тогда встает вопрос, а в чем разница между new и "без new"? Что бы ответить на этот вопрос, рассмотрим пример:

Давайте скомпилируем эту программу, запустим и посмотрим, что она выдаст, а потом разберем ее более подробно:

И так, у нас есть базовый класс BaseClass и три дочерних от него класса Child1, Child2 и Child3.

Сначала мы испытываем метод MyMethod класса Child1, когда у нас переменная объявлена как Child1. Что происходит? Вызывается метод MyMethod  класса Child1 и печатает "It is Child1", а затем вызывается метод Output. Какого класса? Разумеется BaseClass, так как у класса Child1 он не реализован. И вторую строку мы видим "Base class protected method".

Далее идет класс Child2, его метод MyMethod  печатает "It is Child2" и вызывает метод Output(). Так как у Child2  он реализован, то вызывается именно метод класса Child2: у нас и переменная и сам объект имеют класс Child2. В итоге следующую строку получаем: "Child2 class protected method".

Программа переходит к классу Child3. У этого класса метод MyMethod  печатает "It is Child3"  и вызывает метод Output(). Так как у Child3  он реализован, то вызывается именно метод класса Child3: у нас и переменная и сам объект имеют класс Child3. В итоге следующую строку получаем: "Child3 class public method".

Теперь тестируем все эти три класса на переменных типа BaseClass.

Сначала вызываем метод MyMethod  класса Child1. Этот метод у нас виртуальный (virtual) и переопределенный (override), поэтому, будет вызван метод MyMethod класса Child1, а не BaseClass. Получаем сообщение "It is Child1". Все правильно. Затем вызывается метод Output(). Какого класса? Разумеется BaseClass, так как у класса Child1 он не реализован. И вторую строку мы видим "Base class protected method".

Переходим к Child2. Вызываем метод MyMethod. От какого класса он будет вызван? Разумеется, BaseClass. Почему? В классе Child2 он объявлен с модификатором new. Тоесть, мы не переопределяем метод, и он будет вызван тот, какого типа переменная. Данная переменная имеет тип BaseClass. И мы получаем сообщение "It is BaseClass". Далее, этот метод вызывает метод Output.  Какого класса? Child2, метод Output определен с модификатором override. В итоге программа выдает сообщение: "Child2 class protected method".

Теперь Child3. Метод MyMethod в классе Child3 объявлен без модификатора. Он тоже не переопределен. Вызывается метод BaseClass, так как переменна имеет тип BaseClass. Аналогично для метода Output, он объявлен с модификатором new.

Как видим, если метод объявлен в модификатором override, то при его вызове будет вызван метод реального класса, а если без модификатора или с модификатором new - то будет вызван метод того класса, какого типа переменная. Спрашивается, а в чем разница между new и без модификатора? А в том, что если метод объявлен без модификатора, то его уровень доступа наследуется от родительского класса, а если с модификатором new - можно менять уровень доступа. Например, если в родительском классе метод был protected, то благодаря new в дочернем классе его можно сделать public.