Hiểu các phép liệt kê theo tỉ lệ

Tôi phải nói rằng tôi không hiểu các lớp liệt kê Scala. Tôi có thể sao chép và dán ví dụ từ tài liệu, nhưng tôi không biết chuyện gì đang xảy ra.

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

• Phương tiện gì type WeekDay = Valuevà tại sao tôi phải viết như vậy?
• Tại sao là val Mon = Value? Điều đó thậm chí có nghĩa là gì?
• Tại sao tôi phải nhập WeekDay đối tượng? Và,
• khi tôi viết val day = WeekDay.Mon, tại sao nó là loại WeekDay.Value, không phải loại WeekDay?

các Enumerationđặc điểm có thành viên loại Valueđại diện cho các yếu tố cá nhân thuộc kiểu liệt kê (nó thực sự là một lớp bên trong, nhưng sự khác biệt không quan trọng ở đây).

Do đó object WeekDaykế thừa thành viên kiểu đó. Dòng type WeekDay = Valuechỉ là một loại bí danh . Nó rất hữu ích, vì sau khi bạn nhập nó ở nơi khác import WeekDay._, bạn có thể sử dụng kiểu đó, ví dụ:

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

Thay vào đó, một phiên bản tối thiểu sẽ chỉ là:

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

và bạn không phải nhập nội dung của object WeekDay, nhưng sau đó bạn sẽ cần sử dụng loại WeekDay.Valuevà để đủ điều kiện thành viên cá nhân. Vì vậy, ví dụ sẽ trở thành

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

Câu hỏi thứ hai là về ý nghĩa của val Mon, ... = Value. Điều này thực sự rất khó hiểu nếu bạn không nhìn vào việc thực hiện Enumeration. Đây không phải là sự phân công của một kiểu! Thay vào đó, nó gọi một phương thức được bảo vệ có cùng tên , phương thứcValue này trả về một kiểu cụ thể Value.

Nó như vậy sẽ xảy ra rằng bạn có thể viết val a, b, c = footrong Scala, và cho mỗi giá trị a, bvà cphương pháp này foosẽ được gọi là một lần nữa và một lần nữa. Enumerationsử dụng thủ thuật này để tăng bộ đếm bên trong để mỗi giá trị là riêng lẻ.

Nếu bạn mở tài liệu API Scala Enumerationvà nhấp vào Visibility: All, bạn sẽ thấy phương thức đó xuất hiện.