การทำความเข้าใจการแจงนับสกาลา

ฉันต้องบอกว่าฉันไม่เข้าใจชั้นเรียนการแจงนับของ Scala ฉันสามารถคัดลอกและวางตัวอย่างจากเอกสารประกอบได้ แต่ฉันไม่รู้ว่าเกิดอะไรขึ้น

object WeekDay extends Enumeration {
  type WeekDay = Value
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}
import WeekDay._

• หมายถึงอะไรtype WeekDay = Valueและทำไมต้องเขียนแบบนั้น?
• ทำไมval Mon = Value? นั่นหมายความว่าอย่างไร?
• เหตุใดฉันจึงต้องนำเข้าWeekDay วัตถุ และ,
• เมื่อผมเขียนval day = WeekDay.Monทำไมมันพิมพ์WeekDay.Valueไม่พิมพ์WeekDay?

EnumerationลักษณะมีสมาชิกประเภทValueตัวแทนของแต่ละองค์ประกอบของการแจงนับ (ก็จริงระดับชั้น แต่ความแตกต่างไม่ได้เรื่องที่นี่)

จึงobject WeekDayสืบทอดสมาชิกประเภทนั้น บรรทัดtype WeekDay = Valueเป็นเพียงนามแฝงประเภท มันมีประโยชน์เพราะหลังจากที่คุณนำเข้าที่อื่นimport WeekDay._แล้วคุณสามารถใช้ประเภทนั้นได้เช่น:

def isWorkingDay(d: WeekDay) = ! (d == Sat || d == Sun)

แต่เวอร์ชันขั้นต่ำจะเป็น:

object WeekDay extends Enumeration {
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}

และคุณไม่ต้องนำเข้าเนื้อหาของobject WeekDayแต่จากนั้นคุณจะต้องใช้ประเภทWeekDay.Valueและเพื่อตรวจสอบคุณสมบัติสมาชิกแต่ละคน ดังนั้นตัวอย่างจะกลายเป็น

def isWorkingDay(d: WeekDay.Value) = ! (d == WeekDay.Sat || d == WeekDay.Sun)

คำถามที่สองเกี่ยวกับความหมายของval Mon, ... = Value. Enumerationนี้แน่นอนมากทำให้เกิดความสับสนถ้าคุณไม่ได้มองเข้าไปในการดำเนินงานของ นี่ไม่ใช่การกำหนดประเภท! มันถูกเรียกแทนป้องกันวิธีการที่มีชื่อเดียวกัน , ซึ่งจะส่งกลับอินสแตนซ์ที่เป็นรูปธรรมของประเภทValueValue

มันจึงเกิดขึ้นที่คุณสามารถเขียนval a, b, c = fooใน Scala และสำหรับแต่ละค่าa, bและcวิธีการที่fooจะได้รับการเรียกอีกครั้งและอีกครั้ง Enumerationใช้เคล็ดลับนี้เพื่อเพิ่มตัวนับภายในเพื่อให้แต่ละค่าเป็นรายบุคคล

หากคุณเปิดเอกสาร Scala API Enumerationและคลิกที่Visibility: Allคุณจะเห็นวิธีการดังกล่าวปรากฏขึ้น