Java 返り値の型を場合分け

Question

以下の様に、返り値の型が実行されるまで未定であるメソッドの書き方がわかりません。ジェネリクスを使うと思うのですがどう実装したらよいでしょうか？

public class Test {

  // 引数に"string"か"int"でlistに入った
  public List<> add(String str) {
    List<> list = new ArrayList<>();
    if(str == "string") {
      list.add("hoge");
      list.add("fuga");
    }
    if(str == "int") {
      list.add(1);
      list.add(2);
    }
  }
 return list;
}

// 期待値
Test.add("string") // ["hoge", "fuga"]
Test.add("int") // [1, "2]

ジェネリクスを用いて見様見真似で書いたもの

  public <T> List<T> add(String str) {
    List<T> list = new ArrayList<>();
    if(str == "string") {
      list.add((T) "hoge");
      list.add((T) "fuga");
    }
    if(str == "int") {
      list.add((T) 1);
      list.add((T) 2);
    }
  return list;
  }

Comments

[Zuishin]

https://docs.oracle.com/javase/jp/14/docs/api/java.compiler/javax/lang/model/type/UnionType.html

UnionType というのがありますが、これは目的に沿いますか？

[退会済みユーザー]

最終的に何がやりたいのかを書いてください。
方法を調べている中でジェネリクスに出会ったのだと思うのですが・・・。

Answer 1

javaでは、一般的に動的な型を使わないです。
なので、今回の例だとメソッドを２つ書きます。

if文の分岐の中を別に書くだけなので、特に難しくないとおもいます。
メンテナンスも、if文の中を読まなくてもメソッド単位で探せるので、こちらの方が楽です。

public static void main(String[] args) {
	Test hoge = new Test();

	List<String> sList = hoge.addString();
	System.out.println(sList);

	List<Integer> iList = hoge.addInt();
	System.out.println(iList);
}

public List<String> addString() {
	List<String> list = new ArrayList<>();
	list.add("hoge");
	list.add("fuga");

	return list;
}

public List<Integer> addInt() {
	List<Integer> list = new ArrayList<>();
	list.add(1);
	list.add(2);

	return list;
}

あと型がString or Intのみ

ということが分かっていた場合に、これらのどちらかの型に制約できるのでしょうか？

上記のメソッド以外は存在しないので、呼べません。（コンパイルエラー）

どうしても１つのメソッドでやりたいなら、ワイルドカードというのがあります。

public static void main(String[] args) {
	Test hoge = new Test();

	List<?> sList = hoge.add("string");
	System.out.println(sList);

	sList = hoge.add("int"); // ワイルドなので、代入可能
	System.out.println(sList);

	sList = hoge.add("empty");
	System.out.println(sList);
}

public List<?> add(String str) {
	if ("string".equals(str)) {
		List<String> list = new ArrayList<>();
		list.add("hoge");
		list.add("fuga");

		return list;
	}

	if ("int".equals(str)) {
		List<Integer> list = new ArrayList<>();
		list.add(1);
		list.add(2);

		return list;
	}

	return new ArrayList<>(); // return null;
}

とはいえ、型定義がList<?>なので、自前でCastしないといけないし
型が違えば例外が発生するしで使いにくくて仕方ありません。
まぁ、型付けの厳しい言語への慣れなので好みとも言えますが。

ご提示の

public <T> List<T> add(String str)

を使う場合は、どうしてもワーニングは防げないです。
また、実際に以下のように呼び出しても

List<Integer> iListFake = hoge.add("string");
System.out.println(iListFake.get(0).doubleValue());

Integerが入ったListでなく、Stringが入ったListが返ってくるので
コンパイルエラーになりませんが、実行時に例外（ClassCastException）が発生します。

なので、javaの場合は、おとなしく２つのメソッドに分けた方が良いと思います。
２つにわけるのはよいが、どうしても同じ名前を使いたい場合は、引数に型を指定するのも
まぁありかと思います。（正直ダサいと思いますが）

public List<String>  add(String s) 
public List<Integer> add(int i) 

Answer 2

以下の様に、返り値の型が実行されるまで未定であるメソッドの書き方がわかりません。

なぜそのようなメソッドを書く必要が生じたのでしょうか？それを必要とする設計段階から見直しが必要かもしれません。

Comments

[Zuishin]

見直しが必要となる可能性も高いとは思いますが、Scala の Either のようなものを使いたい可能性もあるのではないかと思います。

Answer 3

あまり良くはないと思うけど
Object

Comments

[m.ts10806]

ジェネリクスが…と目処があるならまず思ったように書いてみればいいと思う

[yochun02]

補足の様に書いてみたんですが、コンパイル時にキャストの警告出てしまいます。

警告：[unchecked] 無検査キャスト
Tが型変数の場合:
[javac] メソッド <T>add(String)で宣言されているT extends Object

[yochun02]

@SupressWarnings(“unchecked”)をつけて見なかったことにはできますが、最終手段にしたいです

[yochun02]

あと型がString or Intのみ
ということが分かっていた場合に、これらのどちらかの型に制約できるのでしょうか？(typescriptみたいにString | Intとかしたい。。。)

[m.ts10806]

型が不定な実装は避けられたほうがいいかなと。