Кратко съдържание

Наследяване

В C# синтаксиса и се­ман­тиката на наследяването са близки до тези в други езици за обектно-ори­ентирани езици, като C++ и Java. За да напра­вим даден клас Derived наследник на даден друг клас Base, трябва след декларацията на класа Derived да сложим двоеточие, следвано от името на класа Base. За да илюстрираме това, ще разширим един от примерите, които разгледахме по-горе в темата:

Трябва да обърнем внимание на третия ред от метода Main(…):

Обръщението kiro1.PrintName() е също напълно валидно, тъй като класът Kiro наследява всички членове на базовия клас Student и затова съдържа дефиницията на метода PrintName().

Класове, които не могат да се наследяват (sealed)

В дефиницията на класа Kiro забелязваме употребата на ключовата дума sealed. С нея указваме, че Kiro не може да бъде наследяван от друг клас. Това е пример как чрез забраняването на наследяване можем да създа­ваме йерархии от класове по-близки до реалните обекти, които предста­вяме. В конкретния пример е удачно да маркираме класа като sealed, тъй като той представ­лява категория, която не може повече да се конкрети­зира (Kiro е клас, който съответства на един конкретен обект от действи­телността, а не на група различни обекти).

Наследяване при структурите

В някои обектно-ориентирани езици, като например C++, се допуска наследяване на структури. В C# и в другите .NET езици това не е позволено.

Структурите в .NET Framework не могат да се наследяват по между си и не могат да наследяват и да бъдат нас­ледявани от класове.

Нека направим един прост експеримент, за да онагледим невъзможността за наследяване на структури. Със следния код ще създадем една три­ви­ал­на структура:

public struct TestStruct { }

Отново с помощта на инструмента ildasm получаваме MSIL кода за тази проста структура:

Забелязваме, че структурата TestStruct наследява от System.ValueType и, което в нашия случай е по-интересно, в дефиницията й фигурира моди­фикаторът sealed. Това указва на компилатора, че този тип не може да бъде на­сле­ден. Следната ситуация, при която се опитваме да наследим структура от клас, е също недопустима и предизвиква грешка при опит за компилация:

public class TestClass { } public struct AnotherTestStruct : TestClass { }

Конвертиране на обекти

Нека сега разгледаме конвертирането (casting) на обект от даден тип към обект от друг тип. При класове в отношение наследник-наследен можем да конвертираме нагоре по йерархията (upcasting) и надолу по йерархи­ята (downcasting). Нека обясним тези две понятия.

Конвертиране нагоре (upcasting)

С операцията Student kiro2 = new Kiro() от по-горния пример присвоя­ваме обект от клас Kiro на променлива от клас Student, т.е. конверти­раме (преобразуваме) обекта към класа Student. В този случай използ­ваме конвертиране нагоре (up­casting), тъй като Student е базов клас на Kiro или, иначе казано, се намира по-горе в йерархията. Тази опера­ция е напълно допустима, тъй като kiro2 действително е студент.

В нашия пример следващият ред

Kiro kiro3 = new Student("Бай Киро", 12345);

е коментиран, тъй като операцията, която там се опитваме да извършим, е недопустима и този код не би могъл да се компилира, тъй като обектът, който конструираме посредством new Student("Бай Киро", 12345) не е инстанция на класа Kiro (въ­пре­ки че го наподобява по стойностите на полетата, той не съдържа метода Oversleep()).

Конвертиране надолу (downcasting)

С обръщението (Kiro)kiro2 разглеждаме обекта kiro2 като обект от тип Kiro. Тази операция наричаме конвертиране надолу, или down­casting. Типът на израза в скобите е Kiro и заради това можем свободно да извикаме метода Oversleep(), защото въпреки, че е сочен от променлива от тип Student, този израз фактически е инстанция на класа Kiro и съдържа им­пле­мен­та­ция на метода. На долната илюстрация виждаме, че и Visual Studio .NET разпознава типа на израза като ни предоставя члено­вете му в па­да­щото меню за автоматично завършване на израза:

В C# конвертирането надолу е синтактично валидна опера­ция, независимо дали обектът, който конвертираме, е дей­ствително от въпросния наследяващ типа. Например, за­коментираното обръщение Kiro kiro3 = new Student("Бай Киро", 12345) би мог­ло да се зададе във вида Kiro kiro3 = (Kiro)new Student("Бай Киро", 12345), което се компилира успешно от C# ком­пи­ла­тора без дори да генерира преду­преждение, тъй като по време на ком­пилация не е извест­но дали типовете са съвместими. При из­пълнението на този код, обаче, въпросното преобразуваме ще предизвика из­ключение System.InvalidCastException, тъй като конструи­раният обект не е от тип Kiro или съвместим с него тип.

Каталог: dotnetbook
dotnetbook -> Кратко съдържание
dotnetbook -> Кратко съдържание

Изтегляне 9.03 Mb.

Сподели с приятели: