473,324 Members | 1,646 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,324 software developers and data experts.

Why doesn't this work? (pointers)

I wrote the following program to demonstrate an oddity I found in C++.

#include <iostream>
using namespace std;
int main()
{int *p, *q;
p = q;
q = new int;
*q = 12;
cout << *p;
system("pause");
return 0;
}
Your compiler will either give a gibberish answer or crash when you try
to run this program.
Here's what I don't understand: p and q are pointing to the same memory
address. That being said, why can't you access the dynamic variable using
p as well as q?
What would happen if you created a new variable using p too? Aren't they
both pointing to the same memory? Would they overwrite each other?

Thanks.

-==Kensu==-
I actually came across this while working with a homemade linked list.
You can imagine how frustrating THAT was...
Jul 22 '05 #1
22 1451
On Sun, 10 Oct 2004 22:22:00 GMT, Chris Schumacher <ke*****@hotmail.com> wrote:
q = new int;


Here new allocates space for an int, and returns the location of the new
object, so this assignment overwrites any previous value of q. And besides, you
never initialised the old q, so it was full of garbage even before this line.

You must find a place to store an int (using new or a variable), then set both
p and q to point to it. Use

p = q;

after the "new" line to do this.

Turn on warnings in your compiler and it will likely detect the use of
uninitialised variables.

--
Ben Caradoc-Davies <be*@wintersun.org>
http://wintersun.org/
Jul 22 '05 #2
Chris Schumacher wrote:
I wrote the following program to demonstrate an oddity I found in C++.

