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

координат X и Y. Но если закомментировать реализацию метода Show () , то его вызов из метода ShowXY () ни к чему не приведет.

Частичным методам присущ ряд следующих ограничений. Они должны возвращать значение типа void. У них не может быть модификаторов доступа и они не могут быть виртуальными. В них нельзя также использовать параметры out.

Создание объектов динамического типа

Как уже упоминалось не раз, начиная с главы 3, C# является строго типизированным языком программирования. Вообще говоря, это означает, что все операции проверяются во время компиляции на соответствие типов, и поэтому действия, не поддерживаемые конкретным типом, не подлежат компиляции. И хотя строгий контроль типов дает немало преимуществ программирующему, помогая создавать устойчивые и надежные программы, он может вызвать определенные осложнения в тех случаях, когда тип объекта остается неизвестным вплоть до времени выполнения. Нечто подобное может произойти при использовании рефлексии, доступе к COM-объекту или же в том случае, если требуется возможность взаимодействия с таким динамическим языком, как, например, IronPython. До появления версии C# 4.0 подобные ситуации были трудноразрешимы. Поэтому для выхода из столь затруднительного положения в версии C# 4.0 был внедрен новый тип данных под названием dynamic.

За одним важным исключением, тип dynamic очень похож на тип object, поскольку его можно использовать для ссылки на объект любого типа. А отличается он от типа object тем, что вся проверка объектов типа dynamic на соответствие типов откладывает до времени выполнения, тогда как объекты типа object подлежат этой проверке во время компиляции. Преимущество откладывания подобной проверки до времени выполнения состоит в том, что во время компиляции предполагается, что объект типа dynamic поддерживает любые операции, включая применение операторов, вызовы методов, доступ к полям и т.д. Это дает возможность скомпилировать код без ошибок. Конечно, если во время выполнения фактический тип, присваиваемый объекту, не поддерживает ту или иную операцию, то возникнет исключительная ситуация во время выполнения.

В приведенном ниже примере программы применение типа dynamic демонстрируется на практике.

// Продемонстрировать применение типа dynamic, using System;

using System.Globalization;

class DynDemo {

static void Main() {

// Объявить две динамические переменные, dynamic str; dynamic val;

// Поддерживается неявное преобразование в динамические типы.

// Поэтому следующие присваивания вполне допустимы, str = "Это строка"; val = 10;

Console.WriteLine("Переменная str содержит: " + str);

Console.WriteLine("Переменная val содержит: " + val + '\n');

str = str.ToUpper (Culturelnfo.CurrentCulture);

Console.WriteLine("Переменная str теперь содержит: " + str);

val = val + 2;

Console.WriteLine("Переменная val теперь содержит: " + val + '\n');

string str2 = str.ToLower(Culturelnfo.CurrentCulture);

Console.WriteLine("Переменная str2 содержит: " + str2);

// Поддерживаются неявные преобразования из динамических типов.

int х = val * 2;

Console.WriteLine("Переменная x содержит: " + x);

}

}

Выполнение этой программы дает следующий результат.

Переменная str содержит: Это строка Переменная val содержит: 10

Переменная str теперь содержит: ЭТО СТРОКА Переменная val теперь содержит: 12

Переменная str2 содержит: это строка Переменная х содержит: 24

Обратите внимание в этой программе на две переменные str и val, объявляемые с помощью типа dynamic. Это означает, что проверка на соответствие типов операций с участием обеих переменных не будет произведена во время компиляции. В итоге для них оказывается пригодной любая операция. В данном случае для переменной str вызываются методы ToUpper () и ToLower () класса String, а переменная участвует в операциях сложения и умножения. И хотя все перечисленные выше действия совместимы с типами объектов, присваиваемых обеим переменным в рассматриваемом здесь примере, компилятору об этом ничего не известно — он просто принимает. И это, конечно, упрощает программирование динамических процедур, хотя и допускает возможность Появления ошибок в подобных действиях во время выполнения.