Scala에서 Null / Nothing / Unit 사용

방금 읽었습니다 : http://oldfashionedsoftware.com/2008/08/20/a-post-about-nothing/

내가 이해 Null하는 한은 특성이고 유일한 인스턴스는 null.

메소드가 Null 인수를 받으면 Null참조 또는 null직접 전달 만 할 수 있지만 null 인 경우에도 다른 참조 는 전달할 수 없습니다 ( nullString: String = null예 :).

이 Null특성을 사용하는 것이 어떤 경우에 유용 할 수 있는지 궁금 합니다. 더 이상 예를 볼 수없는 Nothing 특성도 있습니다.

둘 다 어떤 결과도 반환하지 않기 때문에 Nothing과 Unit을 반환 유형으로 사용하는 것의 차이점이 무엇인지 실제로 이해하지 못합니다.

Unit / Null / Nothing을 반환 유형 이외의 것으로 사용하고 있습니까?

메서드가 반환되지 않는 경우에만 Nothing을 사용합니다 (즉, 반환하여 정상적으로 완료 할 수 없으며 예외가 발생할 수 있음). 어떤 것도 인스턴스화되지 않으며 유형 시스템의 이점을 위해 존재합니다 (James Iry를 인용하기 위해 : "Scala가 최하위 유형을 갖는 이유는 유형 매개 변수의 분산을 표현하는 능력과 관련이 있습니다." ). 링크 한 기사에서 :

Nothing의 또 다른 용도는 반환하지 않는 메서드에 대한 반환 유형입니다. 생각해 보면 말이됩니다. 메서드의 반환 유형이 Nothing이고 Nothing의 인스턴스가 전혀 존재하지 않는 경우 이러한 메서드는 반환되지 않아야합니다.

로깅 방법은 Unit을 반환합니다. 실제로 반환 될 수 있도록 단위 값이 있습니다. 로부터 API 문서 :

단위는 scala.AnyVal의 하위 유형입니다. Unit 유형 (())의 값은 하나만 있으며 기본 런타임 시스템의 객체로 표현되지 않습니다. 리턴 유형이 Unit 인 메소드는 void로 선언 된 Java 메소드와 유사합니다.

인용 한 기사는 오해의 소지가 있습니다. Null유형과의 호환성을 위해이 자바 가상 머신 , 특히 자바.

우리는 Scala 를 고려해야합니다 .

• 완전히 객체 지향적입니다. 모든 값은 객체입니다.
• 강력한 유형 : 모든 값에는 유형이 있어야합니다.
• null액세스에 대한 참조 (예 : Java 라이브러리 및 코드) 를 처리해야합니다.

따라서 특성 인 null값에 대한 유형을 정의 할 필요가 있으며 유일한 인스턴스가됩니다.Nullnull

Null유형 시스템이 아니거나 컴파일러에서 개발하지 않는 한 유형 에서 특별히 유용한 것은 없습니다 . 특히 Null메서드에 대한 형식 매개 변수 를 정의하는 합리적인 이유를 볼 수 없습니다.null

Unit / Null / Nothing을 반환 유형 이외의 것으로 사용하고 있습니까?

Unit 다음과 같이 사용할 수 있습니다.

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

이를 통해 실행될 임의의 코드 블록을 전달할 수 있습니다.

Nullnullable 값에 대한 하단 유형으로 사용될 수 있습니다. 예는 다음과 같습니다.

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

Nothing 정의에 사용됩니다. None

object None extends Option[Nothing]

이를 통해 None모든 유형을 '확장' Option하기 때문에 모든 유형 에을 할당 할 수 있습니다 Nothing.

val x:Option[String] = None

를 사용하면 할 Nothing일이 없습니다 (인쇄 콘솔 포함) 뭔가를하면 출력 유형을 사용하십시오Unit

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

... 어떻게 사용 Nothing합니까?

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

나는 실제로 Null유형을 사용한 적이 없지만 UnitJava에서 사용하는 void. NothingNathan이 이미 언급했듯이의 인스턴스가있을 수 없기 때문에 특수 유형입니다 Nothing. Nothing이것은 다른 유형의 하위 유형임을 의미하는 소위 하단 유형입니다. 이것이 (및 반 변성 유형 매개 변수) Nil- 앞에 값을 추가 할 수있는 이유 입니다. 즉 List[Nothing], 목록은이 요소 유형이됩니다. None또한 유형 Option[Nothing]. 이러한 컨테이너 내부의 값에 액세스하려고 할 때마다 예외가 발생합니다 Nothing. 유형의 메서드에서 반환하는 유일한 유효한 방법이기 때문입니다 .

암시 적으로 자주 사용되는 것은 없습니다 . 아래 코드 val b: Boolean = if (1 > 2) false else throw new RuntimeException("error") 에서 else 절은 Nothing 유형 이며, 이는 Boolean (및 기타 AnyVal)의 하위 클래스입니다. 따라서 else 절이 실제로 아무것도 반환하지 않더라도 전체 할당이 컴파일러에 유효합니다 .

다음은 Nothingfrom 의 예입니다 scala.predef.

  def ??? : Nothing = throw new NotImplementedError

익숙하지 않은 경우 (검색 엔진에서 검색 할 수없는 경우) ???아직 구현되지 않은 항목에 대한 Scala의 자리 표시 자 기능이 있습니다. Kotlin의 TODO.

모의 객체를 생성 할 때 동일한 트릭을 사용할 수 있습니다. 사용하지 않는 메서드를 사용자 지정 notUsed메서드로 재정의 합니다. 사용하지 않을 때의 장점은 ???구현할 의도가없는 것에 대해 컴파일 경고를받지 않는다는 것입니다.

카테고리 이론의 관점에서 아무것도 이다 초기 개체 와 단위 A는 터미널 객체 .

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

초기 객체 는 coterminal 또는 universal 이라고도 하며 터미널 객체 는 final 이라고도 합니다.

객체가 initial 및 terminal 모두 인 경우 0 객체 또는 null 객체 라고 합니다.