Scala uyarı eşleşmesi çok kapsamlı olmayabilir

Question

Ben Scala için biraz yeniyim. Aşağıda benim kodum. Bunu düzeltmek nasıl

Warning:(35, 11) match may not be exhaustive. 
It would fail on the following input: Some(_) 
    Option(Session.get().getAttribute("player")) match { 
     ^

derlerken

Option(Session.get().getAttribute("player")) match { 
    case None => { 
    val player = new Player(user.getEmail, user.getNickname).createOrGet 
    Session.get().setAttribute("player", player) 
    } 
} 

aşağıdaki uyarıyı almak? Uyarıyı engellemek için kodu yeniden yazmanın bir yolu var mı? (Scala sürüm 2.10.2 kullanıyorum)

Answer 1

desen eşleştirme, sen hesap olmalıdır: Bir Some vaka dahil etmek gerek

if(Session.get().getAttribute("player") == null){ 
    val player = new Player(user.getEmail, user.getNickname).createOrGet 
    Session.get().setAttribute("player", player) 
} 

Answer 2

Yalnızca None numaralı kasa ile eşleşiyorsanız, Some(something) davasına göre daha doğru bir yol olacaktır. Option(...), None veya Some(_) verebilir, dolayısıyla hata. Bu durumda

sadece olacağını yapmaya çalıştıkları şeye daha iyi bir çözüm:

Option(Session.get().getAttribute("player")) match { 
    case Some(value) => // do something here 
    case None => { 
    val player = new Player(user.getEmail, user.getNickname).createOrGet 
    Session.get().setAttribute("player", player) 
    } 
} 

Answer 3

tüm olası durumlar için veya "geri dönüş" (case _ => ...) sağlayın. Option, Some veya None olabilir, ancak yalnızca None kasasına karşı eşleşiyorsunuz.

Session.get().getAttribute("player") döndürdüğünde MatchError (özel durum) alırsınız.

Kodunuz bir şey döndürmediği için, match olmadan bunu yeniden yazabilirim ve isEmpty'u kontrol etmeliyim. Bu olsa

if(Option(Session.get().getAttribute("player")).isEmpty) { 
    val player = new Player(user.getEmail, user.getNickname).createOrGet 
    Session.get().setAttribute("player", player) 
} 

Session.get().getAttribute("player") == null kontrol daha gerçekten çok farklı değil.