C# 呼叫 Haskell 發生 AccessViolationException：問題重現與程式碼分析

問題重現環境

• Haskell：GHC 7.6.3, Pandoc 庫
• C 封裝層：提供 DLL 匯出進入點
• C#：.NET Framework, DllImport 呼叫

Haskell 核心代碼

-- LibPandoc.hs
module LibPandoc where

import Text.Pandoc
import Foreign.C.String
import Foreign.Ptr

foreign export ccall markdownToHtml :: CString -> IO CString

markdownToHtml :: CString -> IO CString
markdownToHtml cstr = do
    md <- peekCString cstr
    -- Pandoc 處理 Markdown -> HTML
    html <- runIOorThrow $ do
        doc <- readMarkdown def md
        writeHtmlString def doc
    newCString html  -- 關鍵：配置新字串並回傳指標

C 封裝層 (pandoc.c)

#include 
#include 

extern void __stginit_LibPandoc(void);

BOOL STDCALL DllMain(HANDLE hModule, DWORD reason, void* reserved)
{
    static char* args[] = {"libpandoc", NULL};
    if (reason == DLL_PROCESS_ATTACH)
    {
        startupHaskell(1, args, __stginit_LibPandoc);
    }
    return TRUE;
}

GHC 產生的 Stub Header

#include "HsFFI.h"
#ifdef __cplusplus
extern "C" {
#endif
extern HsPtr markdownToHtml(HsPtr a1);
#ifdef __cplusplus
}
#endif

C# 呼叫代碼

class Native
{
    [DllImport("libpandoc", CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Unicode)]
    public static extern IntPtr markdownToHtml(byte[] markdown);
}

public class Processor
{
    public string Process(string text)
    {
        var intPtr = Native.markdownToHtml(Encoding.UTF8.GetBytes(text));
        var html = Marshal.PtrToStringAnsi(intPtr); // 疑點：CharSet.Unicode vs Ansi
        return html;
    }
}

錯誤現象

System.AccessViolationException: Attempted to read or write protected memory.
This is often an indication that other memory is corrupt.

關鍵疑點分析

後續解決方向（見 10725 完整解決）

1. 修正 CharSet：C# 改 CharSet.Ansi 或 Haskell 改用 CWString (UTF-16)
2. 匯出釋放函式：foreign export ccall freeHaskellString :: CString -> IO ()
3. 升級 GHC 至 9.x，重新編譯
4. 遷移至 Windows Server 2012+ 或 Linux 容器
5. 改用進程隔離：C# 呼叫 pandoc CLI 或 HTTP 微服務

此為問題重現與程式碼分析記錄，完整解決過程請參考「C# 呼叫 Haskell 遭遇嘗試讀取或寫入受保護的記憶體：竟是 Windows Server 2008 的坑」。