#include <iostream>
using namespace std;
int main()
{int *p, *q;
Here p and q are initialised and thus point to "random" areas in memory.

p = q;
Here the "random" memory address stored in q is assigned to p.
q = new int;

Here an int is created in the free store and its address is assigned to
q pointer variable.
*q = 12;

Here the address stored in q is dereferenced, and the int pointed is
assigned the value 12.
cout << *p;

Here you dereference the "random" memory value assigned to p in the
beginning, and you read some "random" memory portion of the program,
invoking undefined behaviour.

--
Ioannis Vranos

http://www23.brinkster.com/noicys
Jul 22 '05 #3
Chris Schumacher wrote:
I wrote the following program to demonstrate an oddity I found in C++.

#include <iostream>
using namespace std;
int main()
{int *p, *q;
1. Both the pointer variables are not initialized.
p = q;
2. You are assigning one of them to the other.
q = new int;
3. You are allotting a chunk of memory and q stores the pointer to that
location.

*q = 12;
4. You are storing a particular value in the memory pointed to , by q.

cout << *p;


5. (3) and (4) still do not affect p anyway. p is still
uninitialized and dereferencing it results in UB.

As Ben had already pointed out, you can do
the assignemnt 'p = q' after allocating memory for q.
Otherwise it does not help anyway.

--
Karthik. http://akktech.blogspot.com .
' Remove _nospamplz from my email to mail me. '
Jul 22 '05 #4
Correction:
Ioannis Vranos wrote:
Here p and q are

uninitialised

and thus point to "random" areas in memory.

Jul 22 '05 #5
Ben Caradoc-Davies <be*@wintersun.org> wrote in
news:sl****************@localhost.localdomain:
On Sun, 10 Oct 2004 22:22:00 GMT, Chris Schumacher
<ke*****@hotmail.com> wrote:
q = new int;


Here new allocates space for an int, and returns the location of the
new object, so this assignment overwrites any previous value of q. And
besides, you never initialised the old q, so it was full of garbage
even before this line.


Ah, I see now. Thanks.
Both of the textbooks I used seemed to gloss over the fact that pointers
are not initalized during declaration. They made it seem that the new int
or whatever is placed in the memory location that the variable is pointing
at when declared.

Thanks again, to everyone who replied.
-==Kensu==-
Jul 22 '05 #6

"Chris Schumacher" <ke*****@hotmail.com> wrote in message
news:Xn*****************************@207.115.63.15 8...
I wrote the following program to demonstrate an oddity I found in C++.
The 'oddity' is in your code, not the language
#include <iostream>
using namespace std;
int main()
{int *p, *q;
There now exist two pointers, named 'p' and 'q'.
Neither has a defined, valid value. Any attempt
to evaluate the value of either will produce
'undefined behavior' (which means anything can
happen, from 'appearing to work' to a crash,
or anything else.
p = q;
Kaboom. Evalution of unintialized object.
q = new int;
Allocates storage sufficient to store a single type
'int' object, and stores the address of this storage
in the pointer 'q'.
*q = 12;
Assigns the value 12 to the allocated type 'int' object.
cout << *p;
Kaboom again. Evalution of an ininitialized object.


system("pause");
return 0;
}
Your compiler will either give a gibberish answer or crash when you try
to run this program.
According to the definition of the language, it can do absolutely
anything (or nothing) at all.
Here's what I don't understand: p and q are pointing to the same memory
address.
They are not. 'p' doesn't point anywhere. 'q' points to an
allocated type 'int' object.
That being said,
Saying it doesn't make it so. :-)
why can't you access the dynamic variable using
p as well as q?
Because 'p' does not point anywhere. (It might 'by accident',
but officially its value is undefined.)

What would happen if you created a new variable using p too?
You can allocate another 'int' and assign its addres to 'p'.
If you did, then 'p' would have the same behavior as 'q' (except
that it would point to a different object.).
Aren't they
both pointing to the same memory?
No. Nothing in your code has assigned the address of the
allocated 'int' to 'p'.
Would they overwrite each other?
Only if you write code to do so.
I actually came across this while working with a homemade linked list.
You can imagine how frustrating THAT was...


Yes, I imagine expecting behavior based upon a false assumption
would be frustrating. :-)

-Mike

Jul 22 '05 #7
"Chris Schumacher" <ke*****@hotmail.com> wrote in message
news:Xn*****************************@207.115.63.15 8...
Ben Caradoc-Davies <be*@wintersun.org> wrote in
news:sl****************@localhost.localdomain:
On Sun, 10 Oct 2004 22:22:00 GMT, Chris Schumacher
<ke*****@hotmail.com> wrote:
q = new int;
Here new allocates space for an int, and returns the location of the
new object, so this assignment overwrites any previous value of q. And
besides, you never initialised the old q, so it was full of garbage
even before this line.


Ah, I see now. Thanks.
Both of the textbooks I used seemed to gloss over the fact that pointers
are not initalized during declaration.


That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).
They made it seem that the new int
or whatever is placed in the memory location that the variable is pointing
at when declared.


A definition of a pointer *never* will cause it to point
anywhere unless you supply an initializer. This is the
case for a pointer of any storage duration.

Which textbooks are you referring to?

-Mike
Jul 22 '05 #8

"Ioannis Vranos" <iv*@guesswh.at.grad.com> wrote in message
news:1097448661.181043@athnrd02...
Chris Schumacher wrote:
I wrote the following program to demonstrate an oddity I found in C++.

#include <iostream>
using namespace std;
int main()
{int *p, *q;
Here p and q are initialised


Uninitialised. (But I'm sure that's what you meant).

and thus point to "random" areas in memory.
They might, they might not. Their values are undefined.
p = q;


Here the "random" memory address stored in q is assigned to p.


1) (The randome 'value' of 'q' might or might not correspond to
valid memory addresses.

2) Because of 1), no assignment at all is required to take place.
q = new int;


Here an int is created in the free store and its address is assigned to
q pointer variable.
*q = 12;


Here the address stored in q is dereferenced, and the int pointed is
assigned the value 12.
cout << *p;


Here you dereference the "random" memory value


First, this causes the value of 'p' to be evaluted, producing
undefined behavior. A dereference might or might not happen.
And if such a dereference did somehow succeed, another evaluation
of an ininitialized object would happen, resulting again in
undefined behavior.
assigned to p in the
beginning, and you read some "random" memory portion of the program,
invoking undefined behaviour.


The entire program's behavior becomes undefined as soon
as the expression p=q is evaluated.

-Mike
Jul 22 '05 #9
"Mike Wahler" <mk******@mkwahler.net> wrote in message
news:60*****************@newsread1.news.pas.earthl ink.net...

"Ioannis Vranos" <iv*@guesswh.at.grad.com> wrote in message
news:1097448661.181043@athnrd02...
Chris Schumacher wrote:
I wrote the following program to demonstrate an oddity I found in C++.

