更新VS后std::format传入std::string格式串触发C7595错误

架构老林

2026-8-28

问题产生原因

更新后的Visual Studio搭载的MSVC标准库实现，严格对齐了C++20标准对std::format的规范要求：std::format的第一个格式字符串参数必须是编译期可求值的常量表达式。
标准库为std::format的第一个参数定义了std::format_string类型，它的构造函数带consteval属性（即必须在编译阶段执行完成），会在编译时校验格式串的占位符数量、类型和后续传入的参数是否匹配，从根源避免运行时格式错误。

旧版本Visual Studio的STL实现没有严格执行该常量表达式约束，允许传入运行时的std::string作为格式串，因此代码可以正常编译。
你当前代码里把格式串定义为std::string类型的函数形参，std::string是运行时动态管理内存的对象，无法在编译期求值，传入后无法满足consteval构造函数的常量表达式要求，就会触发C7595错误。
直接传入字符串字面量时，字面量本身是编译期常量，可以被consteval构造函数正常处理，因此编译不会报错。

修复方案

根据实际业务场景选以下方案即可：

方案1（推荐，符合标准规范）：如果不需要支持运行时动态生成的格式串，把构造函数的格式串形参类型改为对应类型的std::format_string，保留原有默认参数即可，既保留自定义格式串的能力，也不会丢失编译期格式校验的安全特性。修改后的代码示例：

#include <chrono>
#include <format>
#include <string>

struct TimeFormat
{
public:
    TimeFormat(
        std::chrono::system_clock::time_point timePoint,
        // 显式指定格式串对应的参数类型，默认参数保留原字面量
        std::format_string<std::chrono::local_time<std::chrono::system_clock::duration>> format = "{:%Y-%m-%d %X}"
    )
    {
        currentTimePoint = timePoint;
        timeStr = std::format(format, std::chrono::current_zone()->to_local(currentTimePoint));
    }
private:
    std::chrono::system_clock::time_point currentTimePoint;
    std::string timeStr;
};

方案2（适配动态格式串场景）：如果确实需要传入运行时生成的格式串（比如从配置读取、用户输入的格式规则），将std::format替换为std::vformat，该函数原生支持运行时格式串，通过std::make_format_args打包传入参数即可。对应修改代码：

// 形参仍然保留std::string类型即可
timeStr = std::vformat(
    format, 
    std::make_format_args(std::chrono::current_zone()->to_local(currentTimePoint))
);

注意该方案下格式串的合法性校验会转移到运行时，若格式串与参数不匹配会抛出运行时异常，没有编译期校验的安全保障。

方案3（不推荐）：可以通过定义宏_DISABLE_CONSTEXPR_STD_FORMAT_CHECKS关闭MSVC STL的格式串常量表达式校验，临时绕过编译错误，但这种方式会丢失编译期安全检查，且属于编译器特定的非标准实现，后续升级编译器、跨编译器编译时仍可能出现兼容问题。

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