Skip to main content
OP の理解追記
ソース リンク
Yuki Inoue
  • 1.7万
  • 19
  • 89
  • 208

OP追記

リンク先を読み込んでいった結果、次の理解を得ました。

  • generics にワイルドカードを指定した場合、 java コンパイラにおいては、そのメソッド呼び出し・戻り値は以下のように解決される。
  • キャプチャが ? super T の場合
    • キャプチャを直にとるメソッド呼び出し: T のサブクラスならばできる
    • キャプチャの戻り値型: Object として取り扱う
  • キャプチャが ? extends T の場合
    • キャプチャを直にとるメソッド呼び出し: できない。 (null だけはいける)
    • キャプチャの戻り値型: T として取り扱う
  • キャプチャがただの ? の場合
    • キャプチャを直にとるメソッド呼び出し: できない。 (null だけはいける)
    • キャプチャの戻り値型: Object として取り扱う
  • キャプチャは作成された時点で他のどの型とも異なる方として取り扱われる。
    型推論的なキャプチャの解決は行われない。

OP追記

リンク先を読み込んでいった結果、次の理解を得ました。

  • generics にワイルドカードを指定した場合、 java コンパイラにおいては、そのメソッド呼び出し・戻り値は以下のように解決される。
  • キャプチャが ? super T の場合
    • キャプチャを直にとるメソッド呼び出し: T のサブクラスならばできる
    • キャプチャの戻り値型: Object として取り扱う
  • キャプチャが ? extends T の場合
    • キャプチャを直にとるメソッド呼び出し: できない。 (null だけはいける)
    • キャプチャの戻り値型: T として取り扱う
  • キャプチャがただの ? の場合
    • キャプチャを直にとるメソッド呼び出し: できない。 (null だけはいける)
    • キャプチャの戻り値型: Object として取り扱う
  • キャプチャは作成された時点で他のどの型とも異なる方として取り扱われる。
    型推論的なキャプチャの解決は行われない。
ソース リンク
jyukutyo
  • 796
  • 3
  • 5

  • コンパイルエラーの理由

Either<java.lang.Integer,java.lang.String>のStringとEither<java.lang.Integer,?のキャプチャ#1>の?のキャプチャ#1が型として一致しないためコンパイルエラーとなります。
Javaでは型引数に「?」を指定した場合、各?の型を表すためのプレースホルダとしてキャプチャが割り当てられます。そのキャプチャがStringとして受け入れ可能かは静的に検証できないためエラーとなります。
StringObjectにしたとしても、やはりプレースホルダーで特定される型の値としてObjectが受け入れ可能なことを静的に検証することはできないためエラーとなります。

  • 回避方法

その場しのぎの方法ではStringを?にします。手元では動作しましたが、実用的でない感じです。

public static void main(String[] args) {
    List<Integer> integerList = Arrays.asList(1, 2);
    List<Either<Integer, ?>> eithers = integerList.stream()
            .map(i -> Either.ofLeft(i))
            .collect(Collectors.toList());
    System.out.println(eithers);
}

型をはっきりさせるため、EitherofLeft,ofRightで2つの型どちらも指定させます。

public static <L,R> Either<L,R> ofLeft(L left) {
    return new Either<>(left, null);
}
public static <L,R> Either<L,R> ofRight(R right) {
    return new Either<>(null, right);
}

public static void main(String[] args) {
    List<Integer> integerList = Arrays.asList(1, 2);
    List<Either<Integer, String>> eithers = integerList.stream()
            .map(i -> Either.<Integer, String>ofLeft(i))
            .collect(Collectors.toList());
}

これも動作します。

キャプチャについては、こちらの解説記事がよいと思います。
Javaの理論と実践: Generics のワイルドカードを使いこなす、第 1 回
https://www.ibm.com/developerworks/jp/java/library/j-jtp04298.html

Scalaであれば、Nothingがあるのでいいですね。

object AppTest extends App {
  val integerList = List(1, 2)
  val eithers: List[Left[Int, Nothing]] = integerList.map((i) => Left(i))
}