DEV Community

Cover image for Explain C Pointers Like I'm Five
ottonicasio
ottonicasio

Posted on

Explain C Pointers Like I'm Five

Oldest comments (7)

Collapse
 
chrisvasqm profile image
Christian Vasquez

Eating popcorn

Collapse
 
polterguy profile image
Thomas Hansen

Hehehe :D

Collapse
 
vinaypai profile image
Vinay Pai

"That thing you're looking for? Dad knows where it is. He's over there, go ask him".

Collapse
 
codemouse92 profile image
Jason C. McDonald • Edited

You live in a town with only one very, very long street. Your house is on this street. Your house has a number on it: an address. If you write this address down on a piece of paper, you have just created a pointer to your house.

Now let's say you wish to have someone come over to your house for lunch. In order to access your house, they must know where to find it on the Very Long Street. You hand them the piece of paper with the address of your house, the pointer. They can now find your house, come inside, and eat lunch. This is called pass-by-pointer.

Alternatively, you can recite the address to them and have them write it down. This is pass-by-reference.

There is a third way to enable the person to eat lunch at your house. You can go out to the site, jack the house off its foundation, and bring it to them. This is pass-by-value, and the ridiculousness of the analogy explains why we rarely, if ever, pass objects by value in C++. It's a whole lot of work for nothing, when we can just pass by pointer or reference. (Or else, we could have just passed them the food by value instead of inviting them over.)

There are a few things to watch out for with pointers, however.

An address of "0" is called a null pointer. It's something everyone has agreed upon for "no address". If you give anyone an address of 0, they'll know not to bother trying to come over for lunch - the address doesn't exist. If you don't know the address, set it to this.

If you write down some random number as the address, this is called a wild pointer, and it's a very bad thing. If you gave someone this address, any number of unpredictable outcomes could happen (what we call undefined behavior)...

  • They could walk into a total stranger's house and get stopped or arrested before they can polish off the meatloaf. A computer has several run-time errors that it might throw, the most familiar of these being a segmentation fault.

  • The person could walk into the wrong house and, because they think it's yours and you had invited them over for lunch, they could do something totally weird...like eat all the pickles in the unsuspecting person's fridge. (Rule of thumb: "If the error is weird, it's memory-related; it often has to do with pointers.)

  • The person could try to go to a house and find an empty lot. Then they wander around in the empty lot, confused and disillusioned. Desperate for the promised lunch, they may even start eating sticks and rocks. (This is called accessing uninitialized memory, and the outcome is also quite unpredictable.)

  • You could tear down your house, and then give them the address. They will then try to find lunch in the rubble, and probably wind up chewing on leftover framing timber. (This is why you should always set pointers to 0 after you finish deleting whatever the pointer points to.)

  • The person could hike clear off the end of the road into the wilderness, where they must try to survive off of grubs and tree bark. (How could you do this to your friend, you terrible, terrible person??) Going past the end of memory usually just fails, but this is undefined behavior we're talking about...your friend may do just about anything out there to try and find your house and/or lunch.

Collapse
 
eduardort profile image
Eduardo Reyes

10/10

Collapse
 
gregdavidson profile image
J. Greg Davidson

This is wonderful! It is more general than C/C++ - if you were to create a more general version I would definitely reference it. (I've used and taught C since 1976 and C++ since it was called "C with Classes" but now I prefer Rust.) The one quibble I would make is your distinction between pointers and references: I normally see references as simply syntactic sugar for pointers, but if you want to emphasize their non-nullable characteristic, you could have the reference "sent" by sending a picture of the property with its address (written on the curb?) showing.

Collapse
 
codemouse92 profile image
Jason C. McDonald

I have considered splitting this off into its own article for some time, so I think I'll do that.

I like the idea of the reference analogy, but I also want to make it clear there isn't a tangible "thing" being stored. Hmm...