java 联合,Java中的联合类型

I've been working with C# for a while and trying to get more familiar with Java. So I'm trying to migrate some of the basic patterns I use on daily basis in C# even only to understand the gap between JVM and dotnet and figure out how to deal with them. Here is the first problem I encountered - an option type - somethiong which is quite easy to achieve in many languages i.e. Koltlin:

sealed class Option {

object None : Option()

data class Some(val value: T) : Option()}

so I can easily create a map functor:

fun Option.map(f: (T) -> B): Option =

when (this) {

is Option.None -> Option.None

is Option.Some -> Option.Some(f(this.value))}

Is this something I can achieve in Java? Im not concerned about the lack of extentions methods, I can leave without that, but how to perform the actual type matching without having to rely on an unchecked cast? At least thats what IntelliJ is complaining about...

解决方案

in the specific case you mentioned, the following would work:

(as @oldcurmudgeon mentioned) java.util.Optional it also has a map function.

there's also the guava library, that has com.google.common.base.Optional, in case you want it for java version 7 and below. the equivalent of map here would be the transform function.

Java doesn't have pattern matching. The closest you can get to pattern matching in Java is with the visitor pattern.

usage:

UnionType unionType = new TypeA();

Integer count = unionType.when(new UnionType.Cases() {

@Override

public Integer is(TypeA typeA) {

// TypeA-specific handling code

}

@Override

public Integer is(TypeB typeB) {

// TypeB-specific handling code

}

});

boilerplate code:

interface UnionType {

R when(Cases c);

interface Cases {

R is(TypeA typeA);

R is(TypeB typeB);

}

}

class TypeA implements UnionType {

// ... TypeA-specific code ...

@Override

public R when(Cases cases) {

return cases.is(this);

}

}

class TypeB implements UnionType {

// ... TypeB-specific code ...

@Override

public R when(Cases cases) {

return cases.is(this);

}

}