Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю

На заметку! В настоящей главе вопросы применения среды DLR для интеграции с динамическими языками не обсуждаются.

Роль деревьев выражений

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

В приведенном выше примере среда DLR автоматически построит дерево выражения, которое по существу гласит: "Вызвать метод по имени

на объекте , передав число в качестве аргумента". Затем эта информация (формально называемая полезной нагрузкой) передается корректному связывателю времени выполнения, который может быть динамическим связывателем C# или (как вскоре будет объяснено) даже унаследованным объектом СОМ.

Далее запрос отображается на необходимую структуру вызовов для целевого объекта. Деревья выражений обладают одной замечательной характеристикой (помимо того, что их не приходится создавать вручную): они позволяют писать фиксированный оператор кода C# и не беспокоиться о том, какой будет действительная цель.

Динамический поиск в деревьях выражений во время выполнения

Как уже объяснялось, среда DLR будет передавать деревья выражений целевому объекту; тем не менее, на этот процесс отправки влияет несколько факторов. Если динамический тип данных указывает в памяти на объект СОМ, то дерево выражения отправляется реализации низкоуровневого интерфейса СОМ по имени

. Как вам может быть известно, упомянутый интерфейс представляет собой способ, которым СОМ внедряет собственный набор динамических служб. Однако объекты СОМ можно использовать в приложении .NET Core без применения DLR или ключевого слова языка С#. Тем не менее, такой подход (как вы увидите) сопряжен с написанием более сложного кода на С#.

Если динамические данные не указывают на объект СОМ, тогда дерево выражения может быть передано объекту, реализующему интерфейс

. Указанный интерфейс используется "за кулисами", чтобы позволить языку вроде IronRuby принимать дерево выражения DLR и отображать его на специфические средства языка Ruby.

Наконец, если динамические данные указывают на объект, который не является объектом СОМ и не реализует интерфейс

, то это нормальный повседневный объект .NET Core. В таком случае дерево выражения передается на обработку связывателю исполняющей среды С#. Процесс отображения дерева выражений на специфические средства платформы .NET Core вовлекает в дело службы рефлексии.

После того как дерево выражения обработано определенным связывателем, динамические данные преобразуются в реальный тип данных в памяти, после чего вызывается корректный метод со всеми необходимыми параметрами. Теперь давайте рассмотрим несколько практических применений DLR, начав с упрощения вызовов .NET Core с поздним связыванием.

Упрощение вызовов с поздним связыванием посредством динамических типов

Одним из случаев, когда имеет смысл использовать ключевое слово

, может быть работа со службами рефлексии, а именно — вызов методов с поздним связыванием. В главе 17 приводилось несколько примеров, когда вызовы методов такого рода могут быть полезными — чаще всего при построении расширяемого приложения. Там вы узнали, как применять метод для создания объекта типа, о котором ничего не известно на этапе компиляции (помимо его отображаемого имени). Затем с помощью типов из пространства имен можно обращаться к членам объекта через механизм позднего связывания. Вспомните показанный ниже пример из главы 17:

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

, вручную запрашивать метаданные и т.д. В следующей версии того же метода используется ключевое слово и среда DLR:

За счет объявления переменной

с ключевым словом вся рутинная работа, связанная с рефлексией, перекладывается на DLR.

Использование ключевого слова dynamic для передачи аргументов

Полезность среды DLR становится еще более очевидной, когда нужно выполнять вызовы методов с поздним связыванием, которые принимают параметры. В случае применения "многословных" обращений к рефлексии аргументы нуждаются в упаковке внутрь массива экземпляров

, который передается методу класса .