Сергей Соловьев

Управление памятью в .NET для профессионалов

Как работает сборка мусора.
В .NET используется 2 фазная сборка мусора: Mark & Sweep (Пометить и Убрать).

Mark

На этом этапе обходится весь граф объектов. И выявляются все недостижимые.

Каким образом достижимость объектов определяется?

Достижимые это:
- Аллоцированные на стеке
- В статических полях
- Достижимые из достижимых (см. выше)

Все объекты, которые не удалось достичь (в граф не попали) - являются недостижимыми.

Но на стеке лежат числа. могут быть как числами, так и адресами, как и числами?

JIT копилятор достаточно умный, чтобы сгенерить код, который будет знать, что за объект/ссылка лежит на стеке. Так и получаются знания об объектах.

Sweep

Тогда итог, что языки с сборщиком мусора, под в 2 раза медленнее должны быть.(помимо сборки)

Вот тут интереснее. Есть несколько хаков как достигается большая производительность.
1. Линеризованное пространство памяти.
Адреса 0, 1 и 2 поколения расположены не абы где, а последовательно, друг за другом. Т.е. если нужно сократить пространство 0 поколения, то это означает простое передвигание указателя влево.

2. Переход в след. поколение происходит не всегда
Из 0 в 1 - переход быстрый, но из 1 в 2 - не всегда.
На этом этапе тоже может не затрачиваться много времени.

3. Ссылки из недостижимых объектов не обновляются - эти объекты и так нигде не участвуют
Обновление ссылок, к сожалению, - это ручное изменение и копирование. Ничего не поделаешь.

Теперь где-то, сборщик мусора, начинает переносить arr в другое место.

Ты слишком большой массив выделил, он аллоцируется в LOH. Оттуда не вытащишь.

Я много о чем не упомянул. Например, очередь финализации, таблица дескрипторов (Handle), сегментирование памяти и т.д. но ответы на основные вопросы дал

Сделай как Task: вместо интерфейсов - конкретные классы.

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

В C# нет перегрузки по возвращаемому значению. В случае наследования интерфейсов (первый пример) ты создаешь метод и идентичной сигнатурой, но при этом различными возвращаемыми значениями. Вот он и ругается.

Дополняя ответ Василий Банников.

- Vector3 - это вектор из 3 координат
- Quaternion - это вектор из 4 координат

Невозможно преобразовать, т.к. откуда знать что за 4-ая координата

В Rider это можно сделать через тот же самый Add Reference.
Правая кнопка по проекту -> Add -> Reference... -> Внизу нажимаешь "Add from..." -> Находишь свой dll

На SO уже есть решение через regex

https://stackoverflow.com/questions/11414452/is-th...

if (Regex.IsMatch(stringToCheck, @"\p{IsCyrillic}"))
{
    // there is at least one cyrillic character in the string
}

Одно из решений

public interface IParam
{
}

public interface IProcessor
{ }

public interface IProcessor<in T>: IProcessor 
    where T : IParam
{
    public void Apply(T param);
}

public class ConcreteProcessorA : IProcessor<ConcreteParamA>
{
    public void Apply(ConcreteParamA param)
    {
        Console.WriteLine("Hello from processor A");
    }
}

public class ConcreteParamA : IParam
{
    
}

public class ConcreteProcessorB : IProcessor<ConcreteParamB>
{
    public void Apply(ConcreteParamB param)
    {
        Console.WriteLine("hello form ProcessorB");
    }
}

public class ConcreteParamB : IParam
{
    
}

public class Provider
{
    public Provider(IEnumerable<IProcessor> processors)
    {
        _processors = processors.ToList();
    }
    private List<IProcessor> _processors;
     
    public void Apply<TParam>(TParam param) where TParam: IParam
    {
        foreach (var processor in _processors.Where(p => p
                                                        .GetType()
                                                        .GetInterfaces()
                                                        .Any(i => i.IsAssignableTo(typeof(IProcessor<TParam>))))
                                             .Cast<IProcessor<TParam>>())
        {
            processor.Apply(param);
        }
        throw new InvalidOperationException("Для переданного типа нет обработчика");
    }
}

public class Program
{
    static void Main(string[] args)
    {
        var provider = new Provider(new IProcessor[]
                                    {
                                        new ConcreteProcessorA()
                                    });
        
        provider.Apply(new ConcreteParamA());
        try
        {
            provider.Apply(new ConcreteParamB());
        }
        catch (Exception e)
        {
            Console.WriteLine(e);
        }
        
    }
}

Сначала выдает

Hello from processor A

затем пишет исключение, т.к. обработчика не нашлось

В общем случае нельзя, так как объект лямбды создается каждый, поэтому нужно вынести функцию отдельно.
Но если регистрация и удаление обработчика происходят в одной функции/блоке, то ответ joyrax-dev будет правильным.
Но можно сделать такой костыль:

public class MyEvent
{
    public event EventHandler ActionHappened;

    public void FireEvent()
    {
        ActionHappened?.Invoke(this, EventArgs.Empty);
    }
}

public class SomeClass
{
    public void RegisterInner(MyEvent @event)
    {
        EventHandler handler = null!;
        handler = (sender, args) =>
        {
            Console.WriteLine("Hello, world");
            @event.ActionHappened -= handler;
        };

        @event.ActionHappened += handler;
    }
}
public class Program
{
    public static void Main()
    {
          var myEvent = new MyEvent();
          var someClass = new SomeClass();
          someClass.RegisterInner(myEvent);
          myEvent.FireEvent();
          myEvent.FireEvent();
          myEvent.FireEvent();
          myEvent.FireEvent();
          myEvent.FireEvent();
     }
}

Hello, world будет выведен только 1 раз