std:: make_format_args, std:: make_wformat_args

返回一个存储格式化参数数组的对象，该对象可隐式转换为 std::basic_format_args<Context> 。

如果对于 Args 中的任意 Ti ， typename Context :: template formatter_type < std:: remove_const_t < Ti >> 不满足 BasicFormatter 要求，则行为未定义。

如果对于 Args 中的任何类型 Ti ， Ti 不满足 __formattable_with < Context > ，则程序非良构。

参数

返回值

一个保存格式化参数的对象。

对于每个类型为 T 的参数 t ，令 TD 为 std:: remove_const_t < std:: remove_reference_t < T >> 。结果中对应的 std::basic_format_arg 按以下方式确定：

• 若 TD 为 bool 或 Context::char_type ，则 std::basic_format_arg 存储 t ；
• 否则，若 TD 为 char 且 Context::char_type 为 wchar_t ，则 std::basic_format_arg 存储 static_cast < wchar_t > ( static_cast < unsigned char > ( t ) ) ；
• 否则，若 TD 为有符号整数类型且其大小不大于 int ，则 std::basic_format_arg 存储 static_cast < int > ( t ) ；
• 否则，若 TD 为无符号整数类型且其大小不大于 unsigned int ，则 std::basic_format_arg 存储 static_cast < unsigned int > ( t ) ；
• 否则，若 TD 为有符号整数类型且其大小不大于 long long ，则 std::basic_format_arg 存储 static_cast < long long > ( t ) ；
• 否则，若 TD 为无符号整数类型且其大小不大于 unsigned long long ，则 std::basic_format_arg 存储 static_cast < unsigned long long > ( t ) ；
• 否则，若 TD 为 float 、 double 或 long double ，则 std::basic_format_arg 存储 t ；
• 否则，若 TD 为 std::basic_string_view 或 std::basic_string 特化且 TD::char_type 与 Context::char_type 相同，则 std::basic_format_arg 存储 std:: basic_string_view < Context :: char_type > ( t. data ( ) , t. size ( ) ) ；
• 否则，若 std:: decay_t < TD > 为 Context :: char_type * 或 const Context :: char_type * ，则 std::basic_format_arg 存储 static_cast < const Context :: char_type * > ( t ) ；
• 否则，若 std:: is_void_v < std:: remove_pointer_t < TD >> 为 true 或 std:: is_null_pointer_v < TD > 为 true ，则 std::basic_format_arg 存储 static_cast < const void * > ( t ) ；
• 否则， std::basic_format_arg 存储一个指向 t 的 std:: basic_format_arg < Context > :: handle ，以及 handle::format() 所需的额外数据。

注释

对于用户定义类型，格式化参数具有引用语义且不会延长 args 的生命周期。程序员有责任确保 args 的存活时间超过返回值。通常，结果仅用作格式化函数的参数。

示例

#include <array>
#include <format>
#include <iostream>
#include <string_view>
void raw_write_to_log(std::string_view users_fmt, std::format_args&& args)
{
    static int n{};
    std::clog << std::format("{:04} : ", n++) << std::vformat(users_fmt, args) << '\n';
}
template<typename... Args>
constexpr void log(Args&&... args)
{
    // 生成格式化字符串 "{} "...
    std::array<char, sizeof...(Args) * 3 + 1> braces{};
    constexpr const char c[4] = "{} ";
    for (auto i{0uz}; i != braces.size() - 1; ++i)
        braces[i] = c[i % 3];
    braces.back() = '\0';
    raw_write_to_log(std::string_view{braces.data()}, std::make_format_args(args...));
}
template<typename T>
const T& unmove(T&& x)
{
    return x;
}
int main()
{
    log("Number", "of", "arguments", "is", "arbitrary.");
    log("Any type that meets the BasicFormatter requirements", "can be printed.");
    log("For example:", 1, 2.0, '3', "*42*");
    raw_write_to_log("{:02} │ {} │ {} │ {}",
                     std::make_format_args(unmove(1), unmove(2.0), unmove('3'), "4"));
}

0000 : Number of arguments is arbitrary.
0001 : Any type that meets the BasicFormatter requirements can be printed.
0002 : For example: 1 2.0 3 *42*
0003 : 01 │ 2.0 │ 3 │ 4

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见