Как мы все знаем, классы в .NET передаются по ссылке, а структуры — по значению.
В небезопасном коде вы можете иметь указатели на структуры, но не на классы, поскольку они перемещаются сборщиком мусора. Например, когда у вас есть указатель на массив, вы должны поместить его либо в оператор fixed (если вы выделили в куче), либо в stackalloc (для размещения в стеке).
С учетом сказанного, как классы могут передаваться по ссылке, если они перемещаются сборщиком мусора?
Что перемещает GC; GC фиксирует. Так как сборщик мусора в любом случае должен найти все ссылки на объект (чтобы проверить, может ли он пройти сборщик мусора), изменить эти ссылки, чтобы они указывали на новый объект, является небольшим дополнительным шагом. адрес.
Вы можете думать об экземпляре типа класса как об дескрипторе, тогда ссылка на дескриптор будет просто еще одним косвенным обращением (своего рода указателем на дескриптор), ограниченным по объему вызовом метода. Поскольку сам объект остается скрытым за ручкой, его можно перемещать без какого-либо видимого эффекта.
