Tập quán của Null / Nothing / Unit trong Scala

Tôi vừa đọc: http://oldfashionedsoftware.com/2008/08/20/a-post-about-nothing/

Theo như tôi hiểu, Nulllà một đặc điểm và trường hợp duy nhất của nó là null.

Khi một phương thức nhận đối số Null, thì chúng ta chỉ có thể chuyển nó một Nulltham chiếu hoặc nulltrực tiếp, chứ không phải bất kỳ tham chiếu nào khác, ngay cả khi nó là null ( nullString: String = nullví dụ).

Tôi chỉ tự hỏi trong những trường hợp sử dụng Nullđặc điểm này có thể hữu ích. Ngoài ra còn có đặc điểm Không có gì mà tôi thực sự không thấy bất kỳ ví dụ nào nữa.

Tôi thực sự không hiểu sự khác biệt giữa việc sử dụng Không có gì và Đơn vị làm kiểu trả về là gì, vì cả hai đều không trả về bất kỳ kết quả nào, làm thế nào để biết nên sử dụng kết quả nào khi tôi có một phương thức thực hiện ghi nhật ký?

Bạn có sử dụng Đơn vị / Null / Không có gì khác ngoài kiểu trả về không?

Bạn chỉ sử dụng Không có gì nếu phương thức không bao giờ trả về (có nghĩa là nó không thể hoàn thành bình thường bằng cách trả về, nó có thể ném ra một ngoại lệ). Không có gì là không bao giờ được khởi tạo và ở đó vì lợi ích của hệ thống kiểu (trích lời James Iry: "Lý do Scala có kiểu dưới cùng được gắn với khả năng thể hiện phương sai trong các tham số kiểu" ). Từ bài viết bạn đã liên kết đến:

Một cách sử dụng khác của Nothing là kiểu trả về cho các phương thức không bao giờ trả về. Điều đó có nghĩa nếu bạn nghĩ về nó. Nếu kiểu trả về của một phương thức là Không có gì và hoàn toàn không tồn tại trường hợp Không có gì, thì phương thức như vậy không bao giờ được trả về.

Phương thức ghi nhật ký của bạn sẽ trả về Đơn vị. Có một Đơn vị giá trị để nó thực sự có thể được trả lại. Từ tài liệu API :

Đơn vị là một kiểu con của scala.AnyVal. Chỉ có một giá trị kiểu Đơn vị, (), và nó không được đại diện bởi bất kỳ đối tượng nào trong hệ thống thời gian chạy cơ bản. Một phương thức có kiểu trả về Unit tương tự như một phương thức Java được khai báo là void.

Bài báo bạn trích dẫn có thể gây hiểu lầm. Các Nullloại là có để tương thích với các máy ảo Java , và Java nói riêng.

Chúng ta phải xem xét Scala đó :

• là hướng đối tượng hoàn toàn: mọi giá trị là một đối tượng
• được nhập mạnh: mọi giá trị phải có một kiểu
• cần xử lý các nulltham chiếu để truy cập, ví dụ: thư viện Java và mã

do đó, nó trở nên cần thiết để xác định một kiểu cho nullgiá trị, đó là Nullđặc điểm và có nullnhư là trường hợp duy nhất của nó.

Không có gì đặc biệt hữu ích trong Nullkiểu trừ khi bạn là kiểu hệ thống hoặc bạn đang phát triển trên trình biên dịch. Đặc biệt, tôi không thể thấy bất kỳ lý do hợp lý nào để xác định Nulltham số kiểu cho một phương thức, vì bạn không thể truyền bất kỳ thứ gì ngoàinull

Bạn có sử dụng Đơn vị / Null / Không có gì khác ngoài kiểu trả về không?

Unit có thể được sử dụng như thế này:

def execute(code: => Unit):Unit = {
  // do something before
  code
  // do something after
}

Điều này cho phép bạn chuyển một khối mã tùy ý được thực thi.

Nullcó thể được sử dụng làm kiểu dưới cùng cho bất kỳ giá trị nào có thể làm trống. Một ví dụ là thế này:

implicit def zeroNull[B >: Null] =
    new Zero[B] { def apply = null }

Nothing được sử dụng trong định nghĩa của None

object None extends Option[Nothing]

Điều này cho phép bạn gán một Nonecho bất kỳ loại nào Optionvì Nothing'mở rộng' mọi thứ.

val x:Option[String] = None

nếu bạn sử dụng Nothing, không có việc gì phải làm (bao gồm bảng điều khiển in) nếu bạn làm gì đó, hãy sử dụng loại đầu raUnit

object Run extends App {
  //def sayHello(): Nothing = println("hello?")
  def sayHello(): Unit = println("hello?")
  sayHello()
}

... thì làm thế nào để sử dụng Nothing?

trait Option[E]
case class Some[E](value: E) extends Option[E]
case object None extends Option[Nothing]

Tôi chưa bao giờ thực sự sử dụng Nullloại, nhưng bạn sử dụng Unit, nơi bạn sẽ sử dụng java void. Nothinglà một kiểu đặc biệt, vì như Nathan đã đề cập, không thể có trường hợp nào của Nothing. Nothinglà một loại được gọi là dưới cùng, có nghĩa là nó là một loại phụ của bất kỳ loại nào khác. Đây (và tham số kiểu tương phản) là lý do tại sao bạn có thể thêm bất kỳ giá trị nào vào Nil- là a List[Nothing]- và danh sách sau đó sẽ thuộc loại phần tử này. Nonecòn nếu thuộc loại Option[Nothing]. Mọi nỗ lực truy cập các giá trị bên trong một vùng chứa như vậy sẽ ném ra một ngoại lệ, vì đó là cách hợp lệ duy nhất để trả về từ một phương thức của kiểu Nothing.

Không có gì thường được sử dụng ngầm. Trong đoạn mã dưới đây, val b: Boolean = if (1 > 2) false else throw new RuntimeException("error") các khác khoản là loại có gì , đó là một lớp con của Boolean (cũng như bất kỳ AnyVal khác). Do đó, toàn bộ phép gán hợp lệ cho trình biên dịch, mặc dù mệnh đề else không thực sự trả về bất cứ điều gì.

Đây là một ví dụ về Nothingtừ scala.predef:

  def ??? : Nothing = throw new NotImplementedError

Trong trường hợp bạn không quen (và công cụ tìm kiếm không thể tìm kiếm trên đó) ??? là chức năng giữ chỗ của Scala cho bất kỳ thứ gì chưa được triển khai. Giống như của Kotlin TODO.

Bạn có thể sử dụng thủ thuật tương tự khi tạo các đối tượng giả: ghi đè các phương thức không sử dụng bằng một notUsedphương thức tùy chỉnh . Ưu điểm của việc không sử dụng ???là bạn sẽ không nhận được cảnh báo biên dịch cho những thứ bạn không bao giờ có ý định thực hiện.

Về lý thuyết phạm trù Không có gì là đối tượng ban đầu và Đơn vị là đối tượng đầu cuối .

https://en.wikipedia.org/wiki/Initial_and_terminal_objects

Các đối tượng ban đầu còn được gọi là coterminal hoặc Universal , và các đối tượng cuối cũng được gọi là cuối cùng .

Nếu một đối tượng là cả hai ban đầu và thiết bị đầu cuối , nó được gọi là một đối tượng không hay vô đối tượng.