Mühürlü özellik nedir?

Mühürlü sınıflar 'Scala'da Programlama' bölümünde açıklanmıştır, ancak mühürlü özellikler açıklanmamıştır. Kapalı bir özellik hakkında daha fazla bilgiyi nerede bulabilirim?

Mühürlü bir özellik mühürlü bir sınıfla aynı olup olmadığını bilmek isterim? Ya da değilse, farklar nelerdir? Kapalı bir özelliği kullanmak ne zaman iyi bir fikirdir (ve değil)?

Bir sealedözellik yalnızca bildirimi ile aynı dosyada genişletilebilir.

Genellikle bir alternatif sağlamak için kullanılırlar enums. Yalnızca tek bir dosyada genişletilebildiğinden, derleyici olası tüm alt türleri bilir ve bunun için akıl yürütebilir.

Örneğin beyan ile:

sealed trait Answer
case object Yes extends Answer
case object No extends Answer

Eğer bir maç tam kapsamlı değilse derleyici bir uyarı verecektir:

scala> val x: Answer = Yes
x: Answer = Yes

scala> x match {
     |   case No => println("No")
     | }
<console>:12: warning: match is not exhaustive!
missing combination            Yes

Bu nedenle, olası alt tiplerin sayısı sınırlıysa ve önceden biliniyorsa, kapalı özellikler (veya kapalı soyut sınıf) kullanmalısınız. Daha fazla örnek için liste ve seçenek uygulamalarına göz atabilirsiniz .

mühürlü bir özellik mühürlü bir sınıfla aynı mıdır?

Gidebildiği kadarıyla sealed, evet. Elbette traitve arasındaki normal farkları paylaşırlar class.

Ya da değilse, farklar nelerdir?

Farazi.

Kapalı bir özelliği kullanmak ne zaman iyi bir fikirdir (ve değil)?

Eğer varsa sealed class X, o zaman Xalt sınıfların yanı sıra kontrol etmeniz gerekir . Aynı şey sealed abstract class Xveya için de geçerli değildir sealed trait X. Yani yapabilirsin sealed abstract class X, ama bu sadece traitve az avantaj için çok daha ayrıntılı .

abstract classOver a kullanmanın ana avantajı, traitparametreleri alabilmesidir. Bu avantaj özellikle tip sınıflarını kullanırken önemlidir. Diyelim ki sıralı bir ağaç inşa etmek istiyorsunuz. Bunu yazabilirsiniz:

sealed abstract class Tree[T : Ordering]

ama bunu yapamazsın:

sealed trait Tree[T : Ordering]

çünkü bağlam sınırları (ve görünüm sınırları) örtük parametrelerle uygulanır. Özelliklerin parametre alamadığı göz önüne alındığında, bunu yapamazsınız.

Şahsen, sealed traitbelirli bir sebep beni kullanmazsa tercih ederim ve kullanıyorum sealed abstract class. Ve ince nedenlerden bahsetmiyorum, ama tip sınıflarını kullanmak gibi görmezden gelemediğiniz yüz yüze nedenler.

Gönderen günlük scala blogda :

Bir özellik "mühürlendiğinde" tüm alt sınıfları aynı dosya içinde bildirilir ve bu da alt sınıf kümesini belirli derleyici kontrollerine izin veren sonlu yapar.

Ayrıca özellikleri belirtmek gerekir hissediyorum:

Mühürlü modi fi er fi tanımlamaların de sınıfları için geçerlidir. Bir mühürlü sınıf doğrudan devralan şablon miras sınıfı aynı kaynak dosyada tanımlandığını ise haricinde kalıtsal olabilir. Ancak, kapalı bir sınıfın alt sınıfları her yerde devralınabilir.

- M. Odersky. Scala dil belirtimi, sürüm 2.8. çevrimiçi, Eylül., 2013.

Kısaca:

• Kapalı özellikler yalnızca aynı dosyada genişletilebilir
• Bu, derleyicinin tüm olası alt türleri kolayca bilmesini sağlar
• Muhtemel alt tiplerin sayısı sınırlı ve önceden biliniyorsa kapalı özellikler kullanın
• Java'da numaralandırma gibi bir şey yaratmanın bir yolu
• Cebirsel veri türlerinin (ADT) tanımlanmasına yardımcı olun

ve daha fazla bilgi için Scala'daki kapalı özellikler hakkında her şey