なぜIdeaは `orElseGet`の` isPresent（） `チェックがないのを警告しますか？

Question

Optionalが空であるか、その両方が存在するかどうかわかりません。アイデアは、この時点で私に警告している、私の実際のコードで

final Optional<String> a = Optional.of("1"); 
final Optional<String> b = Optional.empty(); 
if (a.isPresent() || b.isPresent()) { 
    // prefer a over b 
    Integer result = a 
     .map(s -> s + "0") 
     .map(Integer::parseInt) 
     .orElseGet(() -> Integer.parseInt(b.get())); // <-- warning for b.get() 
    System.out.println(result); 
} 

：

'Optional.get（）' isPresent」せずに後者のケースでは、私はいつもb上aを好むしたいです（） 'チェック。

なぜですか？ aまたはbが存在するかどうかを事前に確認しています。また、このコードは期待通りに機能し、出力は10です。 b = Optional.of("2")を入力した場合、出力は10です。これはaが好ましいからです。 a = Optional.empty()と入力すると、出力は期待どおり2になります。

私は何か間違っているのですか、またはアイデアの間違っていますか？

Answer 1

ここで混同されている考えは、のisPresentと同じオプションチェーンのチェックを想定しています。

これは明らかにOptionalの外側にあり、(a.isPresent() || b.isPresent())のためにチェックされます。それはあなたがa.isPresent（）とでb.isPresent（）や状態を確認している...ので、これらのチェックの空のオプションbにorElseGetを呼び出すための方法がないことを

Answer 2

を教えてくれない可能性ができます。条件の最初の部分が真の "a.isPresent（）"であるが、b.isPresent（）は偽であることが判明したため警告が表示されています。しかし、||ブロック内のコードが実行を開始します。この場合、b.getは "NoSuchElementException"で失敗します。

あなたのロジックによれば、bが存在しないか空であれば、b.get（）に到達できませんが、bを超えることが望ましいからです。しかし、IDEは分析して、すべてのことが間違っているか、あなたのコードで何が悪いことかを積極的に伝えます。

は次のように何かをするようにしてください：それは毛羽立ちのアイデアのように見える

if(a.isPresent()){ 
//logic if a is there 
} 
else if(b.isPresent){ 
//logic if a not there and b is there 
} 
else{ 
logic if both are not there 
} 

Answer 3

この場合には間違っているが、それはそれはb.isPresent()がa.orElseGet(...)フォールバックで保証されているかどうかの決定の複雑さをどうするだと考えられます。

は、一般的に私はIDEは何かについても警告している場合、それは通常は良いアイデア次の開発者がコードを見に来るようにも背後にある意図を解読するために苦労しそうだ、それを修正するために（しゃれがが意図した）ことがわかりますコード。

既にOptionalを使用しているので、私はisPresentメソッドを使用しないで、あなたのためにこのAPIを使用することを検討します。この警告を満たすはずの2つのオプション（punが）を見ることができます。

の両方が存在しない場合は、適切な代替を提供することができます：

final Optional<String> a = Optional.of("1"); 
final Optional<String> b = Optional.empty(); 

// prefer a over b 
Integer result = a 
    .map(s -> s + "0") 
    .map(Integer::parseInt) 
    .orElseGet(() -> b.map(Integer::parseInt).orElse(0)); 

System.out.println(result); 

を使用すると、両方が空であることを期待することはありません場合は、あなたの代わりにフォールバックのIllegalStateExceptionを投げることができます。

final Optional<String> a = Optional.of("1"); 
final Optional<String> b = Optional.empty(); 

// prefer a over b 
Integer result = a 
    .map(s -> s + "0") 
    .map(Integer::parseInt) 
    .orElseGet(() -> b.map(Integer::parseInt).orElseThrow(IllegalStateException::new)); 

System.out.println(result); 

Answer 4

ロングストーリーショート：IDEA 2017.3で修正されました（IDEA-174759参照）。

はい、bは、b.get()ポイントに存在することが保証されています。そしてはい、IDEAの警告は間違っています。その理由は、現在のバージョンでのIDEA分析は、オプションのチェーン内で何が起こっているのかを理解するのに十分なほど洗練されていないからです。結果は、Integer::parseIntメソッド参照が決してnullを生成しないという事実にも依存することに注意してください。そうでない場合は、aが存在する場合でもOptional.mapは空のオプションを生成する可能性があります。 a非数値列を含む場合b警告が所望さを有するので、ここでは、存在しないかもしれない。この場合

private static Integer myParseInt(String s) { 
    try { 
     return Integer.parseInt(s); 
    } catch (NumberFormatException e) { 
     return null; 
    } 
} 

... 

if (a.isPresent() || b.isPresent()) { 
    // prefer a over b 
    Integer result = a.map(s -> s + "0").map(MyClass::myParseInt) 
         .orElseGet(() -> Integer.parseInt(b.get())); 
    System.out.println(result); 
} 

：、例えば、以下のコードを検討します。

IDEA静的解析を常に改善します。あなたは今、元のコードで表示されていない警告を見ることができるように

を、しかし、NULL値可能myParseIntについて表示：2017.3では、これらの構造を理解します。

IDEA 2017.3はまだ利用できません。ただし、この機能はIDEA Communityの一部であるため、masterブランチのGitHub sourcesを使用して自分で構築することができます。

免責事項：私はIntelliJ IDEA開発者であり、この問題を解決するために取り組んでいます。