如何在C++结构体中正确初始化pthread_mutex_t互斥锁

你遇到的编译错误本质是违反了C++的类/结构体定义语法：
结构体/类的定义块内，只能写成员声明、静态成员初始化、类内默认成员初始值，不能直接写函数调用这类可执行语句。你将pthread_mutex_init(&bsem, NULL);直接写在成员列表中，编译器无法识别这行语句的语义，解析到&和NULL时自然会抛出标识符相关的语法错误。

最稳妥的修复方式是给结构体添加构造函数和析构函数，在对象生命周期的固定节点完成锁的初始化和销毁，修正后的代码如下：

#include <pthread.h>
#include <string>

struct arguments {
    std::string string1;
    std::string string2;
    pthread_mutex_t bsem;
    pthread_cond_t wait = PTHREAD_COND_INITIALIZER;
    int turn_index = 0;

    // 构造函数：对象实例化时自动调用，完成互斥锁初始化
    arguments() {
        pthread_mutex_init(&bsem, NULL);
    }

    // 析构函数：对象销毁时自动调用，释放锁资源避免泄漏
    ~arguments() {
        pthread_mutex_destroy(&bsem);
        pthread_cond_destroy(&wait);
    }
};

这种写法完全符合C++的RAII（资源获取即初始化）设计逻辑，优势非常明确：

• 不会遗漏初始化：只要你创建arguments类型的对象（不管是栈上、堆上还是作为其他对象的成员），构造函数都会自动执行，从根源上避免忘记手动初始化锁导致的未定义行为。
• 资源管理对称：构造拿资源、析构放资源，不需要在业务代码里零散写init/destroy逻辑，代码可维护性更高。
• 兼容性更强：如果你后续需要给互斥锁设置自定义属性（比如递归锁、进程间共享锁），只需要修改构造函数里pthread_mutex_init的第二个参数传入属性对象即可，不需要改动其他业务代码。

你现在代码里给条件变量写的pthread_cond_t wait = PTHREAD_COND_INITIALIZER;之所以合法，是因为PTHREAD_COND_INITIALIZER是pthread库定义的静态初始化宏，属于编译期可确定的常量值，符合类内默认初始化的语法要求，但这种静态初始化方式的灵活性远不如构造函数内动态初始化。

确实存在不需要自定义构造函数的初始化方式，但都有明确的适用限制：

1. 用静态初始化宏做类内默认初始化
   和你初始化条件变量的写法完全一致，直接用PTHREAD_MUTEX_INITIALIZER给互斥锁赋默认值即可：

   struct arguments {
       std::string string1;
       std::string string2;
       pthread_mutex_t bsem = PTHREAD_MUTEX_INITIALIZER;
       pthread_cond_t wait = PTHREAD_COND_INITIALIZER;
       int turn_index = 0;
   };
   

   限制说明：这种方式仅支持默认属性的互斥锁，无法自定义锁属性；且要求编译器支持C++11及以上版本的类内成员默认初始化特性。另外注意，这种静态初始化方式初始化的互斥锁，不需要手动调用pthread_mutex_destroy也不会有资源泄漏，但为了代码一致性还是建议统一销毁逻辑。
2. 创建对象后手动初始化
   每次实例化arguments对象后，单独调用初始化函数：

   arguments arg;
   pthread_mutex_init(&arg.bsem, NULL);
   // 业务逻辑执行
   pthread_mutex_destroy(&arg.bsem);
   

   限制说明：这种方式完全不推荐，一旦遗漏初始化或者销毁步骤，会直接触发死锁、内存泄漏等极难排查的问题，仅适合临时写测试demo的场景。

额外提示：如果你的开发环境支持C++11及以上版本，优先使用标准库提供的std::mutex、std::condition_variable，不需要手动调用init/destroy接口，标准库已经通过RAII机制做好了生命周期管理，出错概率低很多。

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