Java Stringクラスのコンストラクタについて

Question

JavaのAPIの理解を深めるためにSrtingクラスの中身を読んでいます。
その中にString型を引数に持つコンストラクタがあります。

    public String(String original) {
        this.value = original.value;
        this.hash = original.hash;
    }

このコンストラクタの引数はConstant Poolのオブジェクトという認識で良いのでしょうか。
もし、このStringクラスだった場合、newした際に再帰的な呼び出しになり無限ループになるのではと思いました。

Comments

[yama777]

すいません、少し聞きたいことが間違っていたかもしれません。
上記で記載しているコンストラクタを使用してStringオブジェクトを生成したとします。
new String("aaa");
この場合、文字列「"aaa"」の生成元はどこか
ということが聞きたかったです。

[Zuishin]

new String("aaa") は、リテラル "aaa" から生成された String を引数にしているだけです。
リテラル "aaa" の生成元は new String("aaa") ではないので、再帰的に呼び出しはされません。

リテラルから String への変換はコンパイラの仕事なので気にしなくていいと思いますが、コンパイラは人間に読めるリテラルを、内部表現である char 配列やバイト列に直しているはずです。

[yama777]

ご回答ありがとうございます。
教えて頂いた内容を他のユーザーの回答と一緒に整理して回答欄にコメントしています。
間違いなどあればご指摘いただけると有り難いです!

Answer 1

newした際に再帰的な呼び出しになり無限ループになるのでは

なりません。

Comments

[maisumakun]

どうして「再帰的な呼出になる」と考えたのでしょうか？

[maisumakun]

> このコンストラクタの引数はConstant Poolのオブジェクトという認識で良いのでしょうか。

特にそれに限られたものではなく、すでに存在するStringオブジェクト全般を受け入れます。

[yama777]

申し訳ございません。「再帰的な呼出になる」というのは
実動作が無限ループになるという意味ではなく、
現在の私が理解している範囲でのJavaの言語仕様に則って
コードを読んだときに、こうなるのではという話になります。

再帰的になると考えた理由は、引数に使用されているString型は
自身のStringクラスになるのでは?と考えたためです
new String("aaa");
→new String(new String("aaa"));
→new String(new String(new String("aaa")));
→…
しかし、普通に使えばわかるようにそうはならないので、
この引数に使われているString型はコンストラクタのStringクラス
とは違うもの→とすればJVMが生成したオブジェクトなのかな？
と考えています。

[maisumakun]

> 引数に使用されているString型は
自身のStringクラスになるのでは?

そのとおりですが、Stringには他のコンストラクタもありますので、何ら問題ありません。

（自作のクラスでも、そのクラスのインスタンス自身を受け取るコンストラクタ「も」あってかまいません）

[yama777]

> Stringには他のコンストラクタもありますので、何ら問題ありません。
Zuishinさんのご回答と合わせて整理すると、コンパイラが使用するコンストラクタは
String型ではないので無限ループにはならないということでよいでしょうか。

それぞれの生成の流れをまとめてみました。
何か認識違うところあれば教えていただけると幸いです。
　・文字列リテラル（Constant Poolに配置されている文字列オブジェクト）
　　　→　コンパイラがchar配列型やバイト配列型のコンストラクタでStringオブジェクトを生成
　　　→　生成したオブジェクトをHeap領域に配置
　・Stringオブジェクト（Heap領域に配置された文字列オブジェクト）
　　　→　Heap領域内にあるStringオブジェクトを使い、String型のコンストラクタでオブジェクトを生成
　　　→　生成したオブジェクトをHeap領域に配置

[yama777]

すいません、文字列リテラルのところは「→　生成したオブジェクトをHeap領域に配置」
という記載はいらなかったかもしれません。

[maisumakun]

> 文字列リテラル

これがどのような方法でコンストラクトされているかなんてことは、Java処理系を作るのでもない限り「考えなくていい」ことではないかと考えます。Javaコードで操作・介入できる世界ではありません（特に、Stringはバイトコードに作り付けられているぐらいに特殊な型です）。

[maisumakun]

リテラルからの文字列は、JVMレベルで構築されます。Javaコードによる「コンストラクタ」とは全くの別世界です。

https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-5.html#jvms-5.1

[yama777]

ありがとうございます。
私自身まだJavaの経験が浅いので、今はとりあえず見えている部分の理解に努めようと思います。
ここらへんの知識は実務で使いそうなったら、専門書などで詳しく勉強してみようと思います。
ご回答ありがとうございました!

[yama777]

貼っていただいたリンクも参考にして勉強させていただきます!

[maisumakun]

> 実務で使いそうなったら

Javaのコンパイラ、VMなどのツールそのものに手を入れるでもしない限り、縁のない世界です。