Kotlin
Java

References
Java

Created By: Geoffrey Challen
/ Updated: 2021-09-30

Here we begin a series of lessons that will deepen our understanding of Java. They will also introduce an incredibly important and prevalent idea in computer science—references. So let's get started!

A Puzzle

As we frequently do, we'll begin with a puzzle. Examine the following code (duplicated from the lesson header) and try to predict what should happen:

The critical bit is the line Person you = me. There are two things that could happen here:

  1. Java could make a copy of me and save it to you, meaning that at that point there would be two Person objects; or
  2. Something else...

Given the result, the answer is clearly the latter. On some level we should find this reassuring, since previously we had said that (1) objects are only created when you see new and (2) Java does not have a built in way of making object copies. However, it does leave us with the question: what is happening, and why?

References

Until this lesson we've been somewhat vague about exactly what is being stored in our variables. No longer. Variables in Java that store objects do not store the object instance itself. Rather, they store a reference to the instance.

What is a reference? I'm glad you asked! Wikipedia says.

In computer science, a reference is a value that enables a program to indirectly access a particular datum, such as a variable's value or a record, in the computer's memory or in some other storage device. The reference is said to refer to the datum, and accessing the datum is called dereferencing the reference.

Let's parse this together:

Go through the Wikipedia definition of reference.

Java Object Variables Store References

In Java, when we assign an instance of an object to a variable, what we are really doing is creating a reference variable. The variable stores a reference to the object, not the object itself:

If and when you get lost here, here's something that will help. Objects are only created when you see new. In the example above, even though we have two reference variables (s and t), we have only one String created using new.

References Are Not What They Refer To

A reference is not the thing it refers to. This becomes clear when we examine some real-world examples of references:

  • A phone number is a reference. It is not the phone that rings.
  • An address is a reference. It is not whatever is located there.
  • Your university ID number is a reference. It is not you!

In each of these cases above, a reference is something that we can use to access the object it refers to. If I give you my phone number, you can call me. If I give you my address, you can visit! If I make a bunch of copies of my address, you could all come over and visit! But I would still only have one house.

Changes to Objects Are Visible to Reference Holders

Let's continue the analogy above. Imagine I give two of you the address to my house. The next day, one of you comes by and "decorates" my house with sanitary paper. If the other comes by later, they also see the change!

Describe what happens in the code snippet above.

So the next rule of references: changes to object instances are visible to all reference holders. This is why, in the example above, me.getName() returns "Fantastic Student" even though the change was made using the reference variable you. Both refer to the same object, the only one that was created using new.

Primitive Types Store Values

Note that all that we said above is not true for Java primitive types. They store their values directly in the variable:

But this only works for the eight primitive types. Any variable that stores an object in Java is a reference variable, and actually stores an object reference.

null is a Reference

Finally, this also gives us a better understanding of null. null is the empty reference:

null indicates that a variable that could store a reference does not, and is empty. This also explains what happens if we try and follow or deference null. (Imagine if I told you to call a phone number, but then handed you a blank sheet of paper!)

Reference Practice

Let's get some practice manipulating references.

Copying Reference

Copying a reference does not copy the object it refers to! Let's return to our example and discuss what is actually happening:

Discuss how you makes a copy of the reference stored in me.

Now, let's go through this step by step using a diagram:

Describe an object copy using a diagram.

Swapping References

Imagine I have the following code, and I want to swap the objects that me and you refer to. (Searching for the fountain of youth, I guess...) Let's walk through how we would do that:

Show how to swap me and you using a temporary variable.

Next, let's examine a similar example using a diagram:

Describe a reference swap using a diagram.

Reference Equality v. Instance Equality

To wrap up, we are now ready to understand the difference between == and .equals when comparing objects. == tests reference equality, while .equals tests instance equality. Let's examine the difference:

Walk through the example above, showing the difference between == and .equals.

Show how to complete the homework problem above. Feel free to cover multiple approaches!

Solution Walkthrough

Show how to complete the homework problem above. Feel free to cover multiple approaches!

Solution Walkthrough

Show how to complete the homework problem above. Feel free to cover multiple approaches!

Solution Walkthrough