3925. Concept formattable's definition is incorrect

Section: 22.14.6.2 [format.formattable] Status: WP Submitter: Mark de Wever Opened: 2023-04-16 Last modified: 2023-06-19 14:50:03 UTC

Priority: Not Prioritized

View all other issues in [format.formattable].

View all issues with WP status.

Discussion:

LWG 3631 modified the formattable concept. The new wording contains a small issue: basic_format_context requires two template arguments, but only one is provided.

[2023-05-24; Reflector poll]

Set status to Tentatively Ready after ten votes in favour during reflector poll.

[2023-06-17 Approved in Varna. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4944.

1. Modify 22.14.6.2 [format.formattable] as indicated:

   -1- Let fmt-iter-for<charT> be an unspecified type that models output_iterator<const charT&> (25.3.4.10 [iterator.concept.output]).

   […]
   template<class T, class charT>
     concept formattable =
       formattable-with<remove_reference_t<T>, basic_format_context<fmt-iter-for<charT>, charT>>;