long型の数値には末尾にLを付与するがbyte,short型には付与しないのはなぜか

Question

long型の数値には末尾にl,Lを付与しなければいけません。

なぜなら、数値データのデフォルト型がintであるため。

と認識しています。

しかし、byte,short型のデータを宣言する場合は末尾にb,sを付けなくてもエラーにはなりません。（int型のデータをbyte,short型の変数に代入しようとしているのに）

short s = 1;
byte b = 1;
//コンパイルOK

なぜでしょうか。

よろしくお願いいたします。

追記 2021/06/05
回答をいただいての追記です。
まず、私の質問内容で不正確な箇所があったため以下のとおり修正します。

• 修正前

long型の数値には末尾にl,Lを付与しなければいけません。

↓

• 修正後

intサイズを超えるlongの値を扱う場合はl,Lを付与しなければいけません。

irithyllさん
kainaさん
neko_the_shadowさん
ご回答ありがとうございました。

私の質問の仕方が悪く意図が伝わってなかったこと反省しています。。。

Java学習サイトや本などで、

数値リテラルのデフォルト型はintであるためlong型に代入する場合はl,Lを付与しましょう。

との記載が多くみられました。

デフォルト型がintであればbyte,short型にそのまま代入できないことになる。

したがって、矛盾してないか、私の認識不足かまたは別の仕様があるのかと思ったのが今回の質問の背景です。

neko_the_shadowさんの回答が意図に沿ったものだったのでベストアンサーとさせていただきます（他のお２人、申し訳ございません）

以下、ざっくりとまとめておきます。

自動で基本型縮小変換が行われる条件がある。

1. 代入先の型がbyte,short,charである。
2. 右辺の値が代入先の型で表現できる。
3. 右辺は必ず定数式

short s = 5;
//コンパイルOK

short s = 5;
byte b = s;
//コンパイルNG

ちなみに浮動種数点型では自動基本型縮小変換は行われないので注意すること。

視点を変えて、lはあるのにs,bがないのはなぜかはirithyllさん、kainaさんに回答していただいた通り。（仕様の背景がよく理解できました！）

回答していただいた方々、本当にありがとうございました！

Comments

[m.ts10806]

「そういう言語仕様」では納得できませんか

Answer 1

long型の変数にも「l」を付与しなくても、そのまま代入できます。

long l = 1;
// コンパイルOK

質問の意図は「l」はあるのになぜ「s」や「b」がないのか、ということだと解釈して回答します。
違ってたら無視してください。

Javaではリテラル同士の演算結果は、演算に使われたリテラルの型に依存します。
例えば、

System.out.print(10　/　3);  // => 3 ---[1]
System.out.print(2147483647 + 1);  // => -2147483648 ---[2]

[1]はfloatかdoubleの結果が欲しいですし、[2]はlongの結果がほしいのですが、int型となるため正しい結果が得られません。
演算に使われたリテラルがどちらもint型だからです。
そこで、「f」や「l」をつけて、リテラルの型を変更します。

System.out.print(10f　/　3);  // => 3.3333333 ---[1]
System.out.print(2147483647l + 1);  // => 2147483648 ---[2]

演算結果は大きい方の型に合わせるので、[1]はfloat型に、[2]はlong型になります。

この問題はintで表現できない値の時のみ発生します。
そのため、「s」や「b」をつけて小さくするメリットがないのです。

Comments

[Monkuma]

>long型の変数にも「l」を付与しなくても、そのまま代入できます。
すみません、そうでした????
正確にはlongサイズの値には[l]を付与しなければならない、ですね（追記いたします）

>そのため、「s」や「b」をつけて小さくするメリットがないのです。
とても腑に落ちました！！
そもそもl,d,fはintで表現できない値を表現したいときに使用するものでしたね。したがってs,bは必要がないと...。

ご回答ありがとうございました！

Answer 2

Java言語仕様 (JLS) 5.2. Assignment Contextsを見ると、以下のように記述されています。

In addition, if the expression is a constant expression (§15.28) of type byte, short, char, or int:

A narrowing primitive conversion may be used if the type of the variable is byte, short, or char, and the value of the constant expression is representable in the type of the variable.

本来、精度の高い値を精度の低い型に代入する場合、明示的にキャストする必要があるのですが、short型やbyte型の変数にint型のリテラル値を代入するときはある種の特別扱いになっていて、Javaコンパイラが自動でキャストしてくれるわけです。

Comments

[Monkuma]

> A narrowing primitive conversion
「基本型の縮小変換が自動的に行われる」というのは恥ずかしながら初めて聞きました????
回答ありがとうございます。

Answer 3

irithyllさんの回答通りだと思いますが公式ドキュメントを見てみました。
明確には理由を書いていませんが、公式ドキュメントだとこの部分かな。

Integer Literals
An integer literal is of type long if it ends with the letter L or l; otherwise it is of type int. It is recommended that you use the upper case letter L because the lower case letter l is hard to distinguish from the digit 1.

Values of the integral types byte, short, int, and long can be created from int literals. Values of type long that exceed the range of int can be created from long literals. Integer literals can be expressed by these number systems:

Comments

[Monkuma]

>Values of type long that exceed the range of int can be created from long literals.
ありがとうございます！公式ドキュメント読めるようにします(^^)
デフォルトがintリテラルなのにshort,byteに代入できる理由がよくわからなかったので助かりました。