修改Skia导出符号后内存崩溃，疑因跨动态链接库调用？

问题背景 #

操作系统：Windows 11
为使用Skia的IR模块，我给原本隐藏的函数/类添加了SK_API（会被定义为__declspec(dllexport)/__declspec(dllimport)）导出符号，将Skia编译为动态链接库（skia.dll）并链接到项目。除符号导出外未修改任何代码，但SkSL::Program类析构时程序崩溃，触发Windows CRT断言错误：

Microsoft Visual C++ Runtime Library
Debug Assertion Failed!
Program:...kernel fusion\cmake-build-debug-clang-vcpkg\bin\test skia.exe
File: minkernel\crts\ucrt\srclappcrtheapidebug heap.cpp
Line: 908
Expression: is_block_type_valid(header->_block_use)

崩溃调用栈指向ntdll.dll，无法直接追踪Skia内部逻辑。我推测是跨DLL内存管理问题，因此在Skia中实现了导出函数用于在skia.dll内部析构SkSL::Program，但问题仍未解决。

崩溃原因分析 #

这个断言错误本质是跨DLL内存分配/释放不匹配，结合Skia的内存池机制，核心原因有两点：

1. CRT堆上下文不统一：如果你的项目和skia.dll使用了不同的CRT配置（比如一个用Debug CRT、一个用Release；或一个用静态CRT、一个用动态CRT），每个模块会拥有独立的堆空间。即使在DLL内部调用析构函数，也会因为堆句柄不一致触发断言。
2. 类导出导致的隐式内存操作冲突：直接导出SkSL::Program类时，编译器会自动生成隐式的构造/析构/赋值运算符，这些函数可能绕过Skia的内存池机制，在外部CRT堆上进行内存操作，和Skia内部的池化分配逻辑产生冲突。另外，若导出的析构函数没有完整触发SkSL::Program内部内存池的释放逻辑，也会导致内存块状态异常。

修复方案 #

1. 统一CRT编译配置 #

• 确保项目和Skia都使用动态CRT库（编译选项/MD或/MDd），且Debug/Release模式完全匹配。静态CRT（/MT//MTd）会让每个DLL拥有独立堆，必然引发跨DLL内存问题。
• 确认两者的Windows SDK版本、编译器版本（如均为Clang或均为MSVC）完全一致，避免CRT实现差异。

2. 封装生命周期管理，禁止外部直接操作对象 #

不要直接导出SkSL::Program类，而是导出一组C风格封装API，完全在skia.dll内部管理对象的创建、使用和销毁：

// Skia导出头文件声明
SK_API void* SkSLProgram_Create(const char* skslSource);
SK_API void SkSLProgram_Destroy(void* program);
SK_API void SkSLProgram_Execute(void* program);

在skia.dll内部实现这些函数，确保所有内存操作都在同一DLL上下文完成：

void* SkSLProgram_Create(const char* skslSource) {
    // 内部使用Skia内存池创建Program对象
    return new SkSL::Program(/*构造参数*/);
}

void SkSLProgram_Destroy(void* program) {
    // 在DLL内部析构，确保内存池在对应堆释放
    delete static_cast<SkSL::Program*>(program);
}

这种方式彻底隔离外部代码与SkSL::Program的内存管理逻辑。

3. 显式禁用自动生成的类成员函数（若必须导出类） #

如果必须导出SkSL::Program类，需显式禁用编译器自动生成的构造、析构、赋值运算符，改为提供DLL内部实现的生命周期管理函数：

class SK_API SkSL::Program {
public:
    // 禁用自动生成的拷贝/移动函数
    Program(const Program&) = delete;
    Program& operator=(const Program&) = delete;
    Program(Program&&) = delete;
    Program& operator=(Program&&) = delete;

    // 静态创建函数，在DLL内部分配内存
    static Program* Create(/*构造参数*/);
    // 销毁函数，在DLL内部释放资源
    void Destroy();

private:
    // 私有构造/析构，强制通过Create/Destroy管理生命周期
    Program(/*构造参数*/);
    ~Program();
};

4. 验证Skia内存池配置 #

检查Skia编译选项，确保SK_DEBUG、SK_MEMORY_POOL等宏定义在项目和Skia中保持一致，避免内存池被错误配置为使用外部堆。同时确认IR模块的自定义分配器初始化、销毁逻辑都在skia.dll内部完成。

内容的提问来源于stack exchange，提问作者Luccas Chen