なぜこれらの2つの条件はコンパイラによって異なって扱われますか？

Question

次の2つのコードサンプルは同じロジックを表します。文字列がnullで、そのチェックに基づいて分岐するかどうかを確認します。最初のサンプルは安全にコンパイルされます。 2つめは、Javaジェネリックスに関連する型の不一致エラーを生成します。私の質問は十分に単純だと思われますが、それは私には分かりません。なぜコンパイラはこれら2つのステートメントを別々に扱いますか？ここで何が起こっているのか、どうすればわかりますか？

/* compiles cleanly */ 
protected Collection<String> getUserRoles(Object context, 
     Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    if (cookieValue != null) { 
     return securityService.getRolesForUser(cookieValue); 
    } else { 
     return Collections.emptySet(); 
    } 
} 


/* produces a compiler error */ 
protected Collection<String> getUserRoles(Object context, 
      Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    return cookieValue == null ? Collections.emptySet() 
      : securityService.getRolesForUser(cookieValue); 
} 

Eclipseからコンパイラエラーが発生しました。要求されたよう

Type mismatch: cannot convert from Set<capture#1-of ? extends Object> to Collection<String>

は、ここでSecurityServiceインターフェイスの関連部分です。

public interface SecurityService { 
    public Set<String> getRolesForUser(String userId); 
} 

Answer 1

問題は、コンパイラが3値演算子の戻り値をどのように解釈するかにあります。 part 15.25 of the JLSまたはquestionを参照してください（これは、オートボクシングによってさらに複雑になり、コンパイル時ではなく実行時にエラーが発生するため）。

これが正しい方向に向いていることを願っています。

Answer 2

Collections.emptySet()は、型指定のないSetを返すからです。代わりに、これを試してください：

Collections.<String>emptySet() 

Answer 3

Collections.emptySet（）は、第TをType Inferenceのために使用される

public static final <T> Set<T> emptySet() 

として宣言されます。第2のgetUserRoles実装はJavaコンパイラが正しいタイプを検出するには複雑すぎます。それが問題の理由です。 回避方法：

protected Collection<String> getUserRoles(Object context, 
      Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    Collection<String> a = null; 
    return cookieValue == null ? a = Collections.emptySet() 
      : securityService.getRolesForUser(cookieValue); 
}