何时需要调用pthread_mutex_destroy？使用场景及必要性问询

核心结论 #

• 用PTHREAD_MUTEX_INITIALIZER静态初始化（或复制该值初始化）的互斥锁，POSIX规范不强制要求调用pthread_mutex_destroy；但用pthread_mutex_init动态初始化的锁，必须调用销毁函数，否则会造成资源泄漏。
• 结合你的场景和助教的要求，即使是用PTHREAD_MUTEX_INITIALIZER赋值的堆上锁，建议还是调用销毁函数，避免检查不通过，同时保证代码的一致性。

详细说明 #

两种初始化方式的区别 #

1. 静态初始化（PTHREAD_MUTEX_INITIALIZER）
   这种方式是编译期完成的初始化，互斥锁的内部状态由宏直接初始化，不会分配额外的动态资源。规范允许这类锁不调用pthread_mutex_destroy，即使锁在堆内存中（比如你的哈希表里的锁）。但如果调用了销毁函数，只要锁处于未锁定状态且之后不再使用，也是安全的。

2. 动态初始化（pthread_mutex_init）
   调用这个函数初始化的锁，底层实现通常会分配动态资源（比如内核同步对象、额外的内存块）。如果不调用pthread_mutex_destroy，这些资源会一直占用，造成内存/资源泄漏，这也是助教强调要检查的点。

你的场景建议 #

你的代码中，哈希表在堆上分配，然后通过复制PTHREAD_MUTEX_INITIALIZER的值初始化每个锁，属于静态初始化的等价情况。但为了满足助教的内存泄漏检查要求，同时养成良好的编码习惯，建议在释放哈希表前，循环销毁每个锁：

void hash_table_destroy(struct hash_table *table) {
    if (!table) return;
    // 销毁每个细粒度锁（确保销毁前锁处于未锁定状态）
    for (size_t i = 0; i < HASH_TABLE_CAPACITY; ++i) {
        pthread_mutex_destroy(&table->fine_grain[i]);
    }
    free(table);
}

必须调用pthread_mutex_destroy的场景 #

• 所有通过pthread_mutex_init动态初始化的互斥锁；
• 互斥锁被重新调用pthread_mutex_init初始化之前，必须先销毁；
• 某些系统实现中，静态初始化的堆上锁不销毁可能会被内存泄漏检测工具误判（比如助教使用的检测工具）。

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