Здравствуйте, vaa, Вы писали:
vaa>Используете ли данную фичу, насколько активно, кейсы?
Раньше (на паре проектов) был небольшой опыт, но не "кодогенерации вообще", а подхода MDA (Model Driven Architecture), т.е. мы генерировали базовый код для сущностей предметной области: таблицы, CRUD-хранимки (у заказчика было требование доступа к данным таблицы через слой хранимок), модели DTO, CRUD-сервисы, ... — на основе описанной модели.
Т.е. у нас был некоторый общий бизнес-фреймворк с рукописным кодом, а для того, чтобы облегчить себе поддержку достаточно большого числа предметных сущностей мы использовали генерацию.
В одном из проектов для описания модели мы использовали DSL Tools. Для генерации — T4.
В другом случае был самописный генератор (этакий монстрик с прямой записью через StringBuilder), который в качестве модели брал на вход набор XML-ек.
Первый вариант был достаточно удобным и технологичным. Мы использовали самую простую модель — просто диаграмму "Сущность-связь", но в которой были:
— любые нужные нам атрибуты как у сущностей, так и у связей (в основном у сущностей, конечно)
— некоторые дополнительные валидации по самой модели (сейчас всех подробностей не помню, но, например, что-то типа того, что генерация зависела от некоторой комбинации параметров и некоторые сочетания были не допустимыми и мы это сразу при рисовании диаграммы проверяли).
vaa>По-моему, ограниченность partial сильно сужает область применения.
О каких именно ограничениях речь? Хотелось бы увидеть конкретный пример.
От себя могу сказать, что мы особо не натыкались на такое, но у нас, возможно, ситуация была проще — мы могли управлять процессом генерации.
Например, можно было включать/выключать необходимость валидации всей сущности. И, тогда, в первом случае требовать наличия метода валидации с любой сигнатурой (а то и не метода — а отдельного класса!) и без использования partial (т.е. код просто не соберется, пока нужного метода/класса не будет), а во втором — ничего не делать.
Основная проблема с которой столкнулись мы по мере роста сложности проекта, приходилось перепроектировать генерацию, добавляя всё больше разных точек расширения (а за одно — усложняя логику самой генерации).
И если на первых порах, когда генерация была простой и легко поддерживаемой, выхлоп от неё был очевиден.
А вот когда затраты на поддержку самой генерации (точнее, в нашем случае, модели + генерации) стали ощутимыми — всё уже было не так очевидно.
Re[3]: Польза и области применения генераторов кода
Здравствуйте, vaa, Вы писали:
vaa>Используете ли данную фичу, насколько активно, кейсы? vaa>По-моему, ограниченность partial сильно сужает область применения.
В ядре Линукса есть 2-3 миллиона строк кода из драйвера АМД, который был автоматически сгенерирован.
Re[4]: Польза и области применения генераторов кода
ну, если я правильно понял ман, то работает этот инструмент только для реализации класса|метода в имеющего ключевое слово partial.
Хотя во введении что-то и говорится о модификации IL, но примеров я не видел.
И получается новый класс нельзя сгенерить, только модификация(реализация) частичных, уже имеющихся членов.
☭ ✊ В мире нет ничего, кроме движущейся материи.
Re[5]: Польза и области применения генераторов кода
Здравствуйте, vaa, Вы писали:
vaa>ну, если я правильно понял ман, то работает этот инструмент только для реализации класса|метода в имеющего ключевое слово partial. vaa>И получается новый класс нельзя сгенерить, только модификация(реализация) частичных, уже имеющихся членов.
Нет, вы поняли не совсем верно. Source Generators позволяют "на лету" (во время компиляции), добавить код, который тут же будет скомпилирован.
А вот что там будет — новые типы, или классы/методы с partial — это уже вы сами решаете, как разработчик Source Generator
Чтобы не повторяться, сошлюсь на свой ответ в теме про SG
чуть ранее.
vaa>Хотя во введении что-то и говорится о модификации IL, но примеров я не видел.
Если вы про вот этот раздел, то я тоже не очень понял, что может дать SG для bytecode weaving. Возможно, как с рефлексией (этот вариант расписывается) можно перенести анализ кода на этап компиляции... Не знаю.
Re[2]: Польза и области применения генераторов кода
Ну и еще сошлюсь вот на такой цикл статей как раз про разные подходы и механизмы генерации кода в .Net
Назвать его исчерпывающим нельзя, конечно, но как минимум из первой статьи можно найти кучку примеров где и как кодогенерация используется прямо сейчас в самом .Net.
vaa>Используете ли данную фичу, насколько активно, кейсы? vaa>По-моему, ограниченность partial сильно сужает область применения.
Кодогенерацию использую максимально. В ключевом для меня проекте каждая функция написана очень тупо и просто, а в partial-классе для неё создаётся обвязка, которая пишет трейсы/логи/дампы вызовов, синхронизацию если функция не многопоточная, код который нужен чтобы вызвать её через API и вернуть результат, код который нужен чтобы настроить в конфиге всякие "статические" параметры (таймауты, размер входного буфера, и т.д.).
Но эта генерация у меня работала ещё на Core 3, и на source generators я так и не переехал. Делал пару попыток, но код, генерирующий эти обвязки, сам использует типы из проекта, и студии от этого делается плохо-плохо.
Разделяемый метод может не иметь реализацию в следующих случаях.
У него нет модификаторов доступа (включая private по умолчанию).
Он возвращает значение void.
У него нет параметров out.
У него нет ни одного из следующих модификаторов: virtual, override, sealed, new или extern.
Любой метод, не соответствующий всем этим ограничениям (например, метод public virtual partial void), должен предоставлять реализацию. Эта реализация может быть предоставлена генератором источника.
Здравствуйте, vaa, Вы писали:
vaa>Используете ли данную фичу, насколько активно, кейсы?
В основном, генерация типов по неким "внешним" данным (например, по xsd).
Хочу таки сделать генератор для компараторов. Run-time генерация у меня уже есть ([C# 4 и 3] Построитель компараторов), теперь охота того же, но compile-time.
В силу использования старого фреймворка:
Различные визиторы
Рукописная арифметика
vaa>По-моему, ограниченность partial сильно сужает область применения.
Приведёте примеры, где "partial сильно сужает область применения"?
На мой взгляд "partial" это как раз то, что не "сужает", а, наоборот, позволяет практически бесшовно соединять сгенерированный и рукописный код.
Help will always be given at Hogwarts to those who ask for it.
Re[2]: Польза и области применения генераторов кода
Здравствуйте, _FRED_, Вы писали:
_FR>Здравствуйте, vaa, Вы писали:
vaa>>Используете ли данную фичу, насколько активно, кейсы?
_FR>В основном, генерация типов по неким "внешним" данным (например, по xsd). _FR>Хочу таки сделать генератор для компараторов. Run-time генерация у меня уже есть ([C# 4 и 3] Построитель компараторов), теперь охота того же, но compile-time.
_FR>Приведёте примеры, где "partial сильно сужает область применения"?
_FR>На мой взгляд "partial" это как раз то, что не "сужает", а, наоборот, позволяет практически бесшовно соединять сгенерированный и рукописный код.
но заготовка должна быть заранее, это связывает руки. Хотя имеется техническая возможность модифицировать IL, просто генерить классы которых нет в рукописном коде.
или в частиный класс можно вложить сгенереный класс, это уже неплохо звучит.
☭ ✊ В мире нет ничего, кроме движущейся материи.
Re[3]: Польза и области применения генераторов кода
Здравствуйте, vaa, Вы писали:
vaa>но заготовка должна быть заранее, это связывает руки. Хотя имеется техническая возможность модифицировать IL, просто генерить классы которых нет в рукописном коде. vaa>или в частиный класс можно вложить сгенереный класс, это уже неплохо звучит.
Не понятно какая заготовка? Возможные сценарии:
1) Переписывание существующего тела метода. Методу даешь спец. имя, например: MyMethod_ и помечаешь атрибутом, а генератор создаст и добавит без подчеркивания MyMethod.
Единственная проблема — останется мусор MyMethod_ . Здесь у них недоработка, но исправить это будет не так сложно (удалять мусор).
2) От заготовки метода требуется передать в генератор только определение без тела. Для этого есть partial методы.
3) Генерировать методы класса совсем без заготовки. Тогда сам класс пометить атрибутом, а генератор создаст методы в этом классе (в partial).
4) Генерировать классы по заготовке. Дать особое имя классу, например, MyClass_ и пометить атрибутом. Генератор создаст с другим именем MyClass
5) Генерировать несколько классов без заготовки. Атрибутом помечать или класс или на уровне assembly.
Re[3]: Польза и области применения генераторов кода
Здравствуйте, vaa, Вы писали:
_FR>>Приведёте примеры, где "partial сильно сужает область применения"? _FR>>На мой взгляд "partial" это как раз то, что не "сужает", а, наоборот, позволяет практически бесшовно соединять сгенерированный и рукописный код.
vaa>но заготовка должна быть заранее, это связывает руки. Хотя имеется техническая возможность модифицировать IL, просто генерить классы которых нет в рукописном коде. vaa>или в частиный класс можно вложить сгенереный класс, это уже неплохо звучит.
Ничего не понял, сорри. Сложно оспаривать ваше предположение без конкретики, потому что не ясно, где же и от чего вам "узко". Вы можете привести пример, когда "partial сильно сужает область применения"?
Help will always be given at Hogwarts to those who ask for it.
Здравствуйте, _FRED_, Вы писали:
_FR>Здравствуйте, vaa, Вы писали:
_FR>>>Приведёте примеры, где "partial сильно сужает область применения"? _FR>>>На мой взгляд "partial" это как раз то, что не "сужает", а, наоборот, позволяет практически бесшовно соединять сгенерированный и рукописный код.
vaa>>но заготовка должна быть заранее, это связывает руки. Хотя имеется техническая возможность модифицировать IL, просто генерить классы которых нет в рукописном коде. vaa>>или в частиный класс можно вложить сгенереный класс, это уже неплохо звучит.
_FR>Ничего не понял, сорри. Сложно оспаривать ваше предположение без конкретики, потому что не ясно, где же и от чего вам "узко". Вы можете привести пример, когда "partial сильно сужает область применения"?
модификации применяются только к partial, я так понимаю обычным образом исходный код в проект сложно добавить налету,
а разделенные наверное автоматом подхватываются.
Если я захочу какой-нибудь класс из внешней сборки расширить, то это получится лишь если его автор сделал его partial, верно?
☭ ✊ В мире нет ничего, кроме движущейся материи.
Re[5]: Польза и области применения генераторов кода
Здравствуйте, vaa, Вы писали:
vaa>>>но заготовка должна быть заранее, это связывает руки. Хотя имеется техническая возможность модифицировать IL, просто генерить классы которых нет в рукописном коде. vaa>>>или в частиный класс можно вложить сгенереный класс, это уже неплохо звучит.
_FR>>Ничего не понял, сорри. Сложно оспаривать ваше предположение без конкретики, потому что не ясно, где же и от чего вам "узко". Вы можете привести пример, когда "partial сильно сужает область применения"?
vaa>модификации применяются только к partial, я так понимаю обычным образом исходный код в проект сложно добавить налету, vaa>а разделенные наверное автоматом подхватываются.
Мне показалось, что вы совершенно не правильно смотрите на это всё: partial как раз наобопрот позволяет догенерировать что-либо к существующим типам.
vaa>Если я захочу какой-нибудь класс из внешней сборки расширить, то это получится лишь если его автор сделал его partial, верно?
Нет, после компиляции ("внешней сборки") partial на типах из этой сборки и методах этих типов уже не будет иметь значение.
За столько дней, что вы тут выясняете свой вопрос уже можно было бы попробовать или почитать побольше на эту тему
Help will always be given at Hogwarts to those who ask for it.
Re[2]: Польза и области применения генераторов кода
Здравствуйте, hi_octane, Вы писали:
vaa>>Используете ли данную фичу, насколько активно, кейсы? vaa>>По-моему, ограниченность partial сильно сужает область применения. _>Кодогенерацию использую максимально. В ключевом для меня проекте каждая функция написана очень тупо и просто, а в partial-классе для неё создаётся обвязка, которая пишет трейсы/логи/дампы вызовов, синхронизацию если функция не многопоточная, код который нужен чтобы вызвать её через API и вернуть результат, код который нужен чтобы настроить в конфиге всякие "статические" параметры (таймауты, размер входного буфера, и т.д.). _>Но эта генерация у меня работала ещё на Core 3, и на source generators я так и не переехал. Делал пару попыток, но код, генерирующий эти обвязки, сам использует типы из проекта, и студии от этого делается плохо-плохо.
А можно пример шаблоно, если не NDA, который все это делает?
