Jakie cechy odróżniają typy danych referencyjnych od typów prymitywnych w językach programowania?

Typy danych referencyjnych w językach programowania (np. obiekty w Java) różnią się od typów prymitywnych tym, że:

• Typy referencyjne przechowują w zmiennej nie samą wartość, lecz odwołanie (wskaźnik) do obszaru pamięci, w którym znajduje się obiekt.
• Przypisanie typu referencyjnego kopiuje odwołanie, a nie sam obiekt, więc kilka zmiennych może odwoływać się do tego samego obiektu.
• Zmiany dokonane przez jedną referencję są widoczne na wszystkich innych, które odwołują się do tego samego obiektu.
• Typy prymitywne (int, boolean, char itd.) przechowują wartości bezpośrednio w zmiennej.

Na przykład:

String a = "hello";
String b = a; // b odwołuje się do tego samego obiektu "hello"

Nie można zmienić ciągu znaków, ale gdyby to był obiekt zmienny, zmiany przez b byłyby widoczne przez a.