#include <iostream>
using namespace std;
int main()
{int *p, *q; p = q;


The entire program's behavior becomes undefined as soon
as the expression p=q is evaluated.


Make that "as soon as the expression 'q' is evaluated the first time"

-Mike
Jul 22 '05 #10
Mike Wahler wrote:
That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).

Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.
Jul 22 '05 #11
Ron Natalie wrote:
Mike Wahler wrote:
That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).

Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.


Are required to not be? Or not required to be?


Brian Rodenborn
Jul 22 '05 #12

"Default User" <fi********@boeing.com.invalid> wrote in message
news:I5********@news.boeing.com...
Ron Natalie wrote:
Mike Wahler wrote:
That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).

Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.


Are required to not be? Or not required to be?


I see neither a requirement for nor a prohibition of
it in the standard, so I presume the latter. Which
of course would mean that code intended to be portable
should not depend upon default initialization of such
objects.

-Mike
Jul 22 '05 #13
"Mike Wahler" <mk******@mkwahler.net> writes:
"Default User" <fi********@boeing.com.invalid> wrote in message
news:I5********@news.boeing.com...
Ron Natalie wrote:
Mike Wahler wrote:

> That is not a 'fact'. The fact is that objects of automatic
> storage duration are not automatically initialized. Their
> type doesn't matter. Objects with static storage duration
> are automatically initialized (to 0).
>
Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.


Are required to not be? Or not required to be?


I see neither a requirement for nor a prohibition of
it in the standard, so I presume the latter. Which
of course would mean that code intended to be portable
should not depend upon default initialization of such
objects.


100% ACK. IMHO it is the best way to initialisize everything by
hand. Different compilers would solve the problem of default
initialzation with different ways.

Kind regards,
Nicolas
--
| Nicolas Pavlidis | Elvis Presly: |\ |__ |
| Student of SE & KM | "Into the goto" | \|__| |
| pa****@sbox.tugraz.at | ICQ #320057056 | |
|-------------------University of Technology, Graz----------------|
Jul 22 '05 #14
I believe you are misunderstanding the meaning of p = q in the pointer
world.

source code reformated
int main()
{
int *p, *q; Now p and q are created (not initialized)
----- -----
| p |--->o | q |
----- pointing to a -----
random place | pointing to another
V random place
o p = q; Now both p and q point to the same random place (the place where q
points to)

----- -----
| p | | q |
----- -----
| |
| V
\----------------------->o
q = new int; Now q points to a valid place where an int should be placed. Note that
p still points to the random place q used to point

----- ----- -----
| p | | q |------>| |
----- ----- -----
|
|
\----------------------->o
*q = 12; Now 12 is copied to the new int storage create by new and pointed by q
----- ----- -----
| p | | q |------>| 12|
----- ----- -----
|
|
\----------------------->o cout << *p; Now it should be clear why the output is garbage or crash. UB as
others have pointed out. system("pause");
return 0;
}


Good luck

Marcelo Pinto
Jul 22 '05 #15

"Default User" <fi********@boeing.com.invalid> wrote in message
news:I5********@news.boeing.com...
Ron Natalie wrote:
Mike Wahler wrote:
That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).

Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.


Are required to not be? Or not required to be?


To be or not to be. :-)

-Mike
Jul 22 '05 #16
Default User wrote:
Ron Natalie wrote:

Mike Wahler wrote:

That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).


Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.

Are required to not be? Or not required to be?


Are not required to be.
Jul 22 '05 #17
Default User wrote:
Ron Natalie wrote:

Mike Wahler wrote:

That is not a 'fact'. The fact is that objects of automatic
storage duration are not automatically initialized. Their
type doesn't matter. Objects with static storage duration
are automatically initialized (to 0).


Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.

Are required to not be? Or not required to be?


The point I was trying to make is that Mike's statement is wrong
as well. Objects of non-POD class type are required to be default
initalized. Those of POD type are not. It's one of those gross
stupidities of the C++ language that initializations are conveniently
omitted just because C was similarly defective.
Jul 22 '05 #18
"Ron Natalie" <ro*@sensor.com> wrote in message
news:41***********************@news.newshosting.co m...
Default User wrote:
Ron Natalie wrote:

