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

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

ただいまの
回答率

87.93%

Javaの変数の種類について

解決済

回答 1

投稿

  • 評価
  • クリップ 0
  • VIEW 1,121
退会済みユーザー

退会済みユーザー

terateilで質問していると、ある回答者様が次のようにおっしゃっていました。

「Java言語のオブジェクト指向では、「静的な/ソースコード上の変数の/コンパイル時の型」と「動的な/インスタンスの/実行時の型」の2種類が存在する」

例えば、ジェネリクスではArrayList<T extends Number>のように宣言しておくと、コンパイル時にはTは全てNumberに置換され、これが「静的なソースコード上の変数のコンパイル時の型」で、ArrayList<Integer>のように呼び出した場合、「動的なインスタンスの実行時の型」はInteger型に成ると思います。

しかしこれって他のものでも起こりうるのでしょうか。

それと、「静的」というのは変化がない、「動的」というのは変化する、というふうに捉えてよろしいのでしょうか。

本来ならその方に追加で質問すべきだったのかもしれませんが、質問内容とズレてしまうので、こちらで質問致します。

ご存知の方、ご教授ください。

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

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 1

checkベストアンサー

+1

そもそも「動的な型」の意味合いが他のものと違う気がしますが、ひとまず置いておきます。
動的な型・静的な型(実行時の型)という言葉は、例えば次のような例で使われます。

List<Integer> list = new ArrayList<Integer>();


この時、変数listの静的な型はList<Integer>であり、実行時の型はArrayList<Integer>です。
listに対して、静的な型が持っているメソッド(addやremoveなど)は使うことができますが、そうでないメソッドはたとえ動的な型が持っているものだとしても(trimToSizeなど)使うことはできません。

さて、今あなたが提示しているジェネリクスの例はこれとはまた違った話のようです。もともとArrayListを始めとしたコレクションで、様々な型のリストを扱うためにそれまで「Objectのリスト」としていたところを、型安全性を保てるように扱う型に制限を加えられるようにした仕組みです。
例示している「TがNumberに置換される」というのはあくまでその「ArrayList<T extends Number>のクラスという設計図を作成するにあたっての便宜上の処理」です。
そしてArrayList<Integer>と書いた時点で、このクラスのTが概念上Integerとして扱われます。コンパイル時もキャストによって対応しているとはいえ、TがIntegerとして振る舞います。これはコードを書いている時点で確定します。つまりどっちも静的な型ということができます。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2016/08/17 19:59

    そうなのですか。
    静的な型及び動的な型についてですが、私の挙げたIntegerやNumberも静的な型なのでしょうか。
    Object o = new Integer(2);
    だとObjectが静的な型、Integerが動的な型になるわけで、ジェネリクスの中の型はまた違った話になりませんか?

    キャンセル

  • 2016/08/18 17:55 編集

    > swordoneさん

    質問 https://teratail.com/questions/43641 での回答コメントから派生した質問ですね。同質問およびコメントでは、ジェネリクス型コンパイル後のバイトコード上の扱い=JVMから見える型システムが主題だったので、「Number=静的な型/Integer=動的な型」という整理で説明していました。一方で、ジェネリクスの恩恵をうけるプログラマ視点=Javaソースコード上の扱いとしては、swordoneさん回答にある通り「どちらも静的な型」でOKだと思います。

    > billさん

    仰る通り「ジェネリクスの中の型はまた違った話」です。ジェネリクスクラスで型消去が行われた"後"の話題は、Java言語においてジェネリクスという機能がどのように実現されるかという裏方の話ですね。ジェネリクスを正確に理解しようとすると、通常のJavaソースコードから読み取れる情報ではなく、JVMにとってどうなっているかという2段階に分けて考える必要があります。

    キャンセル

  • 2016/08/18 21:02

    大方理解することができたと思います。
    「ジェネリクスの恩恵をうけるプログラマ視点=Javaソースコード上の扱いとしては、swordoneさん回答にある通り「どちらも静的な型」でOKだと思います。」
    しかし、ここが良く分かりませんでした。
    swordoneさんの説明を引用しますと、
    「「TがNumberに置換される」というのはあくまでその「ArrayList<T extends Number>のクラスという設計図を作成するにあたっての便宜上の処理」です。
    そしてArrayList<Integer>と書いた時点で、このクラスのTが概念上Integerとして扱われます。コンパイル時もキャストによって対応しているとはいえ、TがIntegerとして振る舞います。これはコードを書いている時点で確定します。」

    私の大雑把な見解では静的な型はソースコード上の見かけの型、動的な型は実行時の型、というような認識なのですが、この分け方だとContainer<T extends Number>においては、Container<Integer>とすると、Numberが静的な型、Integerが動的な型となります。
    「プログラマ視点」だとどちらも静的な型と言えるのでしょうか。

    キャンセル

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

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

関連した質問

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