Ну конечно.

Ну конечно.

Да благословит он тебя на славный труд механикума!

@fvnever как создать структуру в рантайме на стеке? :D

@fvnever как создать структуру в рантайме на стеке? :D

А обычно у тебя структуры в рантайме на чём создаются?

Или ты тип рефлекшеном что ли?

Через Activator

GC0

Руками, вообще 0 аллокаций

Вот и думаю

об этом и многом другом читайте в нашем альманахе НИКАК

Блин

Серьёзно? :)

Через активатор — никак.

Но тебе обязательно ли активатор?

Не, а другие может способы есть

Не, а другие может способы есть

Хе-хе.

Задача - создать структуру в рантайме из типа

На стеке

Задача - создать структуру в рантайме из типа

А дальше потом с ней что делать?

var b = Activator.CreateInstance(typeof(MiddlewareStruct)) as IMiddleware; b.MiddlewareMethod();

Ну прост смотри чо, ref T я придумал, как сконструировать

Ой, не то

Вот так

var b = Activator.CreateInstance(typeof(MiddlewareStruct)) as IMiddleware; b.MiddlewareMethod();

Тайпклассы мутишь?

Туда ещё заинжектить надо будет зависимости

Тайпклассы мутишь?

Неа

Middleware для graphql

Ну что, есть идеи как сделать можно?

Ну что, есть идеи как сделать можно?

Я напилил!

Там вообще как не хрен делать

Я напилил!

Да ладна

Показывай

я может ошибаюсь, но по-моему as IMiddleware все равно вызовет боксинг

struct MuStruct { public void MuMethod() => Console.WriteLine("MuMu"); } class Program { static unsafe void Main(string[] args) { var t = typeof(MuStruct); var x = stackalloc byte[sizeof(MuStruct)]; var s = Unsafe.AsRef<MuStruct>(&x); s.MuMethod(); } }

struct MuStruct { public void MuMethod() => Console.WriteLine("MuMu"); } class Program { static unsafe void Main(string[] args) { var t = typeof(MuStruct); var x = stackalloc byte[sizeof(MuStruct)]; var s = Unsafe.AsRef<MuStruct>(&x); s.MuMethod(); } }

А туда аргументы как передать?

Ой, блин, с sizeof промашка, сек

Стоп, стопэ

Как аллоцировать на стеке — я показал, разве что sizeof(MuStruct) над заменить на Marshal.SizeOf(t)

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

Это же хунта получается.

А туда аргументы как передать?

Ну и вообще, какие аргументы?

У структуры есть дефолтовый инициализатор, вот я этим и пользуюсь :)

Про аргументы в техническом задании ничо не было!

Про аргументы в техническом задании ничо не было!

Задание просто в несколько сообщений расползлось

Туда ещё заинжектить надо будет зависимости

тык

Нихерасе, в структуру зависимости?

Мсье... знает толк, ага.

Давай через кодеген?

:D

Через кодеген точно можно.

Кодген в каком смысле?

Ну, экспрешеном, например.

Экспрешен ты осилишь составить, который делает то, что тебе нужно?

Ну а через него как инжектить? 🤔

Дак запросто же: через аргументы!

Но он должен быть универсальным

Там же тогда явно аргументы задавать придётся

Я думаю тут надо спросить что же ты хочешь сделать

Пора уже

struct MuStruct { public MuStruct(object arg) {} public void MuMethod() => Console.WriteLine("MuMu"); } class Program { static unsafe void Main(string[] args) { var t = typeof(MuStruct); var ctor = t.GetConstructors().Single(); var meth = t.GetMethod("MuMethod"); var dependency = new object(); var newExpr = Expression.New(ctor, Expression.Constant(dependency)); var callExpr = Expression.Call(newExpr, meth); var func = Expression.Lambda(callExpr); var deleg = (Action)func.Compile(); deleg.Invoke(); } }

На аллокации лучше сам проверь, но вроде как должно быть норм.

Я в качестве депенденси туда засунул просто обжект, но ты, очевидно, можешь анализировать аргументы конструктора и передавать что захошь — вытаскивать все аргументы из DI, например.

Ну и плюс, я тут довольно простецки сделал, зашив депсы прямо в тело лямбды

Т.е. я вызываю примерно так: var dependency = new object(); (() => new MuStruct(dependency).MuMethod())();

Очевидно, что аллокация структуры тут будет на стеке, а вот аллокация самой лямбды и сопутствующих деревьев выражений — в куче, и они на каждый вызов будут новые.

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

А депсы в неё передавать аргументами на каждый вызов.

Тогда будет zero alloc на каждый вызов (кроме первого, когда мы заводим дерево и компиляем лямбду). Кажется, ты этого хотел.

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

Быстрее MethodInfo.Invoke

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

Оно получается чуть хуже прямого вызова

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

И медленнее, чем рефлекшен

И, наверное, даже медленнее, чем динамик.

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

(но ты не можешь его использовать, если тип неизвестен)

Щас попробуем некоторые варианты

Некоторое дерьмо!

@improwks разбирается в этом дерьме.

Если чо, можешь в @cilchat потыкать его или меня.