我正在使用Cats库。在Scala中,代码如下:
import cats.Semigroupal
import cats.instances.option._
val r = Semigroupal.tuple2(Option(1), Option(2))
tuple2
定义为:
def tuple2[F[_], A0, A1](f0:F[A0], f1:F[A1])(implicit semigroupal: Semigroupal[F], invariant: Invariant[F]):F[(A0, A1)]
以下隐式值实际上以Semigroupal
和Invariant
的形式传递(通过Intellij IDEA Scala插件检查):
package cats
package instances
trait OptionInstances ...
implicit val catsStdInstancesForOption: ...
如何通过Java代码在catsStdInstancesForOption
函数中传递tuple2
?
Semigroupal$.MODULE$.tuple2(
Option.apply(1), Option.apply(2),
...,// and here?
... //here
);
如果需要,可依赖Cats库:
<cats.core.version>1.5.0</cats.core.version>
...
<!-- https://mvnrepository.com/artifact/org.typelevel/cats-core -->
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-core_2.12</artifactId>
<version>${cats.core.version}</version>
</dependency>
答案 0 :(得分:3)
从Java引用在包对象内部定义的Scala对象是一件很痛苦的事情,据我所知,没有充分的理由-这完全是因为编译器决定修改名称的方式(例如,您不能引用直接从Java转到cats.instances.package$option$
。
我以前想做这种事情,而我找到的最佳解决方案是这样的:
import cats.Apply;
import cats.Semigroupal$;
import cats.instances.OptionInstances;
import java.lang.reflect.Field;
import java.lang.reflect.Method;
import scala.Option;
import scala.Tuple2;
public class Test {
public static Apply<Option> getOptionInstance() {
try {
Class<?> cls = Class.forName("cats.instances.package$option$");
Field f = cls.getField("MODULE$");
Method m = f.getType().getMethod("catsStdInstancesForOption");
return (Apply<Option>) m.invoke(f.get(null));
} catch (Exception e) {
// Shouldn't happen but do something here anyway.
return null;
}
}
public static void main(String[] args) {
Apply<Option> optionInstance = getOptionInstance();
Option<Tuple2<Integer, Integer>> pair = Semigroupal$.MODULE$.tuple2(
Option.apply(1),
Option.apply(2),
optionInstance,
optionInstance
);
System.out.println(pair);
}
}
这很可怕,但是至少反射和投射被捆绑在一个地方。
如果需要从Java使用很多实例,则可以从getOptionInstance
中提取一些逻辑以减少重复,但这仍然不会很有趣。如果您可以在Scala端编写一些实用程序代码以从Java使用,那么制作一个对Java更友好的cats.instances
并不难,只是不要使用包对象,等等。值得我希望Cats在开发Java时更加关注Java友好性,但据我所知,没有人关心它。)