如何定义与更高种类的类型绑定的上下文(类型构造函数)

本文介绍了如何定义与更高种类的类型绑定的上下文(类型构造函数)的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！ 问题描述

我尝试了以下

def test[Option[T]: Ordering](value1: Option[T], value2: Option[T]) = { val e = implicitly(Ordering[Option[T]]pare(value1, value2)) }

但是不起作用?知道是什么问题吗?

but does not work ? Any idea what's the issue ?

编辑

这当然有用

def test[T](value1: Option[T], value2: Option[T]) (implicit ev: Ordering[Option[T]]) = { evpare(value1, value2) }

推荐答案

如果您确实坚持使用上下文绑定，则可以编写lambda类型:

If you really insist on using a context bound you can write a type lambda:

def test[T: ({type L[x] = Ordering[Option[x]]})#L](value1: Option[T], value2: Option[T]) = { val e = implicitly(Ordering[Option[T]]pare(value1, value2)) }

或者使用 kind-projector 插件，您应该可以使其变得更整洁:

Or with the kind-projector plugin you should be able to make this a bit cleaner:

def test[T: Lambda[x => Ordering[Option[x]]]](value1: Option[T], value2: Option[T]) = { val e = implicitly(Ordering[Option[T]]pare(value1, value2)) }