1

私はこの署名を持っています

public final <T1 extends Pair<Pair<T3, T4>, Pair<T3, T4>>,
              T3 extends Enum<MyConstant>,
              T4 extends BigDecimal>
        void doSomething(final int number, final T1 pair);

こんな感じで使えます

Pair<Pair<MyConstant, BigDecimal>, Pair<MyConstant, BigDecimal>> pair = 
    new Pair<Pair<MyConstant, BigDecimal>, Pair<MyConstant, BigDecimal>>(
        new Pair<MyConstant, BigDecimal>(const1, value1),
        new Pair<MyConstant, BigDecimal>(const2, value2));
_myObject.doSomething(1, pair);

この署名が欲しいのですが、うまくいきません:

public final <T1 extends Pair<T2, T2>,
              T2 extends Pair<T3, T4>,
              T3 extends Enum<MyConstant>,
              T4 extends BigDecimal>
        void doSomething(final int number, final T1 pair);

次のエラーが表示されます。

Bound mismatch: The generic method doSomething(int, T1) of type
MyObject is not applicable for the arguments (int,
Pair<Pair<MyConstant,BigDecimal>,Pair<MyConstant,BigDecimal>>). The
inferred type Pair<MyConstant,BigDecimal> is not a valid substitute
for the bounded parameter <T2 extends Pair<T3,T4>>
4

1 に答える 1

1

あなたがやろうとしていることを正しく理解していれば、これはうまくいくはずです:

public final <T1 extends Pair<? extends Pair<? extends Enum<MyConstant>, 
                                             ? extends BigDecimal>, 
                              ? extends Pair<? extends Enum<MyConstant>, 
                                             ? extends BigDecimal>>>
    void doSomething(final int number, final T1 pair);

一致するブレースが正しくなることを願っています;-)

于 2013-06-14T10:44:24.927 に答える