win编程中子线程和​​主线程释放内存的规则

书籍：《Visual C++ 2017从入门到精通》的2.3.8 Win32控件编程

环境：visual studio 2022

1. 内存分配与释放的匹配性​​

• ​​谁分配谁释放​​：
  每个内存块必须由分配它的线程释放，避免跨线程释放未分配或已释放的内存。例如：

  • ​​主线程分配​​：若主线程通过 HeapAlloc 分配内存并传递给子线程，子线程需调用 HeapFree 释放。
  • ​​子线程分配​​：子线程自行分配的内存（如局部变量或动态分配）必须由子线程自身释放，否则会导致内存泄漏。

• ​​例外情况​​：
  若主线程需回收子线程内存，需通过同步机制（如事件或互斥量）确保释放顺序，避免竞争条件。

---

​​2. 线程同步与资源回收​​

• ​​主线程等待子线程结束​​：
  使用 WaitForSingleObject 或 WaitForMultipleObjects 确保子线程完成后再释放共享资源。

  for (int i = 0; i < MAX_THREADS; i++) {
      WaitForSingleObject(hThread[i], INFINITE); // 等待子线程结束
      CloseHandle(hThread[i]); // 关闭线程句柄
  }

• ​​自动释放机制​​：
  创建线程时设置 dwCreationFlags 为 CREATE_SUSPENDED，并在子线程函数内调用 ExitThread，系统会自动回收线程栈空间。

---

​​3. 异常处理与资源保护​​

• ​​捕获线程异常​​：
  子线程中需使用 try-except 块捕获异常，确保即使异常退出也能释放内存。

  DWORD WINAPI ThreadProc(LPVOID lpParam) {
      __try {
          // 业务逻辑...
      }
      __except (EXCEPTION_EXECUTE_HANDLER) {
          // 清理资源...
      }
      return 0;
  }

• ​​清理函数注册​​：
  使用 pthread_cleanup_push/pthread_cleanup_pop（POSIX线程）或类似机制注册清理函数，确保线程退出时自动释放内存。

---

​​4. 内存泄漏预防​​

• ​​智能指针管理​​：
  在支持 C++11 的环境中，使用 std::unique_ptr 或 std::shared_ptr 自动管理堆内存，避免手动释放遗漏。

  auto pData = std::make_unique<MYDATA>();
  // 无需手动调用 HeapFree，智能指针自动释放

• ​​堆内存跟踪​​：
  使用工具（如 Application Verifier）检测未释放的堆块，尤其关注多线程环境下的竞争条件。

---

​​5. 线程终止与资源回收​​

• ​​自然退出优先​​：
  子线程应通过 return 或 ExitThread 正常退出，避免使用 TerminateThread 强制终止（可能导致内存泄漏）。

• ​​句柄与内存同步释放​​：
  子线程退出前需关闭其持有的句柄（如文件、互斥量），并释放分配的内存。主线程需等待所有子线程完成后，再释放全局资源。

---

​​6. 多线程环境下的特殊规则​​

• ​​堆的序列化访问​​：
  若多个线程共享同一堆（如默认堆 GetProcessHeap），需通过临界区（CRITICAL_SECTION）或互斥量（Mutex）同步访问，防止堆损坏。

  CRITICAL_SECTION cs;
  InitializeCriticalSection(&cs);
  EnterCriticalSection(&cs);
  HeapFree(GetProcessHeap(), 0, pData);
  LeaveCriticalSection(&cs);

• ​​线程局部存储（TLS）​​：
  使用 TlsAlloc/TlsSetValue 为每个线程分配独立内存，避免共享数据竞争。

---

​​7. 性能优化建议​​

• ​​线程池替代手动创建​​：
  使用 ThreadPool API 或 Task Parallel Library 管理线程，减少线程创建/销毁开销，自动复用线程资源。

• ​​内存池预分配​​：
  高频分配场景下，预先分配内存池（如 HeapCreate 创建私有堆），减少动态分配次数。

---

​​总结​​

• ​​核心原则​​：分配与释放责任明确，线程同步保障安全，异常处理防止泄漏。
• ​​推荐实践​​：结合智能指针、同步原语和线程池，简化内存管理并提升性能。
• ​​风险规避​​：避免跨线程释放内存、强制终止线程及忽略异常处理。