будет ли это поведение действительным в С#
public class MyClass
{
private byte[] data;
public MyClass()
{
this.data = new byte[1024];
}
public unsafe byte* getData()
{
byte* result = null;
fixed (byte* dataPtr = data)
{
result = dataPtr;
}
return result;
}
}
Если вы собираетесь отключить систему безопасности, то вы несете ответственность за обеспечение безопасности памяти программы. Как только вы это сделаете, вы должны сделать все безопасно, без помощи системы безопасности. Вот что значит "небезопасно".
Как ясно сказано в спецификации С#:
адрес подвижной переменной можно получить только с помощью фиксированного оператора, и этот адрес остается действительным только в течение этого фиксированного оператора.
Вы получаете адрес перемещаемой переменной, а затем используете его по истечении срока действия фиксированного оператора, поэтому адрес больше не является действительным. Поэтому от вас требуется не делать именно то, что вы делаете.
Вы не должны писать какой-либо небезопасный код, пока у вас не будет полного и глубокого понимания правил, которым вы должны следовать. Начните с прочтения всей главы 18 спецификации.
Этот код прекрасно скомпилируется, однако это приведет к проблемам во время выполнения. Код, по сути, выводит указатель на незафиксированный объект в куче. Следующий GC, который перемещает тип MyClass, также перемещает ссылку data вместе с ним, и любые ранее возвращенные значения из getData теперь будут указывать на неправильное местоположение.
var obj = new MyClass();
unsafe byte* pValue = obj.getData();
// Assuming no GC has happened (bad assumption) then this works fine
*pValue = 42;
// Assume a GC has now happened and `obj` moved around in the heap. The
// following code is now over writing memory it simply doesn't own
*pValue = 42;
Эта последняя строка вызвала сбой приложения, перезаписала значение string в другом типе или просто вставила значение в неинициализированный массив и просто испортила математическую задачу в другом месте? У тебя нет идей. Лучший результат в том, что код просто быстро дает сбой, но, скорее всего, он сделает что-то гораздо более тонкое и злое.
Вы можете использовать метод Marshal.StructureToPtr() вместо небезопасной магии :)
StructureToPtrкопирует содержимое структуры в предварительно выделенный блок памяти, на который указывает параметр ptr.
Метод Marshal.StructureToPtr (Object, IntPtr, Boolean)
Этот код не будет работать (он скомпилируется, но во время выполнения вызовет проблемы). После окончания фиксированного региона данные больше не закрепляются.
Нет, как только вы покинете блок fixed, значение result больше не будет действительным (оно может случайно оказаться действительным, если GC не запущен).
Правильный способ выполнения такого рода операций — либо иметь ссылку на byte[] в неуправляемой памяти, к которой вы обращаетесь через код C#, либо копировать управляемый массив в неуправляемую память.
this может свободно перемещаться по куче GC, даже если он в настоящее время находится в небезопасном блоке. Только fixed блок/ссылка предотвратит перемещение внутри кучи.
- person JaredPar; 09.04.2012
