std::make_format_args, std::make_wformat_args

template< class Context = std::format_context, class... Args >
/*format-arg-store*/<Context, Args...>
    make_format_args( Args&... args );

template< class... Args >
/*format-arg-store*/<std::wformat_context, Args...>
    make_wformat_args( Args&... args );

Возвращает объект, который хранит массив аргументов форматирования и может быть неявно преобразован в std::basic_format_args<Context>.

Поведение не определено, если typename Context::template formatter_type<std::remove_const_t<Ti>> не удовлетворяет требованиям BasicFormatter для любого Ti в Args.

Программа некорректна, если для любого типа Ti в Args, 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 является беззнаковым целочисленным типом, размер которого не превышает размер unsignedint, std::basic_format_arg хранит static_cast<unsigned int>(t);
• иначе, если TD является знаковым целочисленным типом, размер которого не превышает размер longlong, std::basic_format_arg хранит static_cast<long long>(t);
• иначе, если TD является беззнаковым целочисленным типом, размер которого не превышает размер unsignedlonglong, std::basic_format_arg хранит static_cast<unsigned long long>(t);
• иначе, если TD является float, double или longdouble, 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 хранит std::basic_format_arg<Context>::handle для t вместе с дополнительными данными, необходимыми для 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)
{
    // Generate formatting string "{} "...
    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++.

См. также