This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.

### 3515. §[stacktrace.basic.nonmem]: `operator<<` should be less templatized

Section: 19.6.2 [stacktrace.syn], 19.6.4.6 [stacktrace.basic.nonmem] Status: WP Submitter: Jiang An Opened: 2021-01-25 Last modified: 2022-11-17

Priority: 2

View all other issues in [stacktrace.syn].

View all issues with WP status.

Discussion:

According to 23.4.4.4 [string.io], the `operator<<` overloads in 19.6.4.6 [stacktrace.basic.nonmem] are well-formed only if the template parameters `charT` and `traits` are `char` and `std::char_traits<char>` (that of `std::string`) respectively, because it is required in Effects: that these overloads behave as-if insert a `std::string`.

I think the declarations of these overloads should be changed to:

>     ostream& operator<<(ostream& os, const stacktrace_entry& f);

>     template<class Allocator>
>     ostream& operator<<(ostream& os, const basic_stacktrace<Allocator>& st);

[2021-03-12; Reflector poll]

Set priority to 2 and status to LEWG following reflector poll.

[2022-11-07; Kona]

Move to Immediate.

[2022-11-12 Approved at November 2022 meeting in Kona. Status changed: Immediate → WP.]

Proposed resolution:

This wording is relative to N4878.

1. Modify 19.6.2 [stacktrace.syn], header `<stacktrace>` synopsis, as indicated:

   >     namespace std {
   >       // 19.6.3 [stacktrace.entry], class stacktrace_entry
   >       class stacktrace_entry;

   >       // 19.6.4 [stacktrace.basic], class template basic_stacktrace
   >       template<class Allocator>
   >       class basic_stacktrace;

   >       […]

   >       // 19.6.4.6 [stacktrace.basic.nonmem], non-member functions
   >       […]

   >       string to_string(const stacktrace_entry& f);

   >       template<class Allocator>
   >         string to_string(const basic_stacktrace<Allocator>& st);

   >       template<class charT, class traits>
   >         basic_ostream<charT, traits>&
   >           operator<<(basic_ostream<charT, traits>& os, const stacktrace_entry& f);

   >       template<class charT, class traits, class Allocator>
   >         basic_ostream<charT, traits>&
   >           operator<<(basic_ostream<charT, traits>& os, const basic_stacktrace<Allocator>& st);

   >       […]
   >     }

2. Modify 19.6.4.6 [stacktrace.basic.nonmem] as indicated:

   >     template<class charT, class traits>
   >     basic_ostream<charT, traits>&
   >       operator<<(basic_ostream<charT, traits>& os, const stacktrace_entry& f);

   > > -4- Effects: Equivalent to: `return os << to_string(f);`

   >     template<class charT, class traits, class Allocator>
   >     basic_ostream<charT, traits>&
   >       operator<<(basic_ostream<charT, traits>& os, const basic_stacktrace<Allocator>& st);

   > > -5- Effects: Equivalent to: `return os << to_string(st);`