Java：部分應用泛型類 - 如何消除冗餘類型參數？

Question

在我的Java應用程序中，我創建了返回Either<A, B>對象的方法。

但是，我真正使用的類型是Either<String, T>，即String始終是左側類型參數，而右側參數可以是任何類型。

這裏是functionaljavaEither執行我使用：

https://github.com/functionaljava/functionaljava/blob/master/core/src/main/java/fj/data/Either.java

這裏Either被定義爲：

public abstract class Either<A, B> 

爲了讓我的代碼更簡潔一些，我想創建一個通用類LeftAppliedEither<T>，其將代表Either，其中左類型參數被設置爲字符串。

所以我想這樣做是這樣的：

public abstract class LeftAppliedEither<T> extends Either<String, T> {} 

然而，這是行不通的。

首先，Either可以因爲其唯一的構造函數定義private不會被我延長。其次，假設我已經通過簡單地將Either的代碼複製到我的代碼中（我們將其稱爲MyEither）並刪除私有構造函數（並解決一些小的編譯錯誤）來解決第一個問題。

所以我在我的代碼如下類：

package fj.data; 

//import .... 

public abstract class MyEither<A, B> { 
    // private MyEither() { 
    // 
    // } 

    //the rest of the code is more or less like in the original Either 

} 

不過，我想有以下問題：

我不會寫下面的代碼：

LeftAppliedEither<Integer> hello = LeftAppliedEither.left("hello"); 

我只可以做這樣的事情：

MyEither<String,Integer> hello = LeftAppliedEither.left("hello"); 

那麼，這是我正在做這個改變的全部原因 - 我希望不要在我的代碼中使用帶有兩個參數的泛型，因爲指定左邊的String是多餘的。

除了重寫整個LeftAppliedEither類以外，是否有更好更優雅的方法來實現這一點？

Answer 1

什麼你有在這裏是一個靜態方法：

LeftAppliedEither<Integer> hello = LeftAppliedEither.left("hello"); 

這個靜態方法不受繼承。正如你在代碼中看到的那樣，它帶來了自己的泛型。因此，繼承不會幫助你在這裏：

/** 
* Construct a left value of either. 
* @param a The value underlying the either. 
* @return A left value of either. 
*/ 
public static <A, B> Either<A, B> left(final A a) { 
    return new Left<A, B>(a); 
} 

所以基本上你需要做的是通過一個String重構完整的非此即彼的類來代替每個「A」，並刪除所有「A」的仿製參數本例所示：

/** 
* Construct a left value of either. 
* @param a The value underlying the either. 
* @return A left value of either. 
*/ 
public static <B> MyEither<B> left(final String a) { 
    return new MyLeft<B>(a); 
} 

不幸的是，沒有更多的你可以做什麼（除了顯而易見的，只寫了「串」在評論中提到每次它可能是多餘的，但它也有幫助。你明白瞭解代碼，所以我覺得它很有用）