스칼라에서 다른 모든 유형의 하위 유형은 어떻게 없습니까?

스칼라를 사용한 함수형 프로그래밍에 대한 Martin Odersky의 코스 과정을 수강하고 있으며 현재로서는 이해하지 못하는 두 가지 사항을 배웠습니다.

1. 스칼라는 다중 상속을 지원하지 않습니다
2. Nothing 다른 모든 유형의 하위 유형입니다

이 두 진술은 함께 살 수 없으므로 어떻게 정확하게 이루어 집니까? "다른 모든 유형의 하위 유형"의 의미는 정확히 무엇입니까

편집 1

에서 스칼라 API , Nothing로 정의됩니다 abstract final class Nothing extends Any... 그래서 어떻게 다른 클래스를 확장 할 수 있습니까?

서브 타이핑과 상속은 서로 다른 두 가지입니다! 모든 것을 확장Nothing 하지는 않으며 하위 유형 이며 확장 합니다.Any

사양 ^[§3.5.2은] 의 하위 유형-관계를 규율하는 특별한 경우가 있습니다 Nothing:

§3.5.2 적합성

• [...]
• 모든 값 유형
  T에 대해scala.Nothing <: T <:scala.Any
• 모든 유형 생성자 T(유형 매개 변수 수)
  scala.Nothing <: T <: scala.Any
• [...]

어디 <:기본적 의미 "의 하위 유형입니다."

이것이 수행되는 방법에 관해서는 : 우리는 몰라, 그것은 컴파일러의 마술과 구현 세부 사항입니다.

종종 프로그래머가 할 수없는 일을 언어가 수행합니다. 이에 대한 대응 Nothing: Scala의 Any모든 것에서 제외하고 모든 것을 상속 Any합니다. 왜 Any무언가로부터 물려받지 못 합니까? 당신은 그렇게 할 수 없습니다. 스칼라는 왜 그렇게 할 수 있습니까? 스칼라는 규칙이 아니라 Nothing모든 것의 하위 유형이되는 것은 이것의 또 다른 예일뿐입니다.

스칼라는 다중 상속을 지원하지 않는다고 말하면 메소드 구현을 여러 번 상속하는 것을 말합니다. 물론 클래스에서 여러 인터페이스 / 특성을 구현할 수 있으며 동일한 메소드를 정의 할 수도 있지만 특성 선형화로 인해 서로 다른 구현간에 충돌이 발생하지 않습니다.

당신은 클래스가있는 경우 일반적으로 C1방법과 f()과 수업 C2방법과 또한 f()다중 상속 수단을 다음을, 당신은 어떻게 든 모두 구현을 상속 할 수 있습니다 f(). 이것은 여러 문제를 야기 할 수 있으며, 스칼라는 하나의 클래스에서만 상속하고 여러 특성의 경우 특성의 순서에 따라 하나의 구현을 선택하여 해결할 수 있습니다.

에 관해서는 Nothing아무것도 정의 된 속성이나 방법이 없기 때문에 일, 정말 간단합니다. 따라서 상속 충돌이 발생하지 않습니다. 그러나 나는 당신의 놀람의 대부분이 다중 상속에 대한 다른 이해에서 비롯된 것으로 가정합니다.

특성 선형화가 상속의 모호성을 효과적으로 제거하고 다중 특성에서 상속 을 다중 상속 으로 간주하지 않는다는 것을 이해 하면 괜찮을 것입니다.

이것이 어떻게 실현되는지에 관해서 : 컴파일러는 결국 이것을 책임집니다. 스칼라 언어 사양 섹션 3.5.2 적합성을 참조하십시오 .

For every type constructor T (with any number of type parameters), scala.Nothing <: T <: scala.Any.

즉, 컴파일러를 올바르게 구현하려면 Nothing사양에 따라 모든 것을 하위 유형으로 처리 해야합니다. 명백한 이유로, Nothing시스템에로드 된 모든 클래스에서 확장되도록 정의 된 것은 아니지만 Nothing하위 유형 으로 정의하는 관련성은 하위 유형 지정과 관련된 모든 위치로 제한됩니다.

여기서 중요한 점은 type의 인스턴스가 없다는 Nothing것이므로 처리는 형식 검사로 엄격하게 제한됩니다. 이는 모두 컴파일러 영역에 있습니다.