Как сработает переопределение?

Question

[Jypsy]

Объясните пожалуйста, почему в консоль выводится А.
Ведь если я все правильно понимаю, в данной строчке A ac = new C(); вызывается те методы, что есть у класса А (так как это тип переменной), но реализация их будет вызвана из С, то есть выведет С.

using System;
using System.Collections.Generic;
using System.IO;
namespace ProjectOne {
	public abstract class A{
		public virtual string Print(){
			return "A";
		}
	}
	public class B:A{
		public virtual new string Print(){
			return "B";
		}
	}
	public class C:B{
		public override string Print(){
			return "C";
		}
	}
	class EntryPoint {
		static void Main(string [] args){
		A ac = new C();
		Console.WriteLine (ac.Print());
		}

	}}

Comments

[Александр Павлов]

Используйте специальный тег для оформления кода.

Answer 1

[Алексей Павлов]

В классе A метод Print отмечен виртуальным, то есть, его можно переопределить. Но в наследнике B нет переопределения этого метода, а создаётся новый виртуальный метод с тем же именем - ключевое слово new указывает, что создаётся новый метод, не связанный с методом A.Print.
В классе C метод Print переопределяет метод родителя, то есть, метод B.Print, но не переопределяет метод A.Print.
Так как у переменной указан тип A, то вызов ac.Print() вызовется метод - единственный из реализаций метода A.Print.

Вот смотрите, чтобы было понятнее:

class A { public virtual void Print() { Console.WriteLine("A"); } }
class B : A { public override void Print() { Console.WriteLine("B"); } }
class C : B { public new virtual void Print() { Console.WriteLine("C"); } }
class D : C { public override void Print() { Console.WriteLine("D"); } }

A ad = new D();
ad.Print(); // покажет B

Comments

[Jypsy]

Алексей Павлов то есть при компиляции A ad = new D(); Мы смотрим на тип переменной (т.е А) и запустим этот метод из А, если он не переопределен. Дело в том, что в java мы посмотрим на тип переменной и запустим этот метод( если он есть) в классе C, экземпляром которого будем являться. Если это так, то я просто перепутал два языка=)

[Алексей Павлов]

Jypsy, в java все неприватные методы являются виртуальными, поэтому, если в классе-наследнике есть одноимённый метод с той же сигнатурой (с теми же типами аргументов), то они переопределяют метод базового класса. В c# метод нужно явно указывать, что он виртуальный, тогда для его переопределения нужно указывать слово override.

Насколько я понял, в java нет похожего механизма, как new method.

[Jypsy]

Алексей Павлов, спасибо, разобрался.

Answer 2

[Толстый Лорри]

Метод помечен виртуальным (virtual), поэтому компилятор подставляет код виртуального вызова метода (IL-инструкция callvirt), а не непосредственного (call). В дотнете у каждого объекта есть неявная ссылка на его соответствующий (реальный) объект-тип. Через эту ссылку находится адрес правильного метода.

В других языках все может быть устроено иначе. А об устройстве дотнета более подробно вы можете почитать в книжке Джеффри Рихтера "CLR via C#...".

Answer 3

[OREZ]

virtual new "прерывает" цепочку переопределения метода, поэтому для базового типа будет вызван самый последний в цепочке из переопределенных до первого "прерванного"