Title
More useful rvalue stream insertion
Status
c++20
Section
[ostream.rvalue][istream.rvalue]
Submitter
Howard Hinnant

Created on 2009-09-06.00:00:00 last changed 44 months ago

Messages

Date: 2020-02-14.11:24:43

Proposed resolution:

This wording is relative to N4810.

  1. Change [istream.rvalue] as follows:

    template <class charT, class traits Istream, class T>
      basic_istream<charT, traits>& Istream&&
      operator>>(basic_istream<charT, traits> Istream&& is, T&& x);
    

    -?- Constraints: The expression is >> std::forward<T>(x) is well-formed and Istream is publicly and unambiguously derived from ios_base.

    -1- Effects: Equivalent to:

    is >> std::forward<T>(x);
    return std::move(is);
    

    -2- Remarks: This function shall not participate in overload resolution unless the expression is >> std::forward<T>(x) is well-formed.

  2. Change [ostream.rvalue]:

    template <class charT, class traits Ostream, class T>
      basic_ostream<charT, traits>& Ostream&&
      operator<<(basic_ostream<charT, traits> Ostream&& os, const T& x);
    

    -?- Constraints: The expression os << x is well-formed and Ostream is publicly and unambiguously derived from ios_base.

    -1- Effects: As if by: os << x;

    -2- Returns: std::move(os).

    -3- Remarks: This signature shall not participate in overload resolution unless the expression os << x is well-formed.

Date: 2020-02-14.11:24:43

[ 2020-02 Status to Immediate on Friday morning in Prague. ]

Date: 2019-03-15.00:00:00

[ 2019-03-17; Daniel comments and provides updated wording ]

After discussion with Ville it turns out that the "derived from ios_base" approach works fine and no breakages were found in regression tests. As result of that discussion the wording was rebased to the most recent working draft and the "overload resolution participation" wording was replaced by a corresponding Constraints: element.

Date: 2019-01-20.00:00:00

[ 2019-01-20 Reflector prioritization ]

Set Priority to 2

Previous resolution [SUPERSEDED]:

This resolution is relative to N4750.

Change [istream.rvalue] as follows:

template <class charT, class traits Istream, class T>
  basic_istream<charT, traits>& Istream&&
  operator>>(basic_istream<charT, traits> Istream&& is, T&& x);

-1- Effects: Equivalent to:

is >> std::forward<T>(x)
return std::move(is);

-2- Remarks: This function shall not participate in overload resolution unless the expression is >> std::forward<T>(x) is well-formed, Istream is not an lvalue reference type, and Istream is derived from ios_base.

Change [ostream.rvalue]:

template <class charT, class traits Ostream, class T>
  basic_ostream<charT, traits>& Ostream&&
  operator<<(basic_ostream<charT, traits> Ostream&& os, const T& x);

-1- Effects: As if by: os << x;

-2- Returns: std::move(os)

-3- Remarks: This signature shall not participate in overload resolution unless the expression os << x is well-formed, Ostream is not an lvalue reference type, and Ostream is derived from ios_base.

Date: 2018-12-15.00:00:00

[ 2018-12-03, Ville comments ]

The implementation in libstdc++ doesn't require derivation from ios_base, it requires convertibility to basic_istream/basic_ostream. This has been found to be important to avoid regressions with existing stream wrappers.

In libstdc++, the inserter/extractor also don't return a reference to the template parameter, they return a reference to the basic_istream/basic_ostream specialization the template parameter converts to. This was done in order to try and be closer to the earlier specification's return type, which specified basic_ostream<charT, traits>& and basic_istream<charT, traits>&. So we detected convertibility to (a type convertible to) those, and returned the result of that conversion. That doesn't seem to be necessary, and probably bothers certain chaining cases. Based on recent experiments, it seems that this return-type dance (as opposed to just returning what the p/r suggests) is unnecessary, and doesn't trigger any regressions.

Date: 2018-05-15.00:00:00

[ 2018-05-25, Billy O'Neal requests this issue be reopened and provides P/R rebased against N4750 ]

Billy O'Neal requests this issue be reopened, as changing operator>> and operator<< to use perfect forwarding as described here is necessary to implement LWG 2534 which was accepted. Moreover, this P/R also resolves LWG 2498.

Previous resolution [SUPERSEDED]:

Change [istream.rvalue]:

template <class charT, class traits Istream, class T>
  basic_istream<charT, traits>& Istream&&
  operator>>(basic_istream<charT, traits> Istream&& is, T& x);

1 Effects: is >> x

2 Returns: std::move(is)

3 Remarks: This signature shall participate in overload resolution if and only if Istream is not an lvalue reference type and is derived from ios_base.

Change [ostream.rvalue]:

template <class charT, class traits Ostream, class T>
  basic_ostream<charT, traits>& Ostream&&
  operator<<(basic_ostream<charT, traits> Ostream&& os, const T& x);

1 Effects: os << x

2 Returns: std::move(os)

3 Remarks: This signature shall participate in overload resolution if and only if Ostream is not an lvalue reference type and is derived from ios_base.

Date: 2018-06-22.06:38:21

[ LEWG Kona 2017 ]

Recommend Open: Design looks right.

Date: 2010-10-21.18:28:33

[ 2009 Santa Cruz: ]

NAD Future. No concensus for change.

Date: 2009-09-06.00:00:00

[ostream.rvalue] was created to preserve the ability to insert into (and extract from [istream.rvalue]) rvalue streams:

template <class charT, class traits, class T>
  basic_ostream<charT, traits>&
  operator<<(basic_ostream<charT, traits>&& os, const T& x);

1 Effects: os << x

2 Returns: os

This is good as it allows code that wants to (for example) open, write to, and close an ofstream all in one statement:

std::ofstream("log file") << "Some message\n";

However, I think we can easily make this "rvalue stream helper" even easier to use. Consider trying to quickly create a formatted string. With the current spec you have to write:

std::string s = static_cast<std::ostringstream&>(std::ostringstream() << "i = " << i).str();

This will store "i = 10" (for example) in the string s. Note the need to cast the stream back to ostringstream& prior to using the member .str(). This is necessary because the inserter has cast the ostringstream down to a more generic ostream during the insertion process.

I believe we can re-specify the rvalue-inserter so that this cast is unnecessary. Thus our customer now has to only type:

std::string s = (std::ostringstream() << "i = " << i).str();

This is accomplished by having the rvalue stream inserter return an rvalue of the same type, instead of casting it down to the base class. This is done by making the stream generic, and constraining it to be an rvalue of a type derived from ios_base.

The same argument and solution also applies to the inserter. This code has been implemented and tested.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2020-02-24 16:02:59adminsetstatus: immediate -> wp
2020-02-14 11:24:43adminsetmessages: + msg11114
2020-02-14 11:24:43adminsetstatus: open -> immediate
2019-03-17 22:49:15adminsetmessages: + msg10365
2019-01-20 16:20:00adminsetmessages: + msg10282
2018-12-03 19:00:27adminsetmessages: + msg10244
2018-06-22 06:38:21adminsetmessages: + msg9960
2018-06-22 06:38:21adminsetstatus: lewg -> open
2018-05-25 23:11:09adminsetmessages: + msg9856
2014-11-24 15:11:58adminsetstatus: nad future -> lewg
2010-10-21 18:28:33adminsetmessages: + msg1136
2010-10-21 18:28:33adminsetmessages: + msg1135
2009-09-06 00:00:00admincreate