在模板函数中包装 std::format 无法使用最新的 MSVC 编译器更新进行编译

我有点困惑为什么这段代码突然停止编译：https://godbolt.org/z/hhM5GG78x

但如果我将编译器改回 v19.31，它将编译：https://godbolt.org/z/11j8WbEzG

这是有问题的代码：

#include <format>
#include <string>

template <typename... Args>
void FormatString(const std::string_view& fmt_str, Args&&... args)
{
    puts(std::format(fmt_str, args...).c_str());
}

int main()
{
    FormatString("This is a {}.\n", "test");
    return 0;
}

这是我收到的错误消息：

<source>(7): error C7595: 'std::_Basic_format_string<char,const char (&)[5]>::_Basic_format_string': call to immediate function is not a constant expression
<source>(7): note: failure was caused by a read of a variable outside its lifetime
<source>(7): note: see usage of 'fmt_str'
<source>(12): note: see reference to function template instantiation 'void FormatString<const char(&)[5]>(const std::string_view &,const char (&)[5])' being compiled

它抱怨 fmt_str 在其生命周期之外使用。我不明白这是怎么回事？

第一个参数std::format必须在编译时知道，因为格式字符串被指定为只能构造为常量表达式。目的是保证无效格式字符串的编译时错误。

fmt_str是一个函数参数，因此它的值永远不是编译时常量。

您可以使用std::vformat相反，但它不会对格式字符串执行编译时检查，而是将其延迟到运行时（抛出std::format_error错误时）：

puts(std::vformat(fmt_str, std::make_format_args(args...)).c_str());

如果你不需要fmt_str为了与运行时相关，您可以将其作为模板参数传递。不幸的是，目前这还不是那么简单，因为std::string and std::string_view不能用于此目的，并且字符串文字不能直接通过const char*非类型模板参数。

因此，您可能希望创建自己的结构固定长度字符串类型，该类型可以用作非类型模板参数，例如这是该用例的一个非常小的版本，您可能希望根据您的需求进行扩展：

template<std::size_t N>
struct fixed_string {
    char str[N];
    constexpr fixed_string(const char (&str_)[N]) noexcept {
        std::ranges::copy(str_, str);
    }
};

template <fixed_string fmt_str, typename... Args>
void FormatString(Args&&... args)
{
    puts(std::format(fmt_str.str, args...).c_str());
}

int main()
{
    FormatString<"This is a {}.\n">("test");
    return 0;
}

我假设 MSVC 还没有实现第一个参数的要求std::format在以前的版本中可以构造为常量表达式。

该要求是在 C++20 之后为 C++23 添加的，但如果理解正确，也可以作为缺陷报告追溯适用于 C++20，按照论文中列出的投票进行here其中包含相关更改。