views:

755

answers:

7

I want to write a function that outputs something to a ostream that's passed in, and return the stream, like this:

std::ostream& MyPrint(int val, std::ostream* out) {
  *out << val;
  return *out;
}

int main(int argc, char** argv){
    std::cout << "Value: " << MyPrint(12, &std::cout) << std::endl;
    return 0;
}

It would be convenient to print the value like this and embed the function call in the output operator chain, like I did in main().

It doesn't work, however, and prints this:

$ ./a.out
12Value: 0x6013a8

The desired output would be this:

Value: 12

How can I fix this? Do I have to define an operator<< instead?

UPDATE: Clarified what the desired output would be.

UPDATE2: Some people didn't understand why I would print a number like that, using a function instead of printing it directly. This is a simplified example, and in reality the function prints a complex object rather than an int.

+5  A: 

You want to make MyPrint a class with friend operator<<:

class MyPrint
{
public:
    MyPrint(int val) : val_(val) {}
    friend std::ostream& operator<<(std::ostream& os, const MyPrint& mp) 
    {
        os << mp.val_;
        return os;
    }
private:
    int val_;
};

int main(int argc, char** argv)
{
    std::cout << "Value: " << MyPrint(12) << std::endl;
    return 0;
}

This method requires you to insert the MyPrint object into the stream of your choice. If you REALLY need the ability to change which stream is active, you can do this:

class MyPrint
{
public:
    MyPrint(int val, std::ostream& os) : val_(val), os_(os) {}
    friend std::ostream& operator<<(std::ostream& dummy, const MyPrint& mp) 
    {
        mp.os_ << mp.val_;
        return os_;
    }
private:
    int val_;
    std::ostream& os_
};

int main(int argc, char** argv)
{
    std::cout << "Value: " << MyPrint(12, std::cout) << std::endl;
    return 0;
}
rlbond
Except that this does not do what was asked for.
anon
How so? Please explain.
rlbond
Well, to start with, it doesn't compile.
anon
Oops. Bad copy/paste. Thanks for catching.
rlbond
It doesn't have to be a friend; it only uses public methods of the std::ostream.
Max Lybbert
Make it a template class and add a template function to create it and its perfect.
Martin York
@Max Lybbert: It does access a private member variable?
This is exactly how I would have answered this question
iain
Sorry, "it only uses public methods of the std::ostream, so it doesn't need to be a friend of the std::ostream; since it's a method of MyPrint it already has access to private methods and variables of MyPrint and doesn't need to be a friend of MyPrint either (plus a class can't be a friend of itself)."
Max Lybbert
@Max Lybbert. 1) What do you mean by *"method"*? 2) The function `operator<<` in his code is *not* a member of the class. Removing the friend keyword would make it a member, but would make the code invalid, because a member `operator<<` must have one parameter only. It's called a *"friend definition"*.
Johannes Schaub - litb
I've put some explanation here: http://stackoverflow.com/questions/991518/c-how-do-i-call-a-friend-template-function-defined-inside-a-class/991870#991870
Johannes Schaub - litb
Thanks for the correction. As you can see from my answer, I've generally defined these as non-member functions.
Max Lybbert
A: 

First, there is no reason not to pass in the ostream by reference rather than by a pointer:

std::ostream& MyPrint(int val, std::ostream& out) {
  out << val;
  return out;
}

If you really don't want to use std::ostream& operator<<(std::ostream& os, TYPE), you can do this:

