Requisitos denominados de C++: BasicFormatter (desde C++20)

BasicFormatter es un tipo que abstrae las operaciones de formato para un tipo de argumento de formato y un tipo de caracter determinados.

Se requieren especializaciones de std::formatter para cumplir con los requisitos de BasicFormatter.

Un BasicFormatter es un Formatter si es capaz de formatear argumentos const y no-const.

Un tipo satisface BasicFormatter si este es semiregular, es decir, que satisface:

Y, dados los siguientes tipos y valores, las expresiones mostradas en la siguiente tabla son válidas y tienen la semántica indicada:

Tipo	Definición
`CharT`	un tipo caracter
`Arg`	un tipo de argumento de formato
`Formatter`	un tipo Formatter para tipos `Arg` y `CharT`
`OutputIt`	un tipo OutputIterator
`ParseCtx`	`std::basic_format_parse_context<CharT>`
`FmtCtx`	`std::basic_format_context<OutputIt, CharT>`
Valor	Definición
`f`	un valor de tipo (posiblemente calificado `const`) `Formatter`
`g`	un valor de tipo `Formatter`
`arg`	un l-valor de tipo `Arg`
`t`	un valor de tipo convertible a (posiblemente calificado `const`) `Arg`
`parse_ctx`	un l-valor de tipo `ParseCtx` que satisfaga todas las siguientes condiciones: `parse_ctx.begin()` apunta al principio de la especificación de formato del campo de reemplazo siendo formateado en la cadena de formato. Si la especificación de formato no está presente o es vacía, entonces alguno entre `parse_ctx.begin() == parse_ctx.end()` o `*parse_ctx.begin() == '}'`.
`fmt_ctx`	un l-valor de tipo `FmtCtx`

Expresión	Tipo de retorno	Semánticas
`g.parse(parse_ctx)`	`ParseCtx::iterator`	En el rango `[parse_ctx.begin(),` `parse_ctx.end())`, analiza gramaticalmente la especificación de formato para el tipo `Arg` hasta el primer caracter no coincidente. Lanza std::format_error a menos que el rango completo sea analizado gramaticalmente, o el caracter no coincidente sea `}`. ^{[nota 1]} Almacena los especificadores de formato analizados en `g` y devuelve un iterador de fin al rango analizado.
`f.format(arg, fmt_ctx)`	`FmtCtx::iterator`	Formatea `arg` de acuerdo a los especificadores almacenados en `f`, escribe la salida a `fmt_ctx.out()` y devuelve un iterador de fin del rango de salida. La salida debe depender solamente de `arg`, `fmt_ctx.locale()`, el rango `[parse_ctx.begin(),` `parse_ctx.end())` desde la última llamada a `f.parse(parse_ctx)`, y `fmt_ctx.arg(n)` para cualquier valor `n` de tipo std::size_t.

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
LWG 3892	C++20	el valor de `pc.begin()` no estaba claro si la especificación de formato no está presente	aclarado

Apoyo de compiladores
Implementaciones independientes y albergadas
Lenguaje
Biblioteca estándar
Encabezados de la biblioteca estándar
Requisitos denominados
Macros de prueba de característica (C++20)
Biblioteca de apoyo del lenguaje
Biblioteca de conceptos (C++20)
Biblioteca de diagnósticos
Biblioteca de gestión de memoria
Biblioteca de metaprogramación (C++11)
Biblioteca de servicios generales
Biblioteca de contenedores
Biblioteca de iteradores
Biblioteca de rangos (C++20)
Biblioteca de algoritmos
Biblioteca de cadenas
Biblioteca de procesamiento de texto
Biblioteca numérica
Biblioteca de fecha y hora
Biblioteca de entrada/salida
Biblioteca del sistema de archivos (C++17)
Biblioteca de apoyo de concurrencia (C++11)
Biblioteca de apoyo de ejecución (C++26)
Especificaciones técnicas
Índice de símbolos
Bibliotecas externas