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);