auto_ptr: reassigning to member of owned object

[Joost Ronkes Agerbeek]

Is it legal to reassign an auto_ptr to another auto_ptr that is a member of
the object the auto_ptr is holding before the reassignment? (Confused yet?
:-p)

#include <memory>
class Node
{
public:
Node() : next(0) {}
Node(Node* node) : next(node) {}
std::auto_ptr<N ode> next;
};

void main()
{
Node node(new Node(new Node()));
node.next = (*node.next).ne xt; // <-- is this valid?
}

As I see it, this program could cause problems if the object node.next owns
is deleted before (*node.next).ne xt is evaluated. I even think the auto_ptr
assignment operator needs to make a temporary copy of (*node.next).ne xt.
The above code compiles and runs on my system, but is it legal according to
the C++ Standard?

tia,
Joost

[Gianni Mariani]

Joost Ronkes Agerbeek wrote:

Is it legal to reassign an auto_ptr to another auto_ptr that is a member of
the object the auto_ptr is holding before the reassignment? (Confused yet?
:-p)

#include <memory>
class Node
{
public:
Node() : next(0) {}
Node(Node* node) : next(node) {}
std::auto_ptr<N ode> next;
};

void main()
obligatory - main must return int comment.
{
Node node(new Node(new Node()));
node.next = (*node.next).ne xt; // <-- is this valid?
}

As I see it, this program could cause problems if the object node.next owns
is deleted before (*node.next).ne xt is evaluated.
That's kind of hard since operator= can't be called until
(*node.next).ne xt is evaluated.

I even think the auto_ptr assignment operator needs to make a temporary copy of (*node.next).ne xt.
The above code compiles and runs on my system, but is it legal according to
the C++ Standard?

[Joost Ronkes Agerbeek]

> > void main()

obligatory - main must return int comment.

You're right of course. My mistake.

{
Node node(new Node(new Node()));
node.next = (*node.next).ne xt; // <-- is this valid?
}

As I see it, this program could cause problems if the object node.next owns is deleted before (*node.next).ne xt is evaluated.

That's kind of hard since operator= can't be called until
(*node.next).ne xt is evaluated.

That makes sense. :-D

Problem solved then :-), thanks a bunch.