第3章 字句構造

整数リテラルは、10進数(ベース10)、16進数(ベース16)、8進数(ベース8)または2進数(ベース2)で表すことができます。

整数リテラルは、ASCII文字Lまたはl (ell)で接尾辞が付けられている場合はlong型、そうでない場合はint型(§4.2.1)です。

文字l (ell)は数字1 (one)と区別しにくいことが多いため、接尾辞Lが推奨されます。

アンダースコアは、整数を示す数字間のセパレータとして使用できます。

16進リテラルまたはバイナリ・リテラルでは、整数は0xまたは0b文字の後の数字と、任意の型の接尾辞の前の数字によってのみ示されます。 したがって、アンダースコアは、0xまたは0bの直後、または数字の最後の数字の後に指定できません。

10進リテラルまたは8進リテラルでは、整数は、任意の型の接尾辞の前にリテラル内のすべての桁で示されます。 したがって、アンダースコアは、最初の数字の前や数字の最後の数字の後には表示されません。 アンダースコアは、最初の0の8進数(0は整数の一部を示す数字であるため)の後、およびゼロ以外の10進リテラルの最初の0以外の桁の後に指定できます。

10進数値は、整数0を表す単一のASCII数字0であるか、または1から9までのASCII数字で構成され、オプションで、0から9までの1つ以上のASCII数字がアンダースコアと交差し、正の整数を表します。

16進数値は、先行するASCII文字0xまたは0Xと、その後にアンダースコアにまたがる1つ以上のASCII 16進数で構成され、正、ゼロまたは負の整数を表すことができます。

値が10から15の16進数は、それぞれASCII文字aからf、またはAからFで表されます。16進数として使用される各文字は、大文字または小文字にすることができます。

上記の HexDigit本番は、§3.3に基づいています。

8進数値は、ASCII数字の0の後に1つ以上のASCII数字の0から7がアンダースコアに割り込まれ、正、ゼロまたは負の整数を表すことができます。

8進数は常に2桁以上の数字で構成されていることに注意してください。これは、0のみは常に10進数とみなされるためです。実際には重要ではないため、0、00および0x0の数値はすべてまったく同じ整数値を表します。

2進数値は、先行するASCII文字の0bまたは0Bと、その後にアンダースコアと交差する1つ以上のASCII数字の0または1で構成され、正、ゼロまたは負の整数を表すことができます。

int型の最大の10進リテラルは、2147483648 (2³¹)です。

0から2147483647までのすべての10進リテラルは、intリテラルが存在する任意の場所に存在できます。 小数リテラル2147483648は、単項マイナス演算子-のオペランドとしてのみ指定できます(§15.15.4)。

10進リテラル2147483648が単項マイナス演算子のオペランド以外の場所にある場合、またはint型の10進リテラルが2147483648 (2³¹)より大きい場合、コンパイル時にエラーが発生します。

int型の最大正の16進数、8進数およびバイナリ・リテラル(それぞれ10進値2147483647 (2³¹-1)を表す)は、それぞれ次のとおりです。

型intの最も負の16進リテラル、8進リテラルおよび2進リテラルで、それぞれ10進値-2147483648 (-2³¹)を表します。

次の16進リテラル、8進リテラルおよび2進リテラルは、10進値-1を表します。

16進、8進またはバイナリのintリテラルが32ビットに収まらない場合、コンパイル時にエラーが発生します。

long型の最大の10進リテラルは、9223372036854775808L (2⁶³)です。

0Lから9223372036854775807Lまでのすべての10進リテラルは、longリテラルが存在する任意の場所に存在できます。 小数リテラル9223372036854775808Lは、単項マイナス演算子-のオペランドとしてのみ指定できます(§15.15.4)。

10進リテラル9223372036854775808Lが単項マイナス演算子のオペランド以外の場所にある場合、またはlong型の10進リテラルが9223372036854775808L (2⁶³)より大きい場合、コンパイル時にエラーが発生します。