int main(int argc, char** argv){
    std::cout << "Value: ";
    MyPrint(12, std::cout) << std::endl;
    return 0;
}
Seth Johnson
"there is no reason not to pass in the ostream by reference". Some folks don't like non-const reference parameters. I disagree with them, but I wouldn't say there is "no reason" for their preference.
Steve Jessop
I don't see how a non-const pointer would be preferable to a non-const reference in any sane coding standard.
Fred Larson
Google says "References can be confusing, as they have value syntax but pointer semantics" (http://google-styleguide.googlecode.com/svn/trunk/cppguide.xml?showone=Reference_Arguments#Reference_Arguments). I think they mean that pass-by-value and pass-by-reference look the same at the call site, so they think code is more readable if readers can assume that anything which looks like a pass-by-value, leaves the value unmodified. And as the saying goes, Google is insane like a fox. It does have some slightly old-fashioned attitudes to C++, but I think not irrational.
Steve Jessop
The standard `operator<<` notation takes the `std::ostream` by reference as an input; since this guy is attempting to emulate ostream's functionality, it would be better to match the syntax rather than passing a reference. Plus, he's returning a reference to the dereferenced pointer!If you used a pointer, you would have to call something like`MyPrint(12, `which is just awkward. You're passing a pointer to a temporary object.
Seth Johnson
"The standard operator<< notation takes the std::ostream by reference as an input". Yes, Google notes "necessary for some applications" as a "Con" of their "no non-const reference" rule. This is among the reasons I disagree with the rule: it's a pretty killer "Con" :-)
Steve Jessop
A: 

In your case the answer is obviously:

 std::cout << "Value: " << 12 << std::endl;

If that isn't good enough, please explain what output you want to see.

anon
The example is obviously simplified, and shows the user wants to understand how to chain stream operations.
Martin York
Unlike many people round here, I don't have the happy facility of understanding the "obvious" unasked question - I like to have things spelled out.
anon
I think you should chage your icon to a grumpy faced starfish :-(
Martin York
If you can find me one, I'll happily use it.
anon
+6  A: 

You can't fix the function. Nothing in the spec requires a compiler to evaluate a function call in an expression in any particular order with respect to some unrelated operator in the same expression. So without changing the calling code, you can't make MyPrint() evaluate after std::cout << "Value: "

Left-to-right order is mandated for expressions consisting of multiple consecutive << operators, so that will work. The point of operator<< returning the stream is that when operators are chained, the LHS of each one is supplied by the evaluation of the operator to its left.

You can't achieve the same thing with free function calls because they don't have a LHS. MyPrint() returns an object equal to std::cout, and so does std::cout << "Value: ", so you're effectively doing std::cout << std::cout, which is printing that hex value.

Since the desired output is:

Value: 12

the "right" thing to do is indeed to override operator<<. This frequently means you need to either make it a friend, or do this:

class WhateverItIsYouReallyWantToPrint {
    public:
    void print(ostream &out) const {
        // do whatever
    }
};

ostream &operator<<(ostream &out, const WhateverItIsYouReallyWantToPrint &obj) {
    obj.print(out);
}

If overriding operator<< for your class isn't appropriate, for example because there are multiple formats that you might want to print, and you want to write a different function for each one, then you should either give up on the idea of operator chaining and just call the function, or else write multiple classes that take your object as a constructor parameter, each with different operator overloads.

Steve Jessop
I know I always find it easier to break streams down into traditional function calls when I can't get my head around something so I thought I'd add this for the OP in case it helps them too. Hope you don't mind. I think I'm right in saying the std::cout line basically boils down to cout.operator<<( "Value: " ).operator<<( MyPrint(12, which might be an easier way of visualising what this answer says.
Troubadour
I certainly don't mind: thanks!
Steve Jessop
I updated the question; it says now that the desired output would be Value: 12.
+1  A: 

There's no way to do what you're expecting there because of the order the functions are evaluated in.

Is there any particular reason you need to write directly to the ostream like that? If not, just have MyPrint return a string. If you want to use a stream inside MyPrint to generate the output, just use a strstream and return the result.

Gerald
+3  A: 

You have two options. The first, using what you already have is:

std::cout << "Value: ";
MyPrint(12, &std::cout);
std::cout << std::endl;

The other, which is more C++-like, is to replace MyPrint() with the appropriate std::ostream& operator<<. There's already one for int, so I'll do one just a tad more complex:

#include <iostream>

struct X {
    int y;
};

// I'm not bothering passing X as a reference, because it's a
// small object
std::ostream& operator<<(std::ostream& os, const X x)
{
    return os << x.y;
}

int main()
{
    X x;
    x.y = 5;
    std::cout << x << std::endl;
}
Max Lybbert
A: 

After changing the pointer to a reference, you can do this:

#include <iostream>

std::ostream& MyPrint(int val, std::ostream& out) {
    out << val;
    return out;
}

int main(int, char**) {
    MyPrint(11, std::cout << "Value: ") << std::endl; 

    return 0;
}

The syntax for MyPrint is essentially that of an unrolled operator<< but with an extra argument.

Seth Johnson