Yok için type argümanı belirtebilir veya derleyiciye bir Option [String] olduğunu söyleyebilir misiniz?

Question

Benim kodunda böyle bir şey yazabilirsiniz acaba:

None[String] 

Answer 1

Eğer kullanabilirsiniz Option türünü belirtmek isterseniz:

Hiçbiri: Opsiyon [dize]

Kolon açık bir tür ek açıklamadır.

import scalaz._ 
import Scalaz._ 

none[String] // res0: Option[String] = None 

Answer 2

Sen scalaz ile can

bir tartışma her türlü alabilir iken

case object None extends Option[Nothing] 

, NoneNothing ile parametreli bir Option özel bir örneği/tekil olduğunu. Ayrıca, Option,, Nothing Scala'daki tüm türleri Nothing tüm türleri genişletdiğinden, Option[Nothing]Option herhangi bir yerde kullanılabileceği anlamına gelir. Yani, Nothing değerini temsil edecek başka değerler oluşturmaya gerek yoktur, tek bir None tüm durumlar için yeterli olacaktır.

Genişletilebilirlik açısından Option mühürlü bir soyut sınıftır, dolayısıyla genişletemezsiniz. Alt sınıfları Some ve None'u genişletemezsiniz, çünkü bunlar örnek sınıflardır.

Genellikle None[String] gibi bir şey yazmayı denemenize gerek yoktur, çünkü daha spesifik Option türü bağlamda bir yerde tanımlanmıştır. Örneğin, bir fonksiyon argüman olarak:

def f(o: Option[String]) = ...; f(None) 

veya

bir incelik olarak:

val o: Option[String] = None 

Üstelik, gerçekten, bu bir Nothing değeri ise bir seçenek olduğunu tip umurumda değil yapamazsın bunun dışında bir şey olsun, Java'daki null gibi ama Monadic davranışıyla.

Scalaz: none[String]'da benzer bir şey yapabildiğinizden bahsedilmiştir. Bu, türlerin açıklanması gereken bazı durumlarda ayrıntıyı azaltmak için çok uygun olsa da, sadece bir sözdizimidir.Böyle olarak tanımlanan oluyor: çoğu durumda sadece bir Option[String] iyi çalışır bekleniyor None kullanarak o

scala> Option.empty[String] 
res0: Option[String] = None 

Not:

final def none[A]: Option[A] = None 

Answer 3

Option bir parametreli türüdür ve bu şekilde tanımlanır::

... sealed abstract class Option[+A] ... 

o 2 diğer sınıflara uzatılabilir ediliyor:

final case class Some[+A](x: A) extends Option[A] 

ve

Answer 4

kimsenin Option.empty varlığından söz şaşırıyorum.

def f(o: Option[String]) = ...; f(None) 

NoneOption sayesinde olmak kovariant bunu, Option[Nothing] uzanır, bu (ve Nothing her bir alt tipi söz konusu olur: ya da (Aleksey Izmailov ile gösterildiği gibi), diğer bir deyişle, aşağıdaki corrrect olan Diğer tür), None her zaman T için Option[T] ile uyumludur.

scala> None: Option[String] 
res0: Option[String] = None