静态与成员运算符重载：std :: operator <<和std :: ostream :: operator <

Question

The ostream class of C++ provides many default overloads for operator<< , however they are not all defined in the same way.

The overloads for char types, string types, and rvalue streams are defined as free namespace -scope functions such as:

namespace std {
ostream &operator<<(ostream &os, char c);
}

While the overloads for arithmetic types, streambuf , and stream manipulators are defined as member functions of std::ostream such as:

namespace std {
ostream &ostream::operator<<(int val);
}

My Question

Is there an reason for this distinction? I understand that calls to these operator overloads operate slightly differently (ie ADL for the free namespace -scope definitions), and so I'd imagine there might be a preference to a particular type of operator overload for optimization purposes. But here std::ostream uses both types of definitions for different types. Are there any advantages to this semantically or implementation optimizations that this allows for?

Answer 1

I'd imagine there might be a preference to a particular type of operator overload for optimization purposes

Well, no. At the end of the day both are preformed as function calls. There is not even an apparent implication to overload resolution itself. Since the standard dictates at [over.match], paragraphs 2 and 6 :

If either operand has a type that is a class or an enumeration, a user-defined operator function might be declared that implements this operator or a user-defined conversion can be necessary to convert the operand to a type that is appropriate for a built-in operator. In this case, overload resolution is used to determine which operator function or built-in operator is to be invoked to implement the operator.

The set of candidate functions for overload resolution is the union of the member candidates, the non-member candidates, and the built-in candidates. The argument list contains all of the operands of the operator. The best function from the set of candidate functions is selected according to [over.match.viable] and [over.match.best].

All of those operator overloads are resolved together. The only semantic difference is that a class deriving from ostream may choose to hide certain member overloads. This is done with accordance to how overloading works in a derived class. Only the overloads explicitly declared will be applicable. Unlike those members, the free function overloads will always participate in overload resolution, even for classes that derive from ostream .

Since a derived class needs to be converted to an ostream& in order for a free-function overload to be chosen, its own implicit conversion sequence needs to be ranked. And it may cause ambiguities if all the overloads are free functions.

So the consideration may very well be to separate the types which may cause an ambiguity (pointers and arithmetic types) from the useful types which we may always want to have available (pointers to C-strings and individual characters). And allow hiding the "less useful" ones so as to avoid those ambiguities.

---

As pointed out by WF ostream is in fact basic_ostream<char> . The free functions just so happen to be for data that requires streaming only. Characters or strings in the streams native "alphabet". So for basic_ostream<wchar_t> those free functions will accept wchar_t and wchar_t* . It's quite possible that simple streaming doesn't require any access to the streams private section.

The other overloads are for data that requires serialization before streaming. Since said serialization is tightly coupled with the streams internal state, it makes far more sense to make those overloads be members.