インスタンス化する時に、newしないときの仕組み

Question

多くの場合、インスタンス化するときに、例えばshitumonクラスがあったときに、
shitumon q= new shitumon();
という形をとっています。そして、これがインスタンスを作る方法だと思ってましたが、newしない次のような形も見かけました
shitumon q=shitumon.getInstance();・・・①
さらに、上の場合、shitumonクラスという共通点があるのですが
matashitumon qq=new matashitumon();
shitumon q=qq.taihen();・・・②
という風に、新しくshitumon型qを準備しても、shitumonクラスとは関係のないクラスが来ています。

初心者のため、かなり抽象的な質問になっているのは理解していますが、
具体性を持たせることも難しいです。
質問したいことは、何故、インスタンス化するときに、右辺はnewする以外に、①、②のような場合があるのですか。

Answer 1

①や②はメソッドを使ってその結果をshitumon型のオブジェクトで返すものというだけであり、**これが直接インスタンスを生成しているとは限りません。**どういうshitumonオブジェクトを返すかはそのメソッド次第です。Calendarのようにnewでインスタンス化しているかもしれませんし、あるいは別途に作成してあったインスタンスを返すだけかもしれません。
確かなのはこれら①②のメソッドが内部で何かをし、shitumon型のオブジェクトを返す、ただそれだけです。

###=とは何か
そもそも質問者がインスタンスを作る方法としてnewを解釈し、それ以外の各メソッドをインスタンス化と理解しているようですが、それぞれの前についている=とは何を意味しているのでしょうか？
=は右辺の要素を左辺に代入するという演算子です。右辺の結果、あるいは右辺が参照している何か、それがプリミティブ値ならばその値を、左辺の変数に代入するという意味なのです。ここに、インスタンスを生成するなどの意味が全くないことに注意して下さい。

###メソッドの型と返り値
メソッドを宣言する際、void(返り値なし)でない限り返り値の型を宣言します。この宣言をすることで、そのメソッドを実行した際にどんな型の値が返ってくるかが呼び出し側からわかります。だからこそ、

shitumon q = shitumon.getInstance(); //・・・① 

shitumon q = qq.taihen(); //・・・② 

のような書き方ができるのです。返り値がshitumon型だとわかっているから、shitumon型の変数に代入できるのです。ここでも、これらのメソッドが新規にインスタンスを生成するということは意味していないことに気をつけて下さい。あくまで「shitumon型を返す」だけで、それが「このために新たに生成する」ということは全く言っていません。

この返すshitumon型の値(オブジェクト)は完全にメソッドの中身任せです。新規にそのインスタンスを生成して返しているかもしれないし、どこかですでに生成していたインスタンスかもしれない。はたまたnullの可能性だってありえます。それはメソッドの中身を見ない限り決してわかりません。とにかく、①や②はインスタンス化しているとは限らないことを念押ししておきます。

Comments

[shichihukujin]

バイト終わりで眠くて、明日理解して返事を返そうと思っていたのですが、的確で分かりやすい回答だったために、すぐに腑に落ちました。
ありがとうございます。

Answer 2

いいえ new しないでいいクラスは基本ありません。

たとえば Calendar

963     public static Calendar getInstance() {
965         Calendar cal = createCalendar(TimeZone.getDefaultRef(), Locale.getDefault());
966         cal.sharedZone = true;
967         return cal;
968     }

1013    private static Calendar createCalendar(TimeZone zone,
1014                                           Locale aLocale) {
1016        // If the specified locale is a Thai locale, returns a BuddhistCalendar
1017        // instance.
1018        if ("th".equals(aLocale.getLanguage())
1019            && ("TH".equals(aLocale.getCountry()))) {
1020            return new sun.util.BuddhistCalendar(zone, aLocale);
1021        } else if ("JP".equals(aLocale.getVariant())
1022                   && "JP".equals(aLocale.getCountry())
1023                   && "ja".equals(aLocale.getLanguage())) {
1024            return new JapaneseImperialCalendar(zone, aLocale);
1025        }
1026
1027        // else create the default calendar
1028        return new GregorianCalendar(zone, aLocale);
1029    }

となり new をしてないわけじゃありません。

Comments

[LLman]

＞new しないでいいクラスは基本ありません
生成する場合はnewが必須だけど、クラスメソッドはnewせずに使えますね。
細かいことだし、べつに多用するものでもないですが。

[退会済みユーザー]

インスタンス化するときに～という質問ですから

[shichihukujin]

インスタンスを生成するときはnewする必要があるということが伝わりました。
確かに、newしなくても、インスタンスが生成される？と思ってしまった節がありました。
理解が固くなりました、ありがとうございます。

Answer 3

デザインパターンでいう FactoryMethodパターンですね。

実際にはどこかで new しています。

普通に

Test test = new Test();

とすると

Testクラスしか生成できませんが、

ITest ( インターフェース, abstract ) を継承し、
Test1, Test2 クラスがあるとします。

これを

ITest Create( int n ){
       if( n == 1 ){
            return new Test1();
       }else{
            return new Test2();
       ]
}

とすると、

引数しだいで 生成するオブジェクトを切り替えることができます。

あとは別のパターン適用のため、楽にするために、「間接的に」生成する。
みたいな感じだと思います。

Comments

[shichihukujin]

どこかでnewされている
このことを理解していなかったから、疑問が出てきてしまいました。
ご協力ありがとうございます。