8.4. Безплідні класи

У С# є ключове слово sealed, що дозволяє описати клас, від якого, в протилежність абстрактному, успадковувати забороняється:

sealed class Spirit

{

.

}

// class Monster : Spirit { ... }помилка!

Більшість вбудованих типів даних описана як sealed. Якщо необхідно використовувати функціональність безплідного класу, застосовується не спадкоємство, а вкладення (включення): у класі описується поле відповідного типу.

Вкладення класів це коли один клас включає поля, що є класами. Наприклад, якщо є об'єкт "двигун", а потрібно описати об'єкт "літак", логічно зробити двигун полем цього об'єкту, а не його предком.

Оскільки поля класу зазвичай закриті, виникає питання, як же користуватися методами включеного об'єкту. Загальноприйнятий спосіб полягає в тому, щоб описати метод охоплюючого класу, з якого викликати метод включеного класу. Такий спосіб взаємин класів відомий як модель включення-делегування. Приклад приведений в лістингу 8.4.

Лістинг 8.4. Модель включення

usingSystem;

namespace examp51

{

class Двигатель

{

public void Запуск()

{

Console.WriteLine("вжжжж!!");

}

}

class Самолет

{

public Самолет()

{

левый = new Двигатель();

правый = new Двигатель();

}

public void Запустить_двигатели()

{

левый.Запуск();

правый.Запуск();

}

Двигатель левый, правый;

}

class Class1

{

static void Main()

{

Самолет AH24_1 = new Самолет();

AH24_1.Запустить_двигатели();

}

}

}

Результат роботи програми:

вжжжж!!

вжжжж!!

У методі “Запустити двигуни” запит на запуск двигунів передається, або, як прийнято говорити, делегується вкладеному класу.

8.5. Клас object

Кореневий клас System.Object всій ієрархії об'єктів .NET, названий в С# object, забезпечує всіх спадкоємців декількома важливими методами. Похідні класи можуть використовувати ці методи безпосередньо або перевизначати їх.

Клас object часто використовується і безпосередньо при описі типу параметрів методів для додання ним спільності, а також для зберігання посилань на об'єкти різного типу - таким чином реалізується поліморфізм.

Відкриті методи класу System.Object перераховані нижче.

1. Метод Equals з одним параметром повертає значення true, якщо параметр об'єкту, що визивається, посилаються на одну і ту ж область пам'яті. Синтаксис:

public virtual bool Equals(object obj );

2. Метод Equals з двома параметрами повертає значення true, якщо обидва параметри посилаються на одну і ту ж область пам'яті. Синтаксис:

public static bool Equals( object ob1, object ob2);

3. Метод GetHashCode формує хеш-кодування-код об'єкту і повертає число, що однозначно ідентифікує об'єкт. Це число використовується в різних структурах і алгоритмах бібліотеки. Якщо перевизначається метод Equals, необхідно перенавантажувати і метод GetHashCode. Синтаксис:

public virtual int GetHashCode();

4. Метод GetType повертає поточний поліморфний тип об'єкту, тобто не тип посилання, а тип об'єкту, на який він в даний момент указує. Повертане значення має тип Турe. Це абстрактний базовий клас ієрархії, що використовується для отримання інформації про типи під час виконання. Синтаксис:

public Type GetТуре();

5. Метод ReferenceEquals повертає значення true, якщо обидва параметри посилаються на одну і ту ж область пам'яті. Синтаксис:

public static bool ReferenceEquals(object obi, object ob2);

6. Метод ToString за умовчанням повертає для посилальних типів повне ім'я класу у вигляді рядка, а для значущих - значення величини, перетворене в рядок. Цей метод перевизначають для того, щоб можна було виводити інформацію про стан об'єкту. Синтаксис:

public virtual string ToString();

У похідних об'єктах ці методи часто перевизначають. Наприклад, можна перевизначити метод Equals для того, щоб задати власні критерії порівняння об'єктів, тому що часто буває зручнішим використовувати для порівняння не посилальну семантику (рівність посилань), а значущу (рівність значень).

Приклад застосування і перевизначення методів класу object для класу Monster приведений в лістингу 8.5.

Лістинг 8.5. Перевантаження методів класу object

using System;

namespace ConsoleApplicationl

{

class Monster

{

public Monster(int health, int ammo, string name)

{

this.health = health;

this.ammo = ammo;

this.name = name;

}

public override bool Equals(object obj)

{

if ( obj == null || GetType() != obj.GetType() ) return false;

Monster temp = (Monster) obj;

return health == temp.health &&

ammo == temp.ammo &&

name == temp.name;

}

public override int GetHashCode()

{

return name.GetHashCode();

}

public override string ToString()

{

return string.Format("Monster {0} \t health = {1} ammo = {2}",

name, health, ammo);

}

string name;

int health, ammo;

}

class Class1

{

static void Main()

{

Monster X = new Monster( 80, 80, "Вася" );

Monster Y = new Monster( 80, 80, "Вася" );

Monster Z = X;

if ( X == Y ) Console.WriteLine("X == Y ");

else Console.WriteLine("X != Y ") ;

if ( X == Z ) Console.WriteLine(" X == Z ") ;

else Console.WriteLine("X != Z ") ;

if ( X.Equals(Y) ) Console.WriteLine( " X Equals Y " );

else Console.WriteLine( " X not Equals Y " );

Console.WriteLine(X.GetType());

}

}

}

Результат роботи програми:

X != Y

X = = Z

X Equals Y

ConsoleApplicationl.Monster

У методі Equals спочатку перевіряється переданий в нього аргумент. Якщо він рівний null або його тип не відповідає типу об'єкту, що викликав метод, повертається значення false. Значення true формується у разі попарної рівності всіх полів об'єктів.

Метод GetHashCode просто делегує свої функції відповідному методу одного з полів. Метод ToString формує рядок, що містить значення полів об'єкту.

Аналізуючи результат роботи програми, можна побачити, що в операції порівняння на рівність порівнюються посилання, а в перевантаженому методі Equals - значення.