C# unsafe 不安全代碼入門：指標運算、fixed 關鍵字、編譯選項與實戰範例

為什麼需要 unsafe？

.NET 預設型別安全，禁止指標運算。但在高效能影像處理、互通非託管 DLL、記憶體映射檔等場景，指標能避免陣列邊界檢查、減少複製、直接操作記憶體，效能提升數倍。

基本語法

// 專案屬性 → Build → Allow unsafe code
// 或 csc /unsafe Program.cs

unsafe static void DoubleValue(int* p) => *p *= 2;

unsafe static void Main()
{
    int val = 5;
    DoubleValue(&val);
    Console.WriteLine(val); // 10
}

核心關鍵字

實戰：高效能灰階轉換

unsafe void ToGrayscale(byte[] rgb, int width, int height)
{
    fixed (byte* p = rgb)
    {
        byte* ptr = p;
        for (int i = 0; i < width * height; i++)
        {
            byte b = *ptr++; byte g = *ptr++; byte r = *ptr++;
            byte gray = (byte)(0.299 * r + 0.587 * g + 0.114 * b);
            ptr[-3] = ptr[-2] = ptr[-1] = gray; // 回寫
        }
    }
}

進階：Span<T> 替代 unsafe（.NET Core 2.1+）

// 同樣零邊界檢查、可指標運算，但型別安全、無需 unsafe 區塊
void ToGrayscaleSafe(Span rgb, int width, int height)
{
    for (int i = 0; i < width * height; i++)
    {
        int offset = i * 3;
        byte gray = (byte)(0.299 * rgb[offset+2] + 0.587 * rgb[offset+1] + 0.114 * rgb[offset]);
        rgb[offset] = rgb[offset+1] = rgb[offset+2] = gray;
    }
}
// 呼叫端：ToGrayscaleSafe(rgbArray.AsSpan(), w, h);

⚠️ 風險與最佳實踐

1. 記憶體安全：指標越界、釘住過久導致 GC 壓力、stackalloc 爆堆疊。
2. 除錯困難：Visual Studio 對 unsafe 區塊支援有限，建議封裝於獨立方法並加單元測試。
3. 優先使用 Span/Memory：現代 .NET 提供安全的高效能替代方案，僅在互通非託管 API、極致效能調優時才用 unsafe。
4. 簽署組件：unsafe 組件需完整信任，無法在沙箱環境（如舊版 Silverlight、部分雲函數）執行。