Scala uygun yöntemi

Question

çıkarım değildir Aşağıdaki yöntemini var

def show[E: Writes, T: Writes](block: RequestWithUser[AnyContent] => Either[E, T]): Action[AnyContent] = { 
    withErr(block) 
} 

Ben bir denetleyici bunun gibi kullanmak

:

def show(id: Long) = CrudAuthAction.show { request => 
    IdeaType.findByIdWithErr(id) 
} 

Ve istek yöntemi seçmeli olmak istiyorum, bu yüzden aynı yöntemle başka imza tanımlamıştır:

def show[E: Writes, T: Writes](block: => Either[E, T]): Action[AnyContent] = { 
    withErr(request => block) 
} 

Ve gayet iyi çalışıyor, ben istek param atlayabilirsiniz

Ama bu gibi kullanmak istediğinizde bu diğer yöntemle

def list[T: Writes](block: RequestWithUser[AnyContent] => T): Action[AnyContent] = { 
    fromRequest(block) 
} 

def list[T: Writes](block: => T): Action[AnyContent] = { 
    fromRequest(request => block) 
} 

ile aynı şeyi yapmaya çalıştıklarında:

def list = CrudAuthAction.list { request => 
    IdeaType.find(request.queryString) 
} 

o, o istek parametresi türü yok söylüyor ve Bunu şu şekilde belirtmeliyim:

def list = CrudAuthAction.list { request: RequestWithUser[AnyContent] => 

İlk durumdan neyin farklı olduğunu görmüyorum ama Bir ... isteğinin uygun türünü tahmin etmek

gördüğüm tek fark birinci durumda, blok bir Ya [E, T] dönüyor, ancak ikinci durumda dönen olmasıdır görünmüyor olabilir sadece genel bir T ...

Answer 1

Sorun, ikinci örnekte, derleyicinin hangi aşırı yüklenme yöntemini kullanacağını bilmemesidir, çünkü T bir işlev türü olabilir. Either açıkça bir işlev olmadığı için, ilk durumda çalışır. Foo böyle tanımlanan sayesinde bu sorunu çözmek için

, sen

def list[T: Writes](block: => Foo[T]): Action[AnyContent] = { 
    fromRequest(request => block.v) 
} 

ikinci yöntemini değiştirmek olabilir:

case class Foo[T](val v:T) 

Maalesef Foo bir örtük dönüştürme şeyleri tekrar kırar ekleyerek sürece Writes tür sınıfındaki her tür için örtülü bir dönüşüm oluşturursunuz.