В лекции рассказано как с помощью деревьев выражений можно создать транслятор, преобразующий код C# в другой язык. Показаны способы создания деревьев выражений, их синтаксический анализ, а также компиляция и исполнение кода. В качестве примера использована библиотека с открытым исходным кодом Camlex, которая использует деревья выражений для трансляции исходного кода в виде лямбда-выражений на языке C# в язык запросов CAML, используемый в платформе Sharepoint. Также освещен обратный процесс преобразования CAML в C# с помощью построения деревьев выражений и кодогенерации.

1. Использование деревьев выражений
.Net для создания транслятора на
языке C#
Автор: Алексей Садомов
К.ф.-м.н., Microsoft MVP

2. Транслятор

3. Таблица реляционной БД

4. Список Sharepoint

5. Выборка данных в БД и Sharepoint
• SQL:
• CAML:

6. Структура CAML запроса

7. Примеры операций в CAML
Обозначение операции в CAML Название
Eq Равно
Neq Не равно
Geq Больше или равно
Gt Больше
Leq Меньше или равно
Lt Меньше
BeginsWith Начнается с
Contains Содержит
IsNotNull Проверка на непустое значение
IsNull Проверка на пустое значение
And Логическое И
Or Логическое ИЛИ

8. Составной запрос с двумя условиями

9. Запросы с тремя и более условиями

10. Запрос с использованием Camlex

11. Трансляция C# в CAML

12. Составной запрос

13. Создание деревьев выражений на
основе лямбда-выражений и API

14. Создание деревьев выражений на
основе лямбда-выражений и API

15. Компиляция и исполнение кода

16. Синтаксический анализ деревьев
выражений

17. Интерфейс IQuery

18. Дерево выражений для построения CAML запроса
Синтаксический анализ

19. Схема преобразования

20. Поддерживаемые операции
Название Пример
AndAlsoOperation x => (string)x["Title"] == "Bug" &&
(string)x["Status"] == "Open"
ArrayOperation x => new[]{ x["Title"], x["Status"] }
BeginsWithOperation x => ((string)x["Title"]).StartsWith("Bug")
ContainsOperation x => ((string)x["Title"]).Contains("Bug")
DateRangesOverlapOperation …
EqOperation x => (string)x["Title"] == "Bug"
GeqOperation x => (int)x["Votes"] >= 1
GtOperation x => (int)x["Votes"] > 1
InOperation x => new[]{ 1, 2, 3 }.Contains((int)x["Vote"])
IsNotNullOperation x => (string)x["Title"] != null
IsNullOperation x => (string)x["Title"] == null
JoinOperation …
LeqOperation x => (int)x["Vote"] <= 1
LtOperation x => (int)x["Vote"] < 1
NeqOperation x => (string)x["Title"] != "Bug"
OrElseOperation x => (string)x["Title"] == "Bug" ||
(string)x["Status"] == "Open"
ProjectedFieldOperation …

21. Анализаторы операций

22. Анализатор для операции Eq

23. Генерация CAML для операции Eq
EqOperation:
FieldRefOperand: TextValueOperand:

24. Примеры Value-операндов
Название Базовый класс
BooleanValueOperand ValueOperand<bool>
DateTimeValueOperand ValueOperand<DateTime>
GuidValueOperand ValueOperand<Guid>
IntegerValueOperand ValueOperand<int>
NumberValueOperand ValueOperand<double>
TextValueOperand ValueOperand<string>
NullValueOperand IOperand

25. Передача неконстантных значений

26. Вычисление результата
неконстантных выражений

27. Явное преобразование типа к object
для типов-значений
Output: 1
Expression of type 'System.Int32' cannot be used
for return type 'System.Object'
Output: 1

28. Построение составных запросов

29. Построение составных запросов

30. Построение составных запросов

31. Обратное преобразование

32. Анализаторы для обратного
преобразования

33. Проверка CAML на корректность для операции Eq

34. Построение выражения для операции Eq

35. Соединение выражений

36. Кодогенерация с помощью ExpressionToCode

37. camlex-online.org

38. Ссылки и ресурсы
• http://sadomovalex.blogspot.com
• https://camlex.codeplex.com
• http://camlex-online.org
• https://msdn.microsoft.com/ru-ru/library/bb397951.aspx
• http://exprtreevisualizer.codeplex.com
• https://github.com/eamonnerbonne/expressiontocode