返される関数に追加のキャストが必要な理由（互換性のない型）？

Question

何とか別のクラスBまたは他の1にマッピングすることができるクラスAがあります：

class A {} 

class B { 
    final A a; 

    B(A a) { 
     this.a = a; 
    } 
} 

引数として渡された第二のクラスタイプに基づいて、別のクラスにAからマッパーを返すマッパーの工場もあります。

class Mapper { 

    static Function<A, B> a2bmapper = B::new; 

    static <R> Function<A, R> findMapper(Class<R> cls) { 
     if(cls == B.class) { 
      return a2bmapper; 
     } 
     return null; 
    }   
} 

問題は、この行に：

return a2bmapper; 

Javaコンパイラで互換性のないタイプが発生する：必須R、Found BとIDEがキャストすると、Function<A,R>になります。何故ですか？ Rは汎用タイプに過ぎず、Bに置き換えてください。

Answer 1

意味的には、B.classを渡すときにこのメソッドがFunction<A,B>以外を返す方法はありませんが、コンパイラはこれを実現するほどスマートではありません。例えば、ifの状態に誤って変更された場合、セマンティクスを破るのに十分です。 JLSは、通常、このような状況で注意すべき側面を誤っています。

これは、あなたが望むようにFunction<A,R>に明示的にキャストする必要がある状況です。

Answer 2

findMapperはFunction<A, R>を返します。Rは何でもかまいません。必ずしもBである必要はありません。

このメソッドをString.classとしましょう。今すぐRはStringです。この関数はFunction<A, String>を返しますが、代わりにFunction<A, B>を返しています。コンパイラはこの可能性を見て、あなたにノーと言います。

"でも、返信前にRがBかどうか確認しました。あなたは叫んだ。さて、このチェックは実行時に行われ、コンパイラはそれほど気にしません。

タイプ消去のため、すべての汎用パラメータは実行時にただObjectです。そのため、この問題を解決するにはFunction<A, B>にキャストすることができます。

Answer 3

ジェネリックは純粋にJavaのコンパイル時のものです。コンパイラはジェネリックを使用して、コードがコンパイル時にタイプセーフであるかどうかをチェックします。

しかし、コンパイラが行うチェックには制限があります。コンパイラが行っているチェックは、コンパイラがifステートメントを分析して、returnステートメントの時点でRが常にBに等しいと結論づけるまで行っていません。

ifステートメントよりも複雑な場合 - コンパイラがコード内のすべての可能なパスを分析し、安全だと判断するでしょうか？論理は任意に複雑になる可能性があります。

Answer 4

私は悪い英語を残念に思っていますので、可能な限り多くの例を取ります。私はあなたが私の意味を理解することができればいいと思う。

パラメータタイプがObjectの場合の簡単な例を示します。

String string(Object value){ 
    return value instanceof String ? value : null; 
} 

まだvalueの参照型がObjectあるので、ダウンキャストStringにに必要な上記の例：

String string(Object value){ 
    return value instanceof String ? (String)value : null; 
} 

とその後、我々は一般的な引数を持つ例を拡大あなたはStringの型をTに強制的にキャストすることで解決できます。バインドされたTがStringクラスの型でない場合、実行時にキャストが失敗します。

<T,R> T string(R value){ 
    // the code cast R to T will generate a compile unchecked warnings. 
    return value instanceof String ? (T) value : null; 
} 

// the code is ok on compile stage, but will throw a ClassCastException on runtime. 
Date date= string("bad"); 
// the code is ok both on compile & runtime. 
// because a unbounded generic argument which will reference to Object . 
string("ok"); 

---

、あなたがFunction<T,R>に関数をキャストすることによって、あなたのコードを解決することができます上記の例のベース：

static <R> Function<A, R> findMapper(Class<R> cls) { 
    if (cls == B.class) { 
     return (Function<A, R>) a2bmapper; 
    } 
    return null; 
} 

我々は、一般的なパラメータRがBである知っているが、まだ未確認のコンパイルの警告を生成コンパイラが知りません。コンパイラにそれを知らせるようにすることができます：

static <R> Function<A, R> findMapper(Class<R> cls) { 
    if (cls == B.class) { 
     return a2bmapper.getClass().cast(a2bmapper); 
    } 
    return null; 
}