Windows下C语言逻辑仿真软件运行时组件创建及hot-reload方案咨询

一、动态链接库（DLL）方案（Windows平台） #

动态链接库是Windows下实现运行时扩展的标准方案，核心思路是把每个组件的逻辑封装成独立的DLL文件，主程序在运行时加载、调用这些DLL，无需提前编译到主程序中。

1. 定义统一组件接口 #

首先在主程序中定义所有组件必须遵循的通用接口结构体，确保主程序能以一致的方式调用不同组件：

// 通用逻辑组件接口
typedef struct {
    int input_count;          // 输入端口数量
    int output_count;         // 输出端口数量
    void* state;              // 组件内部状态指针（由具体组件分配）
    // 计算逻辑：输入数组、输出数组、内部状态
    void (*compute)(const bool* inputs, bool* outputs, void* state);
    // 初始化内部状态
    void (*init_state)(void** state);
    // 销毁内部状态（释放内存）
    void (*destroy_state)(void* state);
} LogicComponent;

2. 编写组件DLL #

用户创建新组件时，只需编写符合上述接口的DLL。比如实现一个XOR门：

#include <stdbool.h>

// XOR门无内部状态，定义空结构体
typedef struct {} XORState;

// 实现计算逻辑
void XORCompute(const bool* inputs, bool* outputs, void* state) {
    outputs[0] = inputs[0] ^ inputs[1];
}

// 初始化状态（无状态，直接设为NULL）
void XORInitState(void** state) {
    *state = NULL;
}

// 销毁状态（无操作）
void XORDestroyState(void* state) {}

// 导出组件实例，供主程序获取
__declspec(dllexport) LogicComponent XORComponent = {
    .input_count = 2,
    .output_count = 1,
    .compute = XORCompute,
    .init_state = XORInitState,
    .destroy_state = XORDestroyState
};

编译这段代码生成XOR.dll即可。

3. 主程序加载/卸载DLL #

使用Windows API实现DLL的动态加载与调用：

#include <windows.h>
#include <stdbool.h>

// 加载组件DLL并初始化
LogicComponent* LoadComponent(const char* dll_path, HMODULE* out_dll_handle) {
    *out_dll_handle = LoadLibraryA(dll_path);
    if (!*out_dll_handle) return NULL;

    // 获取DLL中导出的组件实例
    LogicComponent* comp = (LogicComponent*)GetProcAddress(*out_dll_handle, "XORComponent");
    if (!comp) {
        FreeLibrary(*out_dll_handle);
        return NULL;
    }

    // 初始化组件状态
    comp->init_state(&comp->state);
    return comp;
}

// 使用组件计算
void RunComponent(LogicComponent* comp, const bool* inputs, bool* outputs) {
    comp->compute(inputs, outputs, comp->state);
}

// 卸载组件并释放资源
void UnloadComponent(LogicComponent* comp, HMODULE dll_handle) {
    comp->destroy_state(comp->state);
    FreeLibrary(dll_handle);
}

二、运行时热重载实现 #

热重载本质是在程序运行时替换更新后的组件逻辑，基于DLL方案可以轻松实现：

• 监控文件变化：定时调用GetFileAttributesEx检查组件DLL的修改时间，判断是否有更新。
• 平滑切换组件：
  1. 暂停对旧组件的调用，确保没有线程正在使用它。
  2. 调用destroy_state销毁旧组件的内部状态，调用FreeLibrary卸载旧DLL。
  3. 重新调用LoadComponent加载新的DLL文件，初始化新组件的状态。
  4. 将主程序中的组件指针替换为新实例，恢复调用。

注意：如果组件有持久化的内部状态，需要额外实现状态的序列化/反序列化逻辑，把旧状态的数据迁移到新组件中。

三、替代方案：嵌入脚本引擎 #

自己实现C编译器子集成本极高，更轻量的选择是嵌入Lua、Python等脚本引擎，让用户用脚本编写组件逻辑：

1. 主程序初始化脚本虚拟机，暴露组件输入输出的交互接口。
2. 用户编写脚本定义组件，比如Lua版本的XOR门：

xor_component = {
    input_count = 2,
    output_count = 1,
    compute = function(inputs)
        return {inputs[1] ~= inputs[2]}
    end,
    init_state = function() return nil end,
    destroy_state = function(state) end
}

3. 主程序从脚本中读取组件定义，在需要计算时直接调用脚本的compute函数。

这种方案无需处理C编译、链接的复杂流程，脚本本身支持动态修改，重新加载脚本即可实现热重载，开发和使用成本都更低。

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