为什么std::mutex被规定为标准布局(standard-layout)类？

根据C++标准[thread.mutex.class]/3条款规定，std::mutex属于标准布局类。设定这一要求的核心原因可归纳为以下几点：

• C语言互操作需求：主流操作系统的原生互斥量API（比如POSIX的pthread_mutex_t、Windows的CRITICAL_SECTION）都是C语言类型，标准布局的要求保证std::mutex可以直接封装原生C互斥量类型，不需要额外调整内存布局，能够直接在C/C++混合编写的项目中传递使用，部分场景下甚至可以在C代码侧直接访问其封装的原生句柄。
• 跨编译环境ABI兼容：标准布局的内存排布规则由C++标准明确定义，不受编译器特定实现策略的影响，保证不同版本、不同厂商编译器编译的代码交互时，std::mutex的内存布局完全一致，避免跨模块调用时出现不兼容问题。
• 低开销与特殊场景支持：标准布局类支持常量初始化，使得静态存储期的std::mutex可以规避静态初始化顺序问题，不需要运行时构造开销，也无需额外的保护逻辑；同时明确的布局规则也方便标准库实现做底层性能优化，减少不必要的内存开销和访问损耗。
• 对齐业界既有实现惯例：在C++11正式将互斥量纳入标准之前，业界已经存在大量第三方线程库的互斥量实现，普遍采用标准布局类封装原生系统句柄，标准设定这一要求只是对齐了已经经过广泛验证的工业实现惯例，大幅降低标准库的实现成本。

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