为何std::mutex无法constexpr构造？VS2022报错解析

在Microsoft Visual Studio Community 2022中编译以下代码时，会触发「Initialization is not constant」错误：

#include <mutex>

int main()
{
    constexpr static std::mutex my_mooootex;
}

疑问解答 #

你提到的「std::mutex拥有constexpr构造函数」没错——C++20标准确实给std::mutex的默认构造函数加上了constexpr修饰，但这并不代表它能被用来初始化静态constexpr对象，核心原因有两点：

• 语义冲突：std::mutex是用于线程同步的原语，内部需要维护可修改的运行时状态（比如操作系统层面的互斥量句柄），而静态constexpr对象会被放在只读数据段，无法支持运行时的状态修改，这违背了mutex的设计初衷。
• 标准限制：C++标准明确规定，constexpr构造的std::mutex只能是线程局部对象（thread_local）或者在常量表达式中作为临时对象使用，不允许作为静态constexpr对象存在。

正确用法示例 #

如果需要静态的mutex，直接去掉constexpr即可：

#include <mutex>

int main()
{
    static std::mutex my_mooootex;
}

如果是想在常量表达式场景下使用mutex（这类场景极少），可以构造临时对象：

#include <mutex>

constexpr bool check_mutex() {
    std::mutex temp_mutex;
    return true;
}

constexpr bool result = check_mutex(); // 编译期可通过

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