如何使用我自己的模板功能将std ::格式化（）包装？

Question

注意：此问题使用C ++ 20，我正在使用Visual Studio 2022（V17.2.2）。

我想创建一个模板功能包装器，以允许我使用std ::格式样式记录。包装器功能最终将执行其他一些与此相关的非格式功能，这些内容在这里并不重要。

请参阅下面的代码。请注意， log1（）效果很好，但使用笨拙。 log2（）还可以，但是使用 std :: vformat（）丢失对日志格式字符串的编译时间检查。

我真正想做的是 log3（）。问题是Visual Studio（V17.2.2）不喜欢这样。

有什么办法可以使它起作用（没有宏）？

#include <iostream>
#include <format>
#include <string_view>
 
// works fine:  usage is clunky
auto Log1(std::string_view sv)
{
    std::cout << sv;
}
 
// works, but fmt string is checked at runtime - not compile time
template<typename... Args>
auto Log2(std::string_view fmt, Args&&... args)
{
    std::cout << std::vformat(fmt, std::make_format_args(args...));
}
 
// this doesn't work
template<typename... Args>
auto Log3(std::string_view fmt, Args&&... args)
{
    std::cout << std::format(fmt, std::forward<Args>(args)...);
}
 
int main()
{
    Log1(std::format("Hello, {}\n", "world!")); // ok - clunky
    Log2("Hello, {}\n", "world!");              // ok - no compile time checking of fmt string
    Log2("Hello, {:s}\n", 42);                  // ok - throws at runtime
    Log3("Hello, {}\n", "world!");              // ERROR:  doesn't compile
    return 0;
}

Answer 1

您需要 std :: Basic-Format-rt;图表，Args ...＆gt; ，它允许您写作：

template<typename... Args>
auto Log3(std::format_string<Args...> fmt, Args&&... args)

---

直到那时，您只能是顽皮并使用MSVC实现的内部助手，并了解他们可以随时随地重命名此类类型。

template<typename... Args>
auto Log3(std::_Fmt_string<Args...> fmt, Args&&... args)