在繼續閱讀實際文章之前，我想感謝令人敬畏的Javaslang庫的作者Daniel Dietrich ，他在我面前有了這個主意：

@lukaseder嘗試使用靜態方法<T，T1擴展T，... Tn擴展T> Seq <T> toSeq（T1 t1，…，Tn tn）{…}（從我的手機中……）

— Daniel Dietrich（@danieldietrich） 2016年2月16日

逆變通用界

這一切都始于一條推文：

您是否不想用Java編寫<T super T1＆T2＆…＆TN>？

— Lukas Eder（@lukaseder） 2016年2月16日

我想做一些事情，像模式匹配一??組類型的普通超級類型，方法如下：

<T super T1 | T2 | ... | TN>

請注意，我真正想要的是對聯合類型的支持，而不是我最初聲稱的交集類型。

我為什么要這么做？ 因為它將很好地添加到jOOλ庫中 ，該庫具有Java的類型安全元組 ：

class Tuple3<T1, T2, T3> {final T1 v1;final T2 v2;final T3 v3;// Lots of useful stuff here }

在元組中最好的是迭代所有屬性的forEach()方法：

tuple(1, "a", null).forEach(System.out::println);

上面將簡單地產生：

1 "a" null

現在，此forEach()方法的參數類型是什么？ 它看起來像這樣：

class Tuple3<T1, T2, T3> {void forEach(Consumer<? super T1 | T2 | T3> c) {} }

消費者將收到類型為T1 或 T2 或 T3的對象。 但是接受前面三種類型的普通超級類型的消費者也可以。 例如，如果我們有：

Tuple2<Integer, Long> tuple = tuple(1, 2L); tuple.forEach(v->System.out.println(v.doubleValue()));

上面的代碼可以編譯，因為Number是Integer和Long的常見超級類型，并且它包含doubleValue()方法。

不幸的是，這在Java中是不可能的

Java當前僅對異常捕獲塊支持聯合/求和類型（ 另請參見代數數據類型 ），您可以在其中編寫以下內容：

class X extends RuntimeException {void print() {} } class X1 extends X {} class X2 extends X {}// With the above try {... } catch (X1 | X2 e) {// This compiles for the same reasons!e.print(); }

但是不幸的是，catch塊是Java中唯一允許使用求和類型的位置。

這是Daniel巧妙而狡猾的解決方法發揮作用的地方。 我們可以編寫一個靜態方法來使用泛型執行某種“模式匹配”（如果您斜視），反之亦然：

static <T, T1 extends T, T2 extends T, T3 extends T > void forEach(Tuple3<T1, T2, T3> tuple, Consumer<? super T> consumer ) {consumer.accept(tuple.v1);consumer.accept(tuple.v2);consumer.accept(tuple.v3); }

現在可以安全地使用以上方法來推斷T1，T2和T3的公共超級類型：

Tuple2<Integer, Long> t = tuple(1, 2L); forEach(t, c -> {System.out.println(c.doubleValue()); });

符合預期：

1.0 2.0

這是有道理的，因為泛型類型約束是簡單地“相反地”指定的，即，當T1 extends T強制T1 extends T ，強制是T super T1 …

如果你真的很quin眼；-)

據說Daniel在Javaslang即將推出的模式匹配API中使用了此技術。 我們期待看到這一結果！

翻譯自: https://www.javacodegeeks.com/2016/02/ingenious-workaround-emulate-sum-types-java.html

總結

以上是生活随笔為你收集整理的在Java中模拟求和类型的巧妙解决方法的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。