質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.61%

  • Java

    13529questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

コンスタントプールに関して

解決済

回答 2

投稿

  • 評価
  • クリップ 0
  • VIEW 297

sususu

score 43

いつもお世話になっております。
コンスタントプールの仕組みがいまいちわかりません。
下記のコードにはなぜコンスタントプールが適用されないのでしょうか?
結果は false:trueです。

package zzz;

public class ZZZ {

    public static void main(String[] args) {
        String str = "apple";
        String[] array = {"a","p","p","l","e"};
        String result = "";
        for(String val : array){
            result = result + val;
        }
        boolean a = str == result;
        boolean b = str.equals(result);
        System.out.println(a + ":" + b);
    }
}

普段『==』は参照先が同じでない限りfalseを返し
そしてStringに関しては中身が違くともコンスタントプールの仕組みでtrueが返る
と理解していました。
説明文に
『このコンスタントプールは文字列リテラルを使った時だけ有効です』と書いてあります。
上記のコードだとstrもresultもString型だからtrue:trueかと思っていましたがどこの解釈がいけないのでしょうか?
すいませんがどなたかご教授お願いいたします。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 2

+2

コンパイラはまだそんなに賢くないので、strとresultのナカミが同一とは判断できないためですね

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/05/07 00:43

    そうなってくると初期値で設定した時しかコンパイラは判断できないということなのでしょうか?

    キャンセル

  • 2018/05/07 00:46

    そういうことです。で、演算の途中結果などもあるため、わざわざコンスタントプールの対象にはならないというのはちょっと考えるとわかりますね

    キャンセル

  • 2018/05/07 01:01

    さて、遠い将来、コンパイラが賢くなって、コードの解析でstrとresultが同一だと判断できるとしたら、
    その時はそのコードのコンパイル結果には、arrayとforは削除され、resultは単なる代入に置き換えられる、ということになりますねー
    これやられると、ちょっと困りますねw

    #まあ、それに近いことが現実になってたりして

    キャンセル

  • 2018/05/07 01:16

    ご回答ありがとうございました!javaの仕組みも少しづつ覚えていこうと思います!
    フォローさせていただきますm(_ _)m

    キャンセル

checkベストアンサー

+1

ソース上にある"abc"のような文字列リテラル(文字列定数と思ってもいいですが)は同じ内容なら同じインスタンスを指すのですが、演算して新たなインスタンスが生成されるともはやそれはリテラルではなくなります。

(A) String a = "abc";

aにはリテラルの参照が入っています。

(B) String a = "ab" + "c";

このような単純ケースもコンパイラーがコンパイル時に連結演算をやってくれるためリテラルの参照がaに入ります。しかし

(C)

String a1 = "ab";
Stirng a2 = "c";
String a = a1 + a2;


このくらいになるともはやコンパイラーは「aの中身が"abc"になるはず」という推論をあきらめちゃいます。そのため実行時に演算することになりますが、文字列を連結した演算結果であってリテラルの参照にはなりません。

文字列リテラルが同一のインスタンスになる仕組みはコンパイラーがクラスをロードしたとき、クラスファイルの中に含まれる「ソース上に記述した文字列リテラル」を全てString#internで同一のStringインスタンスに集約する手間をかけているからです。

String#internはそれなりに高速ではありますが、無視してよいほど高速なわけではありません。

(C)のような演算結果"abc"という文字列をString#internにより定数プールへ登録するような真似をするとJavaプログラム全体が致命的な速度低下を招くだろうと思います。それゆえ演算結果はinternされず結果としてコンスタントプールに存在する文字列リテラルと(例えたまたま内容が一致していたとしても)「異なるインスタンス」となると思ってください。


追記:コンパイル時に連結されるケースに配慮して説明を変更しました。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/05/07 00:47 編集

    失礼しました。上の回答にあるような単純ケースでは"abcd"という文字列リテラルとして認識されます。つまりコンパイル時に連結演算が行われます。しかしもっと複雑なコードでは結果が"abcd"になるかどうかをコンパイラーが計算しきれないため、演算は実行時に行われ結果として上の回答のようになります。
    ---
    回答本文を訂正いたしました。

    キャンセル

  • 2018/05/07 01:08

    具体的な説明どうもありがとうございました!同じインスタンスかどうかを判断して登録するタイミングは、メソッドとかを実行しながらではなくクラスをロードするもっと最初の方の段階ということですね !
    補足まで丁寧にありがとうございます!
    コードだけではなくjavaの仕組みも覚えていかないと実感しました!
    ありがとうございました!

    キャンセル

  • 2018/05/07 01:11 編集

    > メソッドとかを実行しながらではなくクラスをロードするもっと最初の方の段階ということ

    おっしゃるとおりです。実行の最初に一度だけやることのオーバーヘッドは許容するわけです。Javaの仕組みというよりはこの考え方は多くの言語でも共通です。オーバーヘッドを最小にしようとするのはどの設計者でも考えますのでどれも似たような方式になるのだと思います。

    キャンセル

  • 2018/05/07 01:21

    プログラミング言語に共通することだったのですね!今回流れがわかってスッキリしました。これで寝れそうです!
    ありがとうございました、また質問あるときはよろしくお願いいたしますm(__)m

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.61%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る

  • Java

    13529questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。