Mike Wahler wrote:
That is not a 'fact'.
Mike:
The fact is that objects of automatic
storage duration are not automatically initialized.

I (apparently unfortunately) used the term 'automatically'
instead of 'default'.
Theirtype doesn't matter. Objects with static storage duration
are automatically initialized (to 0).

Francis:
Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.

The difference between our assertions is that you qualified
with 'POD' (and I used 'automatic' instead of 'default').


Are required to not be? Or not required to be?


The point I was trying to make is that Mike's statement is wrong
as well.

Is it really 'wrong', or merely 'incomplete'?
Objects of non-POD class type are required to be default
initalized.

I think you're confusing me. What about such an object
initialized via an argument? (OR do you mean only those
declarations lacking an initializer?)

-Mike
Jul 22 '05 #19
Ron Natalie wrote:
Default User wrote:
Ron Natalie wrote:
Actually the "fact" is that POD objects of automatic storage
duration are not default initialized.

Are required to not be? Or not required to be?


The point I was trying to make is that Mike's statement is wrong
as well.

I was actually asking a genuine question, although I was pretty sure of
the answer. I get burned every now and then with "things in C++ what is
different than C". I didn't think there was a prohibition, and as I
recall some compilers do that in debug mode.

Brian Rodenborn
Jul 22 '05 #20
Mike Wahler wrote:
The difference between our assertions is that you qualified
with 'POD' (and I used 'automatic' instead of 'default').
Yes, without the qualification of POD types, your statement
is wrong. The defect in the language is that automatic POD
types are not default initalized when other non-POD types
would be.


I think you're confusing me. What about such an object
initialized via an argument? (OR do you mean only those
declarations lacking an initializer?)


Default initialization, i.e., those without explicit initializers.
Jul 22 '05 #21
I was actually asking a genuine question, although I was pretty sure of
the answer. I get burned every now and then with "things in C++ what is
different than C". I didn't think there was a prohibition, and as I
recall some compilers do that in debug mode.


Right, there is no prohibition. The compiler is just not required
to initialize POD types in certain circumstances.

This whole initialization debacle, and the bandaids the standards
committee put on it with value initailziation is just odiferous slavish
following of the way things were always done in C. It causes more
problems than it solves, and if it were changed today, it would break
no code (although some people who rely on not using RAII might get a
little slower). If you want to skip default initialization, I think
that should be the explicit case.
Jul 22 '05 #22
Ron Natalie wrote:
Yes, without the qualification of POD types, your statement
is wrong. The defect in the language is that automatic POD
types are not default initalized when other non-POD types
would be.


Actually it is not a defect.
Check this message:

http://groups.google.com/groups?hl=e...rldnet.att.net

--
Ioannis Vranos

http://www23.brinkster.com/noicys
Jul 22 '05 #23

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

9
by: Mika Vainio | last post by:
hi everybody, i'm working on the following problem: i need to build a 26-nary tree to save a data dictionary. every letter of the words is represented by a cell (cell has a pointer-vector cell*...
5
by: nick | last post by:
I have the following code: var ocevent = function(v) { alert('javascript event: u clicked '+v); return false; };
149
by: Christopher Benson-Manica | last post by:
(Followups set to comp.std.c. Apologies if the crosspost is unwelcome.) strchr() is to strrchr() as strstr() is to strrstr(), but strrstr() isn't part of the standard. Why not? --...
8
by: Rob | last post by:
I have a vector of a class type and when I create an object inside a function and return that and add it to the vector, it doesn't properly keep the data inside it. So I have a few questions: 1....
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
1
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...
0
by: jfyes | last post by:
As a hardware engineer, after seeing that CEIWEI recently released a new tool for Modbus RTU Over TCP/UDP filtering and monitoring, I actively went to its official website to take a look. It turned...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
1
by: CloudSolutions | last post by:
Introduction: For many beginners and individual users, requiring a credit card and email registration may pose a barrier when starting to use cloud servers. However, some cloud server providers now...
1
by: Shællîpôpï 09 | last post by:
If u are using a keypad phone, how do u turn on JavaScript, to access features like WhatsApp, Facebook, Instagram....
0
by: Faith0G | last post by:
I am starting a new it consulting business and it's been a while since I setup a new website. Is wordpress still the best web based software for hosting a 5 page website? The webpages will be...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.