В приведенном ниже примере кода я инициализирую запись с помощью конструктора, внутри которого назначаю метод GetI свойству Delegate. Насколько я понимаю, назначение Delegate образует замыкание над foo, поскольку foo является целью делегата под капотом.
Затем я использую запись с синтаксисом, чтобы получить foo2 с I = 99, и я ожидал, что значение Delegate будет автоматически клонировано в foo2.Delegate, как и следовало ожидать с записями. Я полагал, что это будет означать, что значение свойства Delegate будет делегатом с Target = foo и Method = GetI
Я ошибочно полагал, что вызов foo2.GetI() будет на самом деле вызываю цель делегата (это foo), и я получаю 5. Возможная утечка памяти, поскольку foo все еще будет жива внутри делегата.
Вместо этого вызов foo2.GetI() возвращает 99. Это означает, что делегат фактически не закрывал foo в свойстве Target делегата и ведет себя скорее как «открытый делегат», чего я не делал. Не ожидал, что это произойдет. Каким-то образом, без повторной инициализации свойства Delegate, делегат переключил Target на foo2.
Почему делегат не формирует замыкание вокруг foo?
Foo foo = new Foo(5);
var foo2 = foo with {I = 99};
var i2 = foo2.GetI(); // returns 99
// definitions
delegate int FooDelegate();
record Foo
{
public int I;
public FooDelegate Delegate {get;init;}
public int GetI()
{
return I;
}
public Foo(int i)
{
I = i;
Delegate = GetI;
}
}
Подробнее здесь: https://stackoverflow.com/questions/789 ... e-a-record
