コンパイル時間：変数のインスタンスが存在しませんUが存在します

Question

次の文は、無意味ではありますが、構文的には健全です。

final Stream<LongStream> foobar = IntStream.empty() 
    .flatMap(x -> IntStream.empty() 
     .mapToObj(y -> IntStream.empty() 
      .mapToLong(z -> 1))); //compilation error here on `z -> 1` 

それが戻って、コンパイルされないが：

のJava：互換性のない型：ラムダ式 の不良戻り型のないインスタンス（S）型変数（S）のUが、ようにJavaの存在を。

：util.stream.Streamあなたがflatmapを遅らせる場合は、すべてが正常に動作しjava.util.stream.IntStream

に準拠します

.mapToObj(..).flatMap(..)とちょうど.flatMap(..)の違いは何ですか？余分なフラット・マップ・コールを排除する方法はありますか？

Answer 1

.mapToObj(..).flatMap(..)と.flatMap(..)完全に異なる署名を期待しています。

.mapToObj(..).flatMap(..)は、int -> Object関数と、Object -> Stream<?>関数を想定しています。

.flatMap(..)は、int -> IntStreamの機能を想定しています。

コードを分解した場合は、int -> IntStream関数と互換性がないint -> Stream<LongStream>関数を渡しています。

あなたはこの単純化されたコードでsame errorを持っているでしょう：ラムダ内部ラムダ内部ラムダはひどいアイデアである理由

IntStream.empty().flatMap(x -> Stream.of(LongStream.empty())); 

Answer 2

私はそれがやっているものを打破するためにあなたの方法をリファクタリングしました：

IntFunction<LongStream> f1 = y -> IntStream.empty().mapToLong(z -> 1); 
IntFunction<LongStream> f2 = x -> IntStream.empty().mapToObj(f1); 
final Stream<LongStream> foobar = IntStream.empty().flatMap(f2); 

我々はここで間違っ二つのことがあります。

ライン2上のラムダがLongStreamを返すのではなく、Stream<LongStream>ていませんストリーム内の各intをLongStreamに変換しています。それを単一のLongStreamにする場合は、flatMapToLongを実行する必要があります。

3行目のflatMapは、int -> intという機能が必要です。ただし、代わりにmapToObjを使用できます。これは、提供しているメソッドを使用します。

ので修正方法は次のようになります。

IntFunction<LongStream> f1 = y -> IntStream.empty().mapToLong(z -> 1); 
IntFunction<LongStream> f2 = x -> IntStream.empty().mapToObj(f1).flatMapToLong(i -> i); 
final Stream<LongStream> foobar = IntStream.empty().mapToObj(f2);