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