Как правильно писать тесты 46 Цикл разработки 46 Структура проекта с тестами 51 Утверждения (Asserts) 52 Утверждения в форме ограничений 54 Категории 56

Вид материалаТесты

Содержание


Пропуск параметров типа
Создание обобщенных структур (и классов)
Ключевое слово default в обобщенном программном коде
Подобный материал:
1   ...   37   38   39   40   41   42   43   44   ...   47

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




При вызове обобщенных методов, подобных Swap, у вас есть возможность не указывать параметр типа, но только в том случае, когда обобщенный метод требует указания аргументов, поскольку тогда компилятор может “выяснить” тип этих аргументов на основе вводимых параметров. Например, можно переставить два типа System.Boolean так.


// Компилятор будет предполагать System.Boolean.

bool b1 = true, b2 = false;

Console.WriteLine("До обмена: {0}, {1}", b1, b2);

Swap(ref b1, ref b2);

Console.WriteLine("После обмена: {0}, {1}", b1, b2);


Но если, например, у вас есть обобщенный метод с именем DisplayBaseClass, не имеющий входных параметров, как показано ниже: static void DisplayBaseClass()

{

Console.WriteLine("Базовым классом {0} является: {1}.",

typeof(T), typeof(T).BaseType);

}


то при вызове этого метода вы должны указать параметр типа.


static void Main(string[] args)

{

...

// Если метод не имеет параметров,

// необходимо указать параметр типа.

DisplayBaseClass();

DisplayBaseClass();


// Ошибка компиляции!

// Нет параметров? Тогда должен быть заполнитель!

DisplayBaseClass();

...

}





В данном случае обобщенные методы Swap и DisplayBaseClass были определены в рамках объекта приложения (т.е. в рамках типа, определяющего метод Main()). Если вы предпочтете определить эти члены в новом типе класса (MyHelperClass), то должны записать следующее.


public class MyHelperClass

{

public static void Swap(ref T a, ref T b)

{

Console.WriteLine("Методу Swap() передано {0}",

typeof(T));

T temp;

temp = a;

a = b;

b = temp;

}


public static void DisplayBaseClass()

{

Console.WriteLine("Базовым классом {0} является: {1}.",

typeof(T), typeof(T).BaseType);

}

}


Обратите внимание на то, что тип MyHelperClass сам по себе не является обобщенным, но определяет два обобщенных метода. Так или иначе, теперь, когда методы Swap и DisplayBaseClass находятся в контексте нового типа класса, при вызове их членов придется указать имя типа.


MyHelperClass.Swap(ref a, ref b);


Наконец, обобщенные методы не обязаны быть статическими. Если бы Swap и DisplayBaseClass были методами уровня экземпляра, нужно было бы просто создать экземпляр MyHelperClass и вызвать их из объектной переменной.


MyHelperClass c = new MyHelperClass();

c.Swap(ref a, ref b);


Создание обобщенных структур (и классов)




Теперь, когда вы понимаете, как определять и вызывать обобщенные методы, давайте рассмотрим построение обобщенных структур (процедура построения обобщенных классов оказывается аналогичной). Предположим, что мы построили гибкую структуру Point, поддерживающую один параметр типа, который представляет единицу хранения координат (x, y). Вызывающая сторона может создавать типы Point так.


// Point с использованием int.

Point p = new Point(10, 10);


// Point с использованием double.

Point p2 = new Point(5.4, 3.3);


Вот полное определение Point, необходимое нам для дальнейшего анализа.


// Обобщенная структура Point.

public struct Point

{

// Обобщенные данные.

private T xPos; private T yPos;


// Обобщенный конструктор.

public Point(T xVal, T yVal)

{

xPos = xVal;

yPos = yVal;

}


// Обобщенные свойства.

public T X

{

get { return xPos; }

set { xPos = value; }

}


public T Y

{

get { return yPos; }

set { yPos = value; }

}


public override string ToString()

{

return string.Format("[{0}, {1}]", xPos, yPos);

}


// Переустановка полей со значениями параметра типа,

// принятыми по умолчанию.

public void ResetPoint()

{

xPos = default(T);

yPos = default(T);

}

}


Ключевое слово default в обобщенном программном коде




Как видите, Point использует параметр типа в определении полей данных, аргументов конструктора и в определениях свойств. Обратите внимание на то, что вдобавок к переопределению ToString() обобщенный тип Point определяет метод ResetPoint(), в котором используется новый синтаксис.


// Ключевое слово 'default' в C# 2.0 является перегруженным.

// При использовании с обобщениями оно представляет значение

// параметра типа, принимаемое по умолчанию.

public void ResetPoint()

{

xPos = default(T);

yPos = default(T);

}


В C# 2.0 ключевое слово default получило два значения. Кроме использования в конструкции switch, оно может использоваться для установки параметрам типа значений, принятых по умолчанию. И это, очевидно, полезно, поскольку обобщенный тип ничего заранее не знает о фактических замещающих значениях и поэтому не может с безопасностью предполагать о том, каким должно быть значение по умолчанию. Значения по умолчанию для параметра типа являются следующими.
  • Для числовых значений значением по умолчанию является 0.
  • Для ссылочных типов значением по умолчанию является null.
  • Поля структуры устанавливаются равными 0 (для типов, характеризуемых значениями) или null (для ссылочных типов).



Для Point вы можете непосредственно установить xPos и yPos равными 0, поскольку вполне безопасно предполагать, что вызывающая сторона будет поставлять только числовые данные. Однако с помощью синтаксиса default(T) вы можете сделать обобщенный тип более гибким. В любом случае вы теперь можете использовать методы Point так.


static void Main(string[] args)

{

Console.WriteLine("***** Забавы с обобщениями *****\n");


// Point с использованием int.

Point p = new Point(10, 10);

Console.WriteLine("p.ToString()={0}", p.ToString());

p.ResetPoint();

Console.WriteLine("p.ToString()={0}", p.ToString());

Console.WriteLine();


// Point с использованием double.

Point p2 = new Point(5.4, 3.3);

Console.WriteLine("p2.ToString()={0}", p2.ToString());

p2.ResetPoint();

Console.WriteLine("p2.ToString()={0}", p2.ToString());

Console.WriteLine();


// Обмен двух Point.

Point pointA = new Point(50, 40);

Point pointB = new Point(543, 1);

Console.WriteLine( "До обмена: {0}, {1}", pointA, pointB);

Swap
>(ref pointA, ref pointB);

Console.WriteLine("После обмена: {0}, {1}", pointA, pointB);

Console.ReadLine();

}


Соответствующий вывод показан на рис.