Как оптимизировать лямбду во время выполнения?

Question

У меня есть тестовое задание для оптимизации лямбда-выражения во время выполнения. Предполагая, что лямбда содержит некоторые «тяжелые» вызовы функций, мне нужно изменить лямбда так, чтобы все вызовы функций были кэшированы во временные переменные, которые затем могут заменять фактические вызовы функций в теле лямбда.

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

Интересно, какой раздел C# это вообще? Я имею в виду, например, «узнать о размышлениях» или «узнать о дженериках». Что мне нужно узнать в этом случае?

Answer 1

Думаю, Memoization это техника, которую вы ищете.

Вот статья, в которой объясняется, как вы можете достичь memoization in c# using generics and lambda expression.

Наконец, вы можете найти фактическую реализацию техники в ReactiveUIMemoizingMRUCache.

Answer 2

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

Например, в C#

var lst = new List<string> { "Foo", "Bar" }; 

bool r1 = lst.Remove("Foo"); // true, and has modified lst 
bool r2 = lst.Remove("Foo"); // false, and hasn't modified lst 

bool r3 = lst.Remove("Bar"); // true, and has modified lst, note different parameter 
bool r4 = lst.Remove("Baz"); // false, and hasn't modified lst, note different parameter 

Как вы можете обнаружить, если Remove детерминированной или нет? Вы не можете (технически вы могли бы разобрать его и проверить, но это очень сложно) ... И как вы могли бы определить, вызваны ли они теми же параметрами? Это выполнимо, но довольно сложно.

Теперь ... как тестовое задание ... Я вижу три возможности:

• это ложный тест, где вы должны понять это и сообщить об этом
• вы не поняли тест работа
• вы не дали нам некоторые важные информации (например, что вы должны заменить некоторые конкретные вызовы методов, которые не имеют параметров и являются статическими или нечто подобное, и что гарантированно быть детерминированным)