Что такое Marshalling?

Что такое Marshalling в контексте Unity и C#?

Marshalling (маршалинг, или маршализация) — это процесс преобразования и передачи данных между управляемой (managed) и неуправляемой (unmanaged) средами исполнения. В Unity это фундаментальная концепция при взаимодействии с нативным кодом, системными API, внешними библиотеками или движком Unity, написанным на C++.

Основная цель и контекст использования

В Unity разработка ведётся преимущественно на C# (управляемый код, работающий под управлением .NET/Mono), но сам движок Unity, графические API (OpenGL, DirectX), операционная система и многие плагины написаны на C/C++ (неуправляемый код). Marshalling обеспечивает "мост" между этими мирами, позволяя:

• Вызывать функции нативных плагинов (Native Plugins).
• Работать с системными вызовами ОС (Windows API, POSIX).
• Эффективно взаимодействовать с низкоуровневыми компонентами движка.

Ключевые аспекты Marshalling в Unity

1. Преобразование типов данных

Это самая важная часть. Marshalling автоматически или вручную конвертирует управляемые типы C# в их неуправляемые эквиваленты и наоборот.

using System.Runtime.InteropServices;

// Пример объявления нативной функции, принимающей строку
[DllImport("User32.dll", CharSet = CharSet.Unicode)]
public static extern int MessageBox(IntPtr hWnd, string text, string caption, uint type);

Здесь строковый параметр text автоматически маршалируется из управляемой строки .NET (string) в указатель на null-terminated широкую строку (wchar_t* для CharSet.Unicode).

2. Управление памятью

• Управляемая память: контролируется сборщиком мусора (GC), который может перемещать объекты.
• Неуправляемая память: выделяется вручную (например, через malloc()), имеет фиксированное расположение.

Marshalling должен обеспечить, чтобы указатели, передаваемые в нативный код, оставались валидными на протяжении всего вызова. Для этого часто используется закрепление (pinning) объекта в памяти.

[DllImport("MyNativeLib")]
public static extern void ProcessData(IntPtr data, int length);

void CallNativeFunction()
{
    byte[] managedArray = new byte[1024];
    // Закрепляем массив в памяти, чтобы GC его не переместил
    GCHandle handle = GCHandle.Alloc(managedArray, GCHandleType.Pinned);
    try
    {
        IntPtr pointer = handle.AddrOfPinnedObject();
        ProcessData(pointer, managedArray.Length);
    }
    finally
    {
        handle.Free(); // Освобождаем закрепление
    }
}

3. Расположение данных в памяти (Layout)

Для структур, передаваемых в нативный код, критически важно контроль расположения полей в памяти. Используются атрибуты [StructLayout(LayoutKind.Sequential)] и [MarshalAs].

[StructLayout(LayoutKind.Sequential)]
public struct MyData
{
    public int Id;
    [MarshalAs(UnmanagedType.ByValTStr, SizeConst = 128)]
    public string Name; // Будет представлен как массив char фиксированного размера
    public float Value;
}

Типы Marshalling в Unity

• Blittable-типы: Типы, имеющие идентичное представление в управляемой и неуправляемой памяти (например, int, float, byte). Они копируются наиболее эффективно.
• Non-Blittable-типы: Требуют преобразования (например, string, bool, class). Для них процесс сложнее и может включать аллокацию временной памяти.

Сценарии применения в Unity

1. Нативные плагины: Использование .dll (Windows), .so (Linux), .bundle (macOS) для высокопроизводительных вычислений или доступа к уникальным функциям ОС.
2. P/Invoke (Platform Invoke): Вызов функций стандартных системных библиотек.
3. Interop с движком Unity: Некоторые низкоуровневые API Unity сами требуют маршалинга данных.
4. Работа с массивами больших данных: Например, передача массивов вершин или текстурных данных в нативный код для обработки.

Проблемы и лучшие практики

• Производительность: Маршалинг, особенно для сложных структур или больших данных, может быть затратной операцией. Следует минимизировать переходы между средами.
• Безопасность: Неправильный маршалинг может привести к повреждению памяти, утечкам и нестабильности приложения.
• Совместимость: Необходимо точно согласовывать выравнивание данных (packing), порядок байт (endianness) и строковые кодировки.

Пример комплексного использования

using System;
using System.Runtime.InteropServices;
using UnityEngine;

public class NativeAudioProcessor : MonoBehaviour
{
    [DllImport("AudioPlugin")]
    private static extern IntPtr CreateProcessor(int sampleRate);

    [DllImport("AudioPlugin")]
    private static extern void ProcessSamples(IntPtr processor, [In, Out] float[] samples, int count);

    [DllImport("AudioPlugin")]
    private static extern void DestroyProcessor(IntPtr processor);

    private IntPtr _nativeProcessor;
    private float[] _audioBuffer;

    void Start()
    {
        _nativeProcessor = CreateProcessor(48000);
        _audioBuffer = new float[1024];
    }

    void OnAudioFilterRead(float[] data, int channels)
    {
        // Маршалинг массива samples в нативный код для обработки
        ProcessSamples(_nativeProcessor, data, data.Length);
    }

    void OnDestroy()
    {
        if (_nativeProcessor != IntPtr.Zero)
        {
            DestroyProcessor(_nativeProcessor);
        }
    }
}

Заключение

Marshalling — это неотъемлемая часть разработки в Unity, когда требуется выйти за пределы управляемой среды C# для достижения максимальной производительности, использования специфичных возможностей платформы или интеграции с существующим нативным кодом. Понимание его механизмов позволяет избежать частых ошибок, связанных с памятью и межъязыковым взаимодействием, и писать стабильные, эффективные кросс-платформенные приложения. В современном Unity многие аспекты маршалинга абстрагированы через высокоуровневые API (такие как NativeArray, Marshal класс, unsafe контекст), но глубокое понимание процесса остаётся важным навыком для профессионального разработчика.