Зачем нужен оператор fixed в c#?

Question

[Amir228]

Зачем он нужен если можно указать через указатель, тем самым сборщик мусора все ровно не почистит. Почему указать на массив можно лишь через fixed(закрепив указатель) или использовать stackalloc массивы? Кстати о stackalloc массивах, они нужны только чтобы поменьше нагружать?

Comments

[freeExec]

Так не нужен или только через fixed?

[Amir228]

Не совсем я вас понял. Если вы про массивы(без stackalloc), то он нужен, но я не пойму почему.

[d-stream]

а зачем вообще в managed средах разбрасывать себе грабли в виде unmanaged ?

[VoidVolker]

d-stream для реализации хитрой/сложной или оптимизации логики, а так же для взаимодействия с неуправляемыми вызовами типа системных или еще каких библиотек. Ну или чтобы адреналина для )

[d-stream]

VoidVolker, вот скорее последнее)

Answer 1

[Василий Банников]

fixed запрещает перемещать объект в памяти.
Сборщик мусора может и не соберёт объект, но без fixed он может его переместить и тогда указатель станет невалидным.

stackalloc выделяет данные на стеке, а по тому с ним такой проблемы нет, ну и да - он не нагружает gc, хоть и обладает кое-какими другими потенциальными проблемами.

Comments

[Amir228]

Спасибо. Но только одно не совсем понял. Если сборщик мусора может переместить обьект сделав указатель не действующим, то нужно для безопасности использовать всегда fixed? Или он перетаскивает какие то определенные объекты?

[Василий Банников]

Amir228, чтобы гарантировать, что перемещения не будет - нужно использовать fixed, тк перемещать может любые не-fixed объекты.

[Роман]

Amir228, Это нужно, если передаете указатель в неуправляемый код, например, библиотеку подключенную.