Javaのプリミティブ型と参照型

Javaの型はプリミティブ型と参照型の2種類に分類されます。この紹介です。

プリミティブ型(基本データ型)
- 変数はデータそのものを表し、振る舞いは持ちません
- 例： byte, short, int, long, float, double, char, boolean
参照型
- 変数はオブジェクトをッシ示す参照が代入されます
- newを用いてインスタンスを作成する必要があります
- 例： Byte, Short, Integer, Long, Double

🚕 デフォルト初期値

インスタンスフィールド変数と配列構成要素は型に応じて初期値を持ちます。

ローカル変数の場合はデフォルト初期値を持たず、未初期化の変数を使うとコンパイルエラーになります。

参照型では変数はオブジェクトの参照(オブジェクトの位置情報)を持ち、変数の名前でオブジェクトにアクセスできます。
下図は概念図です。

出典：改訂2版　パーフェクトJava

変数の型はその変数が参照するオブジェクトに対してどんな操作ができるかを確定します。
オブジェクトの型は呼ばれた先の実際の動作を確定します。

出典：改訂2版　パーフェクトJava

オプション	説明
`boolean equals(Object a, Object b)`	引数のどちらかが`null`でも使える同値比較
`String toString(Object o, String nullDefault)`	`null`の場合指定した文字を返す
`boolean isNull(Object o)`	引数が`null`のときに真
`boolean nonNull(Object o)`	引数が`null`でないときに真
`T requireNonNull(T obj)`	引数が`null`だと即座に`NullPointerException`を発生

プリミティブ型からラッパの参照型への自動変換を「オートボクシング」と呼びます。

int intNumber = 10;
Integer integerNumber = intNumber;

逆にラッパの参照型からプリミティブ型への自動変換を「アンボクシング」といいます。

Integer integerNumber = new Integer(10);
int intNumber = integerNumber;

参照型の特徴のひとつとしてnullをもつことができます。プリミティブ型はnullをもつことができません。

Integer integerNumber = null;
int intNumber = integerNumber;　// NullPointerException が発生

比較演算子は変数のデータをもとに比較を行うため、参照型の参照アドレスでは比較演算子による比較ができません。
参照型オブジェクトの比較には、Object#equals()とObject#hashCode()を用います。

byte値をint型に代入したり、float値をdouble型に代入する場合、暗黙的に型変換が行われます。
扱える範囲の大きな型に変換する場合は暗黙的に行うことができます。

byte => short => int => long => float => double
char => int => long => float => double

int型をbyte型の変数に代入したり、double値をfloat型の変数に代入する際はキャスト(変換したい型) 変数が必要です。

double => float => long => int => short => byte
double => float => long => int => char

「VULTR」はVPSサーバのサービスです。日本にリージョンがあり、最安は512MBで2.5ドル/月($0.004/時間)で借りることができます。4GBメモリでも月20ドルです。最近はVULTRのヘビーユーザーになので、「ここ」から会員登録してもらえるとサービス開発が捗ります！