long型の最大正の16進数、8進数およびバイナリ・リテラル(それぞれ10進値9223372036854775807L (2⁶³-1)を表す)は、それぞれ次のとおりです。

型longの最も負の16進リテラル、8進リテラルおよび2進リテラルで、それぞれが10進値-9223372036854775808L(-2⁶³)を表します。

次の16進リテラル、8進リテラルおよび2進リテラルは、10進値-1Lを表します。

16進、8進またはバイナリのlongリテラルが64ビットに収まらない場合、コンパイル時にエラーが発生します。

0    2    0372    0xDada_Cafe    1996    0x00_FF__00_FF

0l    0777L    0x100000000L    2_147_483_648L    0xC0B0L

浮動小数点リテラルには、整数部分、10進点または16進点(ASCIIピリオド文字で表される)、小数部分、指数および型接尾辞があります。

浮動小数点リテラルは、10進数(10進数)または16進数(16進数)で表現できます。

小数浮動小数点リテラルでは、少なくとも1つの数字(整数部分または小数部分)と、小数点、指数または浮動小数点型の接尾辞が必要です。 その他のパーツはすべてオプションです。 指数が存在する場合は、ASCII文字eまたはEの後にオプションで符号付き整数が続きます。

16進数浮動小数点リテラルでは、少なくとも1つの桁（整数部または小数部のいずれか）が必要で、指数部は必須で、float型の接尾辞はオプションです。 指数部は、ASCII文字のpまたはPの後に、オプションで符号付きの整数値が続きます。

アンダースコアは、整数部分を示す桁と、小数部分を示す桁と指数を表す桁の間のセパレータとして使用できます。

浮動小数点リテラルは、ASCII文字Fまたはfで接尾辞が付けられている場合はfloat型で、それ以外の場合はdouble型で、オプションでASCII文字Dまたはdで接尾辞を付けることができます。

float型とdouble型の要素は、それぞれIEEE 754 binary32およびIEEE 754 binary64浮動小数点形式を使用して表すことができる値です(§4.2.3)。

浮動小数点数のUnicode文字列表現から内部IEEE 754バイナリ浮動小数点表現への適切な入力変換の詳細は、クラスFloatのvalueOfおよびパッケージjava.langのクラスDoubleのメソッドで説明されています。

float型の最大と最小の正の数値リテラルは次のとおりです:

double型の最大および最小の正のリテラルは次のとおりです。

ゼロ以外の浮動小数点リテラルが大きすぎる場合はコンパイル時にエラーが発生するため、その内部表現への丸め変換時にIEEE 754無限大になります。

プログラムは、1f/0fや-1d/0dなどの定数式を使用するか、クラスFloatおよびDoubleの事前定義定数POSITIVE_INFINITYおよびNEGATIVE_INFINITYを使用して、コンパイル時エラーを生成せずに無限性を表すことができます。

ゼロ以外の浮動小数点リテラルが小さすぎる場合、コンパイル時にエラーが発生し、その内部表現への丸め変換時にゼロになります。

ゼロ以外の浮動小数点リテラルの値が小さく、その内部表現への丸め変換時にゼロ以外の非正規数になる場合、コンパイル時エラーは発生しません。

Not-a-Number値を表す事前定義定数は、クラスFloatおよびDoubleでFloat.NaNおよびDouble.NaNとして定義されます。

1e1f    2.f    .3f    0f    3.14f    6.022137e+23f

1e1    2.    .3    0.0    3.14    1e-9d    1e137

boolean型には、ブール・リテラルtrueおよびfalseで表され、ASCII文字から形成される2つの値があります。

ブール・リテラルは、常にboolean型です(§4.2.5)。

文字リテラルは、ASCII一重引用符で囲まれた文字またはエスケープ・シーケンス(§3.10.7)で表されます。 (一重引用符(アポストロフィ)文字は\\u0027です。)

文字リテラルは常にchar型です(§4.2.1)。

