Блог

Я пишу класс, который извлекает двоичные данные и поддерживает общее преобразование их в примитивные типы. Предполагается, что это должно быть максимально эффективно. Вот как это выглядит прямо сейчас:

 public abstract class MemorySource {
    public abstract Span<byte> ReadBytes(ulong address, int count);

    public unsafe bool TryRead<T>(ulong address, out T result) where T : unmanaged {
        Span<byte> buffer = ReadBytes(address, sizeof(T));
        result = defau<
        // If the above line is commented, `result = ref <...>` won't compile, showing CS0177.
        if (!buffer.IsEmpty) {
            result = ref Unsafe.As<byte, T>(ref buffer.GetPinnableReference());
            return true;
        } else
            return false;
    }
}
 

Так как я работаю с большим объемом памяти, и мой код будет выполнять множество небольших операций чтения. Я хочу свести к минимуму количество раз, когда память копируется.

ReadBytes Реализация либо а) создаст промежуток между частью уже существующего массива в куче, либо б) stackalloc создаст буфер и заполнит его данными из удаленного источника (в зависимости от данных, с которыми я буду работать). Дело в том, что он сам по себе ничего не будет выделять в куче.

Я хочу, чтобы мой TryRead<T> метод возвращал типизированную ссылку на память span, а не копировал эту память в новое значение, и я хочу знать, возможно ли это. Я заметил, что не могу присвоить ref значение out аргументу без его инициализации, но я могу это сделать после, что имеет мало смысла, если предположить, что я назначаю ссылку.

Я предполагаю, что я спрашиваю, что на самом деле происходит в этом коде? Возвращаю ли я ссылку на существующее значение или это значение копируется в новое, выделенное стеком? И как будет отличаться поведение с распределенными по стеку и распределенными по куче промежутками? Будет ли GC знать, чтобы обновить ссылку типа T при перемещении данных в случае использования выделенного для кучи промежутка?

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

Вы не можете использовать stackalloc этот код, потому что вы не можете (или не должны пытаться) возвращать указатель на него, так как он будет уничтожен в конце функции.

Код, который у вас есть до сих пор, опасен, потому что вы возвращаете доступную ссылку, которая на самом деле не закреплена.

Причина, по которой у вас возникли проблемы с ref параметром, заключается в том, что else вы его вообще не назначаете. Вы должны переместить result = defau< линию в else ответвление.

В любом случае, вам гораздо лучше использовать MemoryMarshal все это, обратите внимание, что для этого не требуется небезопасный код

 public bool TryRead<T>(ulong address, out T result) where T : unmanaged
{
    ReadOnlySpan<byte> buffer = ReadBytes(address, sizeof(T));
    if (!buffer.IsEmpty)
    {
        result = MemoryMarshal.Read<T>(buffer);
        return true;
    }
    result = defau<
    return false;
}