5
이 관용구는 계단 책에 꽤 몇 번 나타납니다 텍스트 책에서 몇 가지 포인트를 만들려고 노력 외에"val a : A = new B"무엇이 요점입니까? (?)
val b:A = new B
또는
val b = new B
val b2:A = b
을, 당신은 왜를 선언 할 것 유추 한 타입과 다른 타입입니까?
그런데이 이름은 무엇입니까?
A
답변
10
필자는 인터페이스 프로그래밍에 대한 관용구와 유사하다고 주장한다.
val b:A = new B
을함으로써 당신은 그 시점 후 A에 의해 제공되는 인터페이스보다 더 아무것도에 의존하지 않는 있는지 확인하십시오. 즉, b:A = new C으로 변경하기로 결정하면 아무 것도 깨지지 않을 것입니다.
+0
나는 Liskov 대체 원리 (http://en.wikipedia.org/wiki/Liskov_substitution_principle)라고 불렀다. – thoredge
+3
나는 그것이 서로 다르다고 말할 것이다. 그러나 다르다. 명시 적으로 'b'유형을 제공한다고해서 'new B'에서 'new C'로 갈 때 프로그램의 동작이 동일하게 유지되는 것을 보장하지는 않습니다. Liskov 대체 원리는보다 개념적/고차원적인 개념 인 것으로 보인다. – aioobe
+1
이것을 _type ascription_이라고합니다. 'b : A'를 선언함으로써 타입'A'를 타입 B의 값으로 변환합니다. 당신은 사실, "내가 아는 한이 일은 단지 A"라고 말하고 있습니다. 선언을'val b = new B : A'라고 쓸 수도 있습니다. –
14
그것은 유용 할 수 있습니다
- 프로그래머의 의도 묘사 (나는 B를 생성 을하지만, 내가 관심 단지 행동) 당신이에 정의 된 메소드 만 사용하는 것을 보장
- A. 나중에 코드를 변경하지 않고도 콘크리트 구현을 바꿀 수 있습니다.
- IDE 또는 REPL을 사용할 때 사용할 수있는 자동 완성 목록을 단순화합니다.
- 암시 적 변환 강제 실행.
더 복잡한 인스턴스화의 경우 유추 된 유형이 올바른지 확인합니다. 예를
sealed trait Answer
case object Yes extends Answer
case object No extends Answer
scala> val a = List(Yes, Yes, No)
a: List[Product with Serializable with Answer] = List(Yes, Yes, No)
scala> val b: List[Answer] = List(Yes, Yes, No)
b: List[Answer] = List(Yes, Yes, No)
관련 문제
- 1. 어느 쪽이 바람직합니까? a = [] 또는 a = new Array()?
- 2. 물리학 기반의 걷기 (A New Zero에서)
- 3. 왜`A & a = a`가 유효합니까?
- 4. Functor 만들기 (a, a)
- 5. A A O
- 6. 이 가져 오기는 스칼라에서 정확히 무엇을 의미합니까?</p> <pre>class MyClass { ... val a = new A; import a._ }</pre> <p>정확히 <code>val a = new A; import a._</code>은 무엇을 의미 하는가 :
- 7. 모나드 m => a -> [a -> m a] -> a a
- 8. 사이비 A : 링크 : : A, 가져
- 9. A A 자식 지점에서 커밋
- 10. NoClassDefFoundError : A (잘못된 이름 : A)
- 11. Java에서 A (A *) 알고리즘 구현
- 12. NewSQL a drop a replacement?
- 13. A == B 대 B == A, 차이점은 무엇입니까
- 14. val b = a (a는 Array)와 val b = a.clone()의 차이점은 무엇입니까?
- 15. (a | b)가 a - (a & b) + b와 같은 이유는 무엇입니까?
- 16. Matlab은 문자열 "aaa"를 [ "a", "a", "a"] 배열로 변환합니다.
- 17. 표준 하스켈 기능 : (A -> 아마) -> A -> [A]
- 18. 컬렉션 높은 수준의 작업 중단 (목록 : 목록 [A] - A : A)
- 19. 하스켈 벡터 Typeclass : [a] -> [a] -> a
- 20. 정확히 a <a href> hyperlink with a variable
- 21. Numpy가 a + b와 a = a + b를 다르게 취급하는 이유
- 22. var에 A : var에 A = 5 (액션)
- 23. 유형 일체의 값을 얻기 => [A] 적분의 값에서 => ([A], [A], [A])
- 24. "a/b/c"를 [ "a/b/c", "a/b", "a"]로 변환하는 가장 쉬운 방법
- 25. 하스켈 :`Num [a] => a`와`Num a => [a]`사이의 차이점은 무엇입니까
- 26. OCAML : let 함수의 차이 a x = (a x) ;; 그리고 func a x = ((fun a -> a) x) ;;
- 27. OFX 파일의 A/R & A/P
- 28. A-Z a-z 0-9 _ 및
- 29. '<a href=' in a string?
- 30. PHP에서 $ a = 0과 $ a = '0'사이의 차이
를 들어 나는이 다형성을 – maxmc
@maxmc라고하지만 객체가 여전히없이 다형성 될 것이다라고 말하고 싶지만 .. –
@maxmc 당신은이 다형성을 얼마나 정확하게에 정교한 것이다 : -? pst처럼 나는 또한 이것이 다형성에 의해 의미되는 것과 정확히 같지 않다고 믿는다 ... –