Динамический тип

В C# версии 4.0, Microsoft представила новый тип: динамический. На самом деле это статический Тип, но в отличие от других статических типов, (потенциальные) члены динамического объекта не проверяются компилятором. Это даст вам некоторые преимущества динамически / слабо типизированных языков, при этом во всех других случаях сохраняя преимущества строго типизированного языка.

Объявление dynamic похоже на объявление любого другого типа-просто используйте ключевое слово dynamic вместо типа данных:

dynamic d1;
dynamic d2 = "A string";
dynamic d3 = 42;

Теперь у вас есть три разных объекта - первый на самом деле ничто в этой точке (null), в то время как второй является строкой и третьим целым числом. Интерпретатор автоматически решит это во время выполнения, основываясь на том, что вы назначаете переменной. Это также означает, что компилятор не будет проверять, что вы делаете с этими переменными, как показано в следующем примере:

dynamic d1;
dynamic d2 = "A string";
dynamic d3 = 42;
Console.WriteLine(d2.Length);
Console.WriteLine(d3.Length);

Строки имеют свойство length, чтобы определить длину строки, но целое число - нет. В этом случае я пытаюсь использовать это свойство для обеих переменных, и компилятор не будет жаловаться на это - если бы эти переменные были объявлены как строка и целое число, компилятор перехватил бы. Но поскольку типы являются динамическими, он просто компилируется и запускается. Однако, как только интерпретатор достигнет последней строки, будет выдано исключение, потому что очевидно, что вы не можете получить доступ к свойству, которое не существует.

Это также показывает опасность динамических типов - вы должны знать, что вы делаете, и убедиться, что вы правильно пишете каждое свойство и вызов метода, потому что компилятор не будет дважды проверять вашу работу, в основном позволяя публиковать код, который каждый раз терпит неудачу.

Динамический объект

Ключевое слово dynamic может, конечно же, быть использовано для более сложных типов данных нежели integer и string. Хороший тому пример, это когда оно используется для хранения анонимного объекта, как ниже:

dynamic user = new
{
    Name = "John Doe",
    Age = 42
};
Console.WriteLine(user.Name + " is " + user.Age + " years old");

Это позволяет создать объект без предварительного определения класса. Ключевое словоdynamic можно использовать для его хранения, но также можно использовать ключевое слово var, которое может быть лучше подходит во многих ситуациях.

Вы можете подумать, что, поскольку тип является динамическим, вы можете просто добавить к нему свойства позже, например:

dynamic user = new
{
    Name = "John Doe",
    Age = 42
};
user.HomeTown = "New York";

Поскольку проверка динамического типа во время компиляции не выполняется, этот код фактически выполняется, поскольку компилятор фактически не проверяет существование свойства HomeTown, но как только будет достигнута последняя строка, будет выдано исключение. Хотя динамический Тип очень динамичен, он не позволяет динамически добавлять в него новые свойства. Для этого можно использовать ExpandoObject, о котором мы поговорим в следующей статье.

Меняя тип

Переменная, объявленная как динамическая, вовсе не является бесттипной. Вместо этого C# будет рассматривать его внутренне как любой объект, присвоенный ему. В нашем самом первом примере вы увидите, как мы можем объявить переменную как динамическую, присвоить ей строку или целое число, а затем начать использовать свойства, принадлежащие этим типам. Однако вы можете легко изменить тип динамической переменной просто присвоить новое значение. Вот пример:

dynamic user = new
{
    Name = "John Doe",
    Age = 42
};
Console.WriteLine(user.GetType() + ": " + user.Name + " is " + user.Age + " years old");
user = "Jane Doe";
Console.WriteLine(user.GetType() + ": String.Length = " + user.Length);

Обратите внимание, как мы используем динамическую переменную user: сначала она содержит анонимный объект, а затем мы назначаем ему простую строку. Мы проверяем его с помощью метода gettype() C# для объектов, и в обоих случаях мы получаем доступ вариантов размещения найдено по установленному типу (имя/возраст свойствах анонимный объект, то свойство length строковых объектов).

Резюме

Ключевое слово dynamic позволяет использовать переменные, которые не зависят от типа, а действуют как тип данных, которые они содержат. Динамической переменной можно легко присвоить новое значение, и если тип присваиваемого значения отличается от текущего, динамическая переменная просто автоматически изменит тип.

Динамические переменные не проверяются компилятором, что позволяет получить доступ к свойствам, которые могут или не могут присутствовать. Это делает их очень гибкими, но также делает ваши приложения более уязвимыми к ошибкам. Именно по этой причине, вы можете ограничить использование динамических ключевых слов ситуациями, когда вы не можете выполнить то, что вы хотите, не используя его. Примеры, когда имеет смысл использовать ключевое слово dynamic, приведены для com-взаимодействия и при взаимодействии с форматами данных, такими как JSON и XML.