[scala] 스칼라에서 ‘type’키워드의 기능 이해

Roland Ewald 의 답변은 별명 유형 별칭의 매우 간단한 유스 케이스로 설명했기 때문에 더 좋았습니다. 자세한 내용은 매우 훌륭한 자습서를 소개했습니다. 또 다른 사용 사례의 이름이 게시물에 도입되어 있기 때문에, 형식 멤버 , 내가 매우 좋아 그것의 대부분의 실제 사용 사례, 언급하고 싶습니다 (이 부분에서 가져옵니다 여기를 🙂

추상 유형 :

type T

위의 T는 사용될 유형이 아직 알려지지 않았으며 구체적인 서브 클래스에 따라 정의 될 것이라고합니다. 프로그래밍 개념을 항상 이해하는 가장 좋은 방법은 예를 제공하는 것입니다. 다음 시나리오가 있다고 가정합니다.

Cow 및 Tiger 클래스의 eat 메소드는 매개 변수 유형이 다르기 때문에 Animal 클래스의 eat 메소드를 대체하지 않기 때문에 컴파일 오류가 발생합니다. Cow 클래스의 Grass, Tiger 클래스의 Meat vs. Super 클래스 인 Animal 클래스의 Food는 모든 하위 클래스를 준수해야합니다.

이제 다음 다이어그램을 통해 유형 추상화로 돌아가서 단순히 유형 추상화를 추가하면 서브 클래스 자체에 따라 입력 유형을 정의 할 수 있습니다.

이제 다음 코드를 살펴보십시오.

  val cow1: Cow = new Cow
  val cow2: Cow = new Cow

  cow1 eat new cow1.SuitableFood
  cow2 eat new cow1.SuitableFood

  val tiger: Tiger = new Tiger
  cow1 eat new tiger.SuitableFood // Compiler error

컴파일러는 행복하고 디자인을 향상시킵니다. 젖소에게 젖소에게 먹이를 줄 수 있습니다. 적당한 음식과 컴파일러는 호랑이에게 적합한 음식으로 젖소를 먹이지 못하게합니다. 그러나 cow1의 적합한 음식과 cow2의 SuitabeFood의 차이를 만들고 싶다면 어떨까요? 다시 말해서, 우리가 유형에 도달하는 경로가 (물론 객체를 통해) 기본적으로 중요하다면 일부 시나리오에서 매우 편리합니다. 스칼라의 고급 기능 덕분에 가능합니다.

경로 종속 유형 :
스칼라 객체는 유형을 멤버로 가질 수 있습니다. 유형의 의미는 액세스하는 경로에 따라 다릅니다. 경로는 객체 (일명 클래스의 인스턴스)에 대한 참조에 의해 결정됩니다. 이 시나리오를 구현하려면 Cow 내부에 Grass 클래스를 정의해야합니다. 즉, Cow는 외부 클래스이고 Grass는 내부 클래스입니다. 구조는 다음과 같습니다.

  class Cow extends Animal {
    class Grass extends Food
    type SuitableFood = Grass
    override def eat(food: this.SuitableFood): Unit = {}
  }

  class Tiger extends Animal {
    class Meat extends Food
    type SuitableFood = Meat
    override def eat(food: this.SuitableFood): Unit = {}
  }

이 코드를 컴파일하려고하면 :

  1. val cow1: Cow = new Cow
  2. val cow2: Cow = new Cow

  3. cow1 eat new cow1.SuitableFood
  4. cow2 eat new cow1.SuitableFood // compilation error

4 행에서 Grass는 이제 Cow의 내부 클래스이기 때문에 오류가 표시되므로 Grass의 인스턴스를 만들려면 cow 객체가 필요하며이 cow 객체는 경로를 결정합니다. 따라서 2 개의 소 물체는 2 개의 다른 경로를 발생시킵니다. 이 시나리오에서 cow2는 특별히 만들어진 음식 만 먹고 싶어합니다. 그래서:

cow2 eat new cow2.SuitableFood

이제 모두가 행복합니다 🙂

답변

type Action = () => Unit