C# фиксированная область оптимизации

Question

Не можете найти что-нибудь об этом, но если я нахожу код, как этот

fixed(Foo* foo=bar) { 
    doSomething(bar); // not foo 
} 

где Foo не ссылается, я могу быть уверен, что бар сохраняется фиксированной внутри региона и не ушли из-за оптимизации?

Answer 1

Да. Вот вся суть fixed заявления, а также отмечено в описании:

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

В вашем случае фиксированных стрелочный инициализатор является bar. Однако по причинам грамматики требуется объявление foo. Вероятно, это причина этой идиомы, когда массив bar должен быть нецелесообразным, но вам не нужен указатель.

Одностороннее примечание: это не оптимизация, которая может перемещать bar вдали от ее расположения памяти за пределами такого заявления fixed. Это сборщик мусора, уплотняющий кучу, чтобы убедиться, что он больше не фрагментирован. Однако я бы не назвал это оптимизацией.