указатель арифметики и компилятор C#

Question

Для изучения я недавно посмотрел на существующую сборку (используя Reflector), которая использует Win32 WriteFile. Реализация:

Write(IntPtr handleFile, void* bufferData, uint length){ 
void* buffer = bufferData 
while (length > 0) 
{ 
    uint wrtn; 
    if (!WriteFile(handle, buffer, len, out wrtn, IntPtr.Zero)) 
    { 
    // Do some error handling 
    } 
    // This does not compile, because of the cast but also simply because void* does not have += operators (it is unknown size). 
    buffer += (void*)wrtn; 
    len -= wrtn; 
} 

}

Это на самом деле последние 2 строки, которые являются проблематичными ... Для одного, компилятор жалуется, что вы не можете бросить UINT аннулировать *. Кроме того, просто невозможно использовать + = или даже + на void *, потому что это не известный размер.

Write(IntPtr handleFile, void* bufferData, uint length){ 
    byte* buffer = (byte*)bufferData 
    while (length > 0) 
    { 
     uint wrtn; 
     if (!WriteFile(handle, (void*)buffer, len, out wrtn, IntPtr.Zero)) 
     { 
     // Do some error handling 
     } 
     // This works! I can add to a byte* 
     buffer = buffer + wrtn; // I could also have used buffer += wrtn 
     len -= wrtn; 
    } 
} 

Приведенный выше код работает, но до сих пор последние несколько строк будет компилировать:

buffer += (byte*)wrtn; 

Я не понимаю, почему и очень хотелось бы знать, почему компилятор ведет себя таким образом:

1. Почему он генерирует приведение как это (и почему это не принято делать это в написанном пользователем коде)?
2. Что происходит с операторами + = на void * в первом примере? Какой исходный кодовый код сгенерировал буфер + = (void *) wrtn, где буфер также недействителен * ????

Answer 1

Ну, для вашей второй точки, void * не имеет информации о размере, поэтому компилятор не знает, как увеличить приращение указателя. Должен ли он увеличиваться на sizeof (double)? Только с информацией о типе знает, чего ожидать.

Редактировать: На самом деле это относится и к вашей первой точке. Компилятору необходимо знать размер типа данных, который он увеличивает. Void * не имеет информации о размерах, поэтому, добавляя к байту *, вы даете компилятору понять, что ему нужно увеличивать указатель sizeof (byte) * wrtn.

Edit2: С разъяснением, похоже, вы спрашиваете, почему рефлектор излучает код как пустоту * вместо того, чтобы правильно лить тип (байт *). Скорее всего, это связано с тем, что информация о типе извлекается из типа параметра и несколько наивно используется в методе. Вероятно, это проблема с Reflector больше, чем у компилятора.

Также возможно, что этот код указателя теряет информацию о типе в IL, я еще не тестировал его, но он может не содержать информацию о наборе текста (помимо размера данных) в IL для рефлектора правильно emit (нормальный «безопасный» IL должен всегда иметь информацию этого типа). Если это было так, Reflector может по умолчанию иметь значение void * или ближайший предполагаемый тип.

Answer 2

Для целей обучения Недавно я смотрел на существующую сборку (с помощью рефлектора)

Единственная проблема здесь с помощью отражателя - видимо, это не так хорошо выводя оригинальный C# код из IL , Сам ИЛ является правильным и не имеет следов (ни один не нужен - в IL, вы нажимаете указатель и целочисленный аргумент в стеке и делаете add/subtract). Отражатель ошибочен.