文字リテラルのコンテンツは、先頭の'に続くSingleCharacterまたはEscapeSequenceです。

コンテンツに続く文字が'以外の文字である場合、コンパイル時にエラーが発生します。

行の終了文字(§3.4)が'のオープン後および'のクローズ前に表示されるのは、コンパイル時のエラーです。

文字CRおよびLFはInputCharacterではなく、それぞれがLineTerminatorを構成するものとして認識されるため、エスケープ・シーケンス\\ LineTerminatorでも文字リテラルでは使用できません。

文字リテラルで表される文字は、文字リテラルの内容が、String.translateEscapesを実行したかのように、エスケープシーケンスが解釈されたものです。

文字リテラルは、UTF-16コード単位(§3.1)のみを表すことができます。つまり、\\u0000から\\uffffまでの値に制限されます。 文字リテラルで補助文字を表現しようとすると、コンパイル時にエラーが発生します。 補足文字は、使用するAPIに応じて、charシーケンス内のサロゲート・ペアとして、または整数として表す必要があります。

Unicodeエスケープは非常に早期に処理されるため、値が行送り(LF)である文字リテラルに対して'\\u000a'を記述することは正しくありません。Unicodeエスケープ\\u000aは、変換ステップ1(§3.3)で実際の行送りに変換され、行送りはステップ2(§3.4)でLineTerminatorになるため、文字リテラルはステップ3では有効ではありません。 かわりに、エスケープ・シーケンス'\\n'を使用する必要があります。 同様に、値がキャリッジ・リターン(CR)である文字リテラルに対して'\\u000d'を記述することは正しくありません。 かわりに、'\\r'を使用してください。 最後に、アポストロフィ(')を含む文字リテラルに対して'\\u0027'を記述することはできません。

CおよびC++では、文字リテラルに複数の文字の表現が含まれることがありますが、このような文字リテラルの値は実装定義です。 Javaプログラミング言語では、文字リテラルは常に正確に1文字を表します。

文字列リテラルは、二重引用符で囲まれた0個以上の文字で構成されます。 改行などの文字は、エスケープ・シーケンスで表すことができます(§3.10.7)。

文字列リテラルは、常にString型です(§4.3.3)。

文字列リテラルのコンテンツは、開始"の直後に開始し、一致する終了"の直前に終了する一連の文字です。

行の終了文字(§3.4)が"の開始後、一致する終了"の前に出現する場合、コンパイル時にエラーが発生します。

文字CRおよびLFはInputCharacterではありません。それぞれがLineTerminatorを構成するものとして認識されるため、エスケープ・シーケンス\\ LineTerminatorでも文字列リテラルに表示されない場合があります。

文字列リテラルで表される文字列は、コンテンツに対してString.translateEscapesを実行した場合と同様に、すべてのエスケープ・シーケンスが解釈される文字列リテラルの内容です。

""                    // the empty string
"\""                  // a string containing " alone
"This is a string"    // a string containing 16 characters
"This is a " +        // actually a string-valued constant expression,
    "two-line string"    // formed from two string literals

Unicodeエスケープは非常に早期に処理されるため、単一の改行(LF)を含む文字列リテラルに対して"\\u000a"を記述することは正しくありません。Unicodeエスケープ\\u000aは、変換ステップ1 (§3.3)で実際の改行に変換され、改行がステップ2 (§3.4)でLineTerminatorになるため、ステップ3では文字列リテラルは有効ではありません。 かわりに、エスケープ・シーケンス"\\n"を使用する必要があります。 同様に、単一キャリッジ・リターン(CR)を含む文字列リテラルに対して"\\u000d"を記述することは正しくありません。 かわりに、"\\r"を使用してください。 最後に、二重引用符(")を含む文字列リテラルに対して"\\u0022"を記述することはできません。

長い文字列リテラルは、常に短い部分に分割し、文字列連結演算子+ (§15.18.1)を使用して(カッコで囲まれた)式として記述できます。

実行時、文字列リテラルは、文字列リテラルによって表される文字列を示すクラスString (§4.3.3)のインスタンスへの参照です。

さらに、文字列リテラルは、常にクラスStringの同じインスタンスを参照します。 これは、定数式(§15.29)の値である文字列リテラル(より一般的には)が、メソッドString.intern(§12.5)を実行した場合のように、一意のインスタンスを共有するために「交互」であるためです。

package testPackage;
class Test {
    public static void main(String[] args) {
        String hello = "Hello", lo = "lo";
        System.out.println(hello == "Hello");
        System.out.println(Other.hello == hello);
        System.out.println(other.Other.hello == hello);
        System.out.println(hello == ("Hel"+"lo"));
        System.out.println(hello == ("Hel"+lo));
        System.out.println(hello == ("Hel"+lo).intern());
    }
}
class Other { static String hello = "Hello"; }

package other;
public class Other { public static String hello = "Hello"; }

true
true
true
true
false
true

テキスト・ブロックは、0個以上の文字で構成されており、区切り文字の先頭と末尾で囲まれています。 文字はエスケープ・シーケンス(§3.10.7)で表すことができますが、文字列リテラル(§3.10.5)でエスケープ・シーケンスで表す必要がある改行および二重引用符文字は、テキスト・ブロックで直接表すことができます。

便宜上、§3.3、§3.4、および §3.6の次のプロダクションがここに示されています。

テキスト・ブロックは、常にString型です(§4.3.3)。

オープン・デリミタは、3つの二重引用符文字(""")で始まるシーケンスで、スペース、タブおよびフォーム・フィード文字が0個以上続いて終了し、行終了記号で終了します。

終了デリミタは、3つの二重引用符文字のシーケンスです。

テキスト・ブロックのコンテンツは、開始デリミタの行終了記号の直後に開始し、終了デリミタの最初の二重引用符の直前に終了する一連の文字です。

文字列リテラル(§3.10.5)とは異なり、行終了文字がテキスト・ブロックの内容に表示されるのはコンパイル時エラーではありません。

String html = "<html>\n" +
              "    <body>\n" +
              "        <p>Hello, world</p>\n" +
              "    </body>\n" +
              "</html>\n";

String html = """
              <html>
                  <body>
                      <p>Hello, world</p>
                  </body>
              </html>
              """;

class Test {
    public static void main(String[] args) {
        // The six characters w i n t e r
        String season = """
                        winter""";

        // The seven characters w i n t e r LF
        String period = """
                        winter
                        """;

        // The ten characters H i , SP " B o b " LF
        String greeting = """
                          Hi, "Bob"
                          """;

        // The eleven characters H i , LF SP " B o b " LF
        String salutation = """
                            Hi,
                             "Bob"
                            """;

        // The empty string (zero length)
        String empty = """
                       """;

        // The two characters " LF
        String quote = """
                       "
                       """;

        // The two characters \ LF
        String backslash = """
                           \\
                           """;
    }
}

エスケープ・シーケンス\\nおよび"を使用して、改行文字および二重引用符文字をそれぞれ表すことは、テキスト・ブロックで許可されますが、通常は必要ありません。 例外は、終了デリミタ"""ではない連続する3つの二重引用符文字が表示される場合です。この場合、終了デリミタを模倣しないようにするには、少なくとも1つの二重引用符をエスケープする必要があります。

class Story1 {
    public static void main(String[] args) {
        String story = """
            "When I use a word," Humpty Dumpty said,
            in rather a scornful tone, "it means just what I
            choose it to mean - neither more nor less."
            "The question is," said Alice, "whether you
            can make words mean so many different things."
            "The question is," said Humpty Dumpty,
            "which is to be master - that's all."
        """;
    }
}

class Story2 {
    public static void main(String[] args) {
        String story = """
            "When I use a word," Humpty Dumpty said,
            in rather a scornful tone, "it means just what I
            choose it to mean - neither more nor less."
            "The question is," said Alice, "whether you
            can make words mean so many different things."
            "The question is," said Humpty Dumpty,
            "which is to be master - that's all."""";  // error
    }
}

class Story3 {
    public static void main(String[] args) {
        String story = """
            "When I use a word," Humpty Dumpty said,
            in rather a scornful tone, "it means just what I
            choose it to mean - neither more nor less."
            "The question is," said Alice, "whether you
            can make words mean so many different things."
            "The question is," said Humpty Dumpty,
            "which is to be master - that's all.\"""";  // OK
    }
}

class Code {
    public static void main(String[] args) {
        String text = """
            The quick brown fox jumps over the lazy dog
        """;

        String code =
            """
            String text = \"""
                The quick brown fox jumps over the lazy dog
            \""";
            """;
    }
}

テキスト・ブロックで表される文字列は、コンテンツ内の文字のリテラル・シーケンスではありません。 かわりに、テキスト・ブロックによって表される文字列は、コンテンツに次の変換を順番に適用した結果です:

この仕様で、テキスト・ブロックが特定の文字または文字シーケンスを含むこと、または特定の文字または文字シーケンスがテキスト・ブロックの内にあることが示されている場合、テキスト・ブロックによって表される文字列(コンテンツ内の文字のリテラル・シーケンスとは対照的に)に文字または文字シーケンスが含まれていることを意味します。

String html = """
              <html>\r
                  <body>\r
                      <p>Hello, world</p>\r
                  </body>\r
              </html>\r
              """;

|<html>\u000D\u000A
|    <body>\u000D\u000A
|        <p>Hello, world</p>\u000D\u000A
|    </body>\u000D\u000A
|</html>\u000D\u000A

実行時、テキスト・ブロックは、テキスト・ブロックによって表される文字列を示すクラスStringのインスタンスへの参照です。

さらに、テキスト・ブロックは、常にクラスStringの同じインスタンスを参照します。 これは、テキスト・ブロック(より一般的には、定数式(§15.29)の値である文字列)で表される文字列が、メソッドString.intern(§12.5)を実行した場合のように、一意のインスタンスを共有するために「交互」であるためです。

System.out.println("ab" + """
                          cde
                          """);

String cde = """
             abcde""".substring(2);

String math = """
              1+1 equals \
              """ + String.valueOf(2);

@Preconditions("""
    rate > 0 &&
    rate <= MAX_REFRESH_RATE
""")
public void setRefreshRate(int rate) { ... }

文字リテラル、文字列リテラルおよびテキスト・ブロック(§3.10.4、§3.10.5、§3.10.6)では、エスケープ・シーケンスによって、Unicodeエスケープ(§3.3)を使用せずに一部の非グラフィック文字を表現でき、一重引用符、二重引用符およびバックスラッシュ文字を使用できます。

前述のOctalDigit本番は、§3.10.1に基づいています。 8進数エスケープはCとの互換性のために提供されていますが、\\u0000から\\u00FFまでのUnicode値のみを表現できるため、通常、Unicodeエスケープが推奨されます。

エスケープ・シーケンス内のバックスラッシュに続く文字がLineTerminatorまたはASCIIのb、s、t、n、f、r、"、'、\\、0、1、2、3、4、5、6または7でない場合、コンパイル時にエラーが発生します。

文字リテラル、文字列リテラル、またはテキストブロックのコンテンツ内のエスケープシーケンスは、解釈され、その\と末尾の文字が、EscapeSequence文法におけるUnicodeエスケープで表される単一の文字に置き換えられます。 行の継続エスケープ・シーケンスには、対応するUnicodeエスケープがないため、これは何にも置き換えられずに解釈されます。

行継続エスケープ・シーケンスはテキスト・ブロックに指定できますが、文字リテラルまたは文字列リテラルでは指定できません。これは、それぞれがLineTerminatorを許可しないためです。

NULL型には、NULLリテラルnullで表される1つの値(NULL参照)があり、これはASCII文字から形成されます。

nullリテラルは常にnull型(§4.1)です。