 |
C++Talk.NET C++ language newsgroups
|
| View previous topic :: View next topic |
| Author |
Message |
Glen Able Guest
|
Posted: Wed Sep 29, 2004 1:10 pm Post subject: end of std::list |
|
|
Without further ado, here's some code:
std::list<int> things;
things.push_back(1);
things.push_back(2);
things.push_back(3);
std::list<int>::iterator it;
int test;
it = things.end();
test = *it; // obviously garbage
things.push_back(4);
test = *it; // garbage - but I was expecting '4'
I assumed that 'list' maintained an extra empty node at the end, which is
what gets returned by list.end(). Then I'd expect the 'push_back(4)' to
actually attach the value 4 to that node, which should then be returned in
the second 'test = *it' statement.
Anyone care to enlighten me?
thanks,
G.A.
|
|
| Back to top |
|
 |
John Harrison Guest
|
Posted: Wed Sep 29, 2004 1:24 pm Post subject: Re: end of std::list |
|
|
"Glen Able" <smDELETEecklers (AT) hotmTHISail (DOT) com> wrote
| Quote: | Without further ado, here's some code:
std::list<int> things;
things.push_back(1);
things.push_back(2);
things.push_back(3);
std::list<int>::iterator it;
int test;
it = things.end();
test = *it; // obviously garbage
|
Actually undefined behaviour.
| Quote: |
things.push_back(4);
test = *it; // garbage - but I was expecting
'4'
I assumed that 'list' maintained an extra empty node at the end, which is
what gets returned by list.end(). Then I'd expect the 'push_back(4)' to
actually attach the value 4 to that node, which should then be returned
in
the second 'test = *it' statement.
Anyone care to enlighten me?
thanks,
G.A.
|
This is covered by the 'invalidation of iterators' requirements that the STL
has. The requirements are different for different containers but for
std::list then only way to invalidate an iterator is to erase the element
that the iterator is pointing to. In all other cases iterators remain valid,
so for a std::list the return from end() will be the end of the list no
matter how many items are subsequently added or removed from the list.
john
|
|
| Back to top |
|
 |
Nicolas Pavlidis Guest
|
Posted: Wed Sep 29, 2004 1:26 pm Post subject: Re: end of std::list |
|
|
"Glen Able" <smDELETEecklers (AT) hotmTHISail (DOT) com> writes:
| Quote: | Without further ado, here's some code:
std::list<int> things;
things.push_back(1);
things.push_back(2);
things.push_back(3);
std::list<int>::iterator it;
int test;
it = things.end();
test = *it; // obviously garbage
things.push_back(4);
test = *it; // garbage - but I was expecting '4'
|
AFAIK end() returns the data of an fixed node in the list(a member), and
so end() is always the same node.
Kind regards,
Nicolas
--
| Quote: | Nicolas Pavlidis | Elvis Presly: | |__ |
Student of SE & KM | "Into the goto" | |__| |
[email]pavnic (AT) sbox (DOT) tugraz.at[/email] | ICQ #320057056 | |
-------------------University of Technology, Graz----------------|
|
|
|
| Back to top |
|
 |
Gernot Frisch Guest
|
Posted: Wed Sep 29, 2004 1:31 pm Post subject: Re: end of std::list |
|
|
"Glen Able" <smDELETEecklers (AT) hotmTHISail (DOT) com> schrieb im Newsbeitrag
news:cjec9r$88t$1$8302bc10 (AT) news (DOT) demon.co.uk...
| Quote: | Without further ado, here's some code:
std::list<int> things;
things.push_back(1);
things.push_back(2);
things.push_back(3);
std::list<int>::iterator it;
int test;
it = things.end();
test = *it; // obviously garbage
things.push_back(4);
test = *it; // garbage - but I was
expecting '4'
|
then use:
test = things.back(); and front(); they both give a reference to the
last/first element.
|
|
| Back to top |
|
 |
Karl Heinz Buchegger Guest
|
Posted: Wed Sep 29, 2004 1:31 pm Post subject: Re: end of std::list |
|
|
Glen Able wrote:
| Quote: |
Without further ado, here's some code:
std::list<int> things;
things.push_back(1);
things.push_back(2);
things.push_back(3);
std::list<int>::iterator it;
int test;
it = things.end();
test = *it; // obviously garbage
things.push_back(4);
test = *it; // garbage - but I was expecting '4'
I assumed that 'list' maintained an extra empty node at the end, which is
what gets returned by list.end(). Then I'd expect the 'push_back(4)' to
actually attach the value 4 to that node, which should then be returned in
the second 'test = *it' statement.
|
Where is it stated, that it has to be that way.
A list can also always use the very same node for marking the end of list
(if there is such a node at all, I don't think that dereferencing the end
iterator is an allowed operation. But I'm not sure about that)
If you push_back, a new node gets allocated and inserted just before that
end_of_list node.
--
Karl Heinz Buchegger
[email]kbuchegg (AT) gascad (DOT) at[/email]
|
|
| Back to top |
|
 |
Glen Able Guest
|
Posted: Wed Sep 29, 2004 1:56 pm Post subject: Re: end of std::list |
|
|
"Karl Heinz Buchegger" <kbuchegg (AT) gascad (DOT) at> wrote
| Quote: | Where is it stated, that it has to be that way.
A list can also always use the very same node for marking the end of list
(if there is such a node at all, I don't think that dereferencing the end
iterator is an allowed operation. But I'm not sure about that)
If you push_back, a new node gets allocated and inserted just before that
end_of_list node.
|
Bah. My actual application is trying to store references to positions in a
list (previously I was using a std::vector and indices). Problem is where
sometimes I need to add a reference to the place in the list where the next
element is going to be added, whenever that is. My naive interpretation of
'list iterators are never invalidated' lead me astray!
I guess I'll have to wrap the list in a class which has a collection of
references which need to be set to the next list element, whenever it gets
appended.
Thanks everyone.
G.A.
|
|
| Back to top |
|
 |
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|
|