C# 4.0: полное руководство - Герберт Шилдт

Ниже приведен пример объявления класса типа sealed.

sealed class А {

// . . .

}

// Следующий класс недопустим.

class В : A { // ОШИБКА! Наследовать класс А нельзя / / ...

}

Как следует из комментариев в приведенном выше фрагменте кода, класс В не может наследовать класс А, потому что последний объявлен как sealed.

И еще одно замечание: ключевое слово sealed может быть также использовано в виртуальных методах для предотвращения их дальнейшего переопределения. Допустим, что имеется базовый класс В и производный класс D. Метод, объявленный в классе В как virtual, может быть объявлен в классе D как sealed. Благодаря этому в любом классе, наследующем от класса % предотвращается переопределение данного метода. Подобная ситуация демонстрируется в приведенном ниже фрагменте кода:

class В {

  public virtual void MyMethodO { /* ... */ }

}

class D : В {

  // Здесь герметизируется метод MyMethodO и

  // предотвращается его дальнейшее переопределение,

  sealed public override void MyMethodO { /* ... */ }

}

class X : D {

   // Ошибка! Метод MyMethodO герметизирован!

  public override void MyMethodO { /* ••• */ }

}

Метод MyMethod() герметизирован в классе D, и поэтому не может быть переопределен в классе X.

Класс object

В C# предусмотрен специальный класс object, который неявно считается базовым классом для всех остальных классов и типов, включая и типы значений. Иными словами, все остальные типы являются производными от object. Это, в частности, означает, что переменная ссылочного типа object может ссылаться на объект любого другого типа. Кроме того, переменная типа object может ссылаться на любой массив, поскольку в C# массивы реализуются как объекты. Формально имя object считается в C# еще одним обозначением класса System.Object, входящего в библиотеку классов для среды .NET Framework.

В классе object определяются методы, приведенные в табл. 11.1. Это означает, что они доступны для каждого объекта.

Некоторые из этих методов требуют дополнительных пояснений. По умолчанию метод Equals(object) определяет, ссылается ли вызывающий объект на тот же самый объект, что и объект, указываемый в качества аргумента этого метода, т.е. он определяет, являются ли обе ссылки одинаковыми. Метод Equals(object) возвращает логическое значение true, если сравниваемые объекты одинаковы, в противном случае — логическое значение false. Он может быть также переопределен в создаваемых классах. Это позволяет выяснить, что же означает равенство объектов для создаваемого класса. Например, метод Equals(object) можно определить таким образом, чтобы в нем сравнивалось содержимое двух объектов.

Таблица 11.1 Методы класса object

Метод                  Назначение

public virtual bool  Определяет, является ли вызывающий объект таким же,

Equals(object ob)    как и объект, доступный по ссылке оb

public static bool   Определяет, является ли объект, доступный по ссылке

Equals(object objA,  objA, таким же, как и объект, доступный по ссылке

object objB)         objB

protected Finalize() Выполняет завершающие действия перед “сборкой му

                     сора". В C# метод Finalize() доступен посредством

деструктора

public virtual int   Возвращает хеш-код, связанный с вызывающим

GetHashCode()        объектом

public Type GetType() Получает тип объекта во время выполнения программы

protected object     Выполняет неполное копирование объекта, т.е. копиру

MemberwiseClone()    ются только члены, но не объекты, на которые ссылают

                     ся эти члены

public static bool   Определяет, делаются ли ссылки objA и objB на один

ReferenceEquals(obj objA,   и тот же объект

object objB)

public virtual string Возвращает строку, которая описывает объект

ToString()

Метод GetHashCode() возвращает хеш-код, связанный с вызывающим объектом. Этот хеш-код можно затем использовать в любом алгоритме, где хеширование применяется в качестве средства доступа к хранимым объектам. Следует, однако, иметь в виду, что стандартная реализация метода GetHashCode() не пригодна на все случаи применения.

Как упоминалось в главе 9, если перегружается оператор ==, то обычно приходится переопределять методы Equals(object) и GetHashCode(), поскольку чаще всего требуется, чтобы метод Equals(object) и оператор == функционировали одинаково. Когда же переопределяется метод Equals(object), то следует переопределить и метод GetHashCode(), чтобы оба метода оказались совместимыми.

Метод ToString() возвращает символьную строку, содержащую описание того объекта, для которого он вызывается. Кроме того, метод ToString() автоматически вызывается при выводе содержимого объекта с помощью метода WriteLine(). Этот метод переопределяется во многих классах, что позволяет приспосабливать описание к конкретным типам объектов, создаваемых в этих классах. Ниже приведен пример применения данного метода.

// Продемонстрировать применение метода ToString()

using System;

class MyClass {

  static int count = 0;

  int id;

  public  MyClass() {

    id = count;

    count++;

  }

  public override string ToString() {

    return "Объект #" + id + " типа MyClass";

  }

}

class Test {

  static void Main() {

    MyClass ob1 = new MyClass();

    MyClass ob2 = new MyClass();

    MyClass ob3 = new MyClass();

    Console.WriteLine(ob1);

    Console.WriteLine(ob2);

    Console.WriteLine(ob3);

  }

}

При выполнении этого кода получается следующий результат.

Объект #0 типа MyClass

Объект #1 типа MyClass

Объект #2 типа MyClass

Упаковка и распаковка

Как пояснялось выше, все типы в С#, включая и простые типы значений, являются производными от класса object. Следовательно, ссылкой типа object можно воспользоваться для обращения к любому другому типу, в том числе и к типам значений. Когда ссылка на объект класса object используется для обращения к типу значения, то такой процесс называется упаковкой. Упаковка приводит к тому, что значение простого типа сохраняется в экземпляре объекта, т.е. "упаковывается" в объекте, который затем используется как и любой другой объект. Но в любом случае упаковка происходит автоматически. Для этого достаточно присвоить значение переменной ссылочного типа object, а об остальном позаботится компилятор С#.

Распаковка представляет собой процесс извлечения упакованного значения из объекта. Это делается с помощью явного приведения типа ссылки на объект класса object к соответствующему типу значения. Попытка распаковать объект в другой тип может привести к ошибке во время выполнения.

Ниже приведен простой пример, демонстрирующий упаковку и распаковку.

// Простой пример упаковки и распаковки.

using System;

class BoxingDemo {

  static void Main() {

    int x;

    object obj;

    x = 10;

    obj = x; // упаковать значение переменной х в объект

    int у = (int)obj; // распаковать значение из объекта, доступного по

                // ссылке obj, в переменную типа int

    Console.WriteLine(у);

  }