왜 "메서드 오버로드 방지"?

Question

왜 Jorge Ortiz advise to avoid method overloading?

Answer 1

오버로드는 좀 더 열심히 함수에 방법을 들어 올릴 수 있습니다 : 당신은 선택적으로 오버로드 된 메서드의 세트 중 하나 가져올 수 없습니다

object A { 
    def foo(a: Int) = 0 
    def foo(b: Boolean) = 0 
    def foo(a: Int, b: Int) = 0 

    val function = foo _ // fails, must use = foo(_, _) or (a: Int) => foo(a) 
} 

.

모호함이 매개 변수 유형에 인수를 적응하는 암시 적 전망을 적용 할 때 발생하는 것으로 큰 기회가있다 :

scala> implicit def S2B(s: String) = !s.isEmpty        
S2B: (s: String)Boolean 

scala> implicit def S2I(s: String) = s.length        
S2I: (s: String)Int 

scala> object test { def foo(a: Int) = 0; def foo(b: Boolean) = 1; foo("") } 
<console>:15: error: ambiguous reference to overloaded definition, 
both method foo in object test of type (b: Boolean)Int 
and method foo in object test of type (a: Int)Int 
match argument types (java.lang.String) 
     object test { def foo(a: Int) = 0; def foo(b: Boolean) = 1; foo("") } 

그것은 조용히 사용할 기본 매개 변수를 렌더링 할 수는 :

object test { 
    def foo(a: Int) = 0; 
    def foo(a: Int, b: Int = 0) = 1 
} 

개별적으로, 이러한 이유들은 당신이 완전히 오버로드를 피하도록 강요하지 않습니다. 나는 더 큰 문제를 놓치고있는 것처럼 느껴진다.

UPDATE

증거는 최대 적재된다.

• 그것은 spec
• 복잡 그것은 수 render implicits unsuitable보기 경계에 사용.
• 오버로드 된 대안 중 하나에서만 매개 변수의 기본값을 사용하도록 제한합니다.
• 예상되는 형식이없는 인수가 입력되므로 '_.foo' as arguments to overloaded methods과 같은 익명의 함수 리터럴을 전달할 수 없습니다.

UPDATE 2

• 당신은 (현재) 패키지 객체의 메소드를 오버로드 할 수 없습니다.
• 해당 API 호출자의 경우 적용 가능한 오류는 harder to diagnose입니다.

UPDATE 3

• 정적 과부하 해상도 강탈 할 수있는 모든 형태의 안전성의 API :

  스칼라> 오브젝트 O {DEF 적용 [T (TS : T의 *) =(); =()} 정의 오브젝트 O

  스칼라> O ((I : 문자열) => F (I)) // 죄송 I 통화 의미 제 : DEF ((문자열 => INT) f)에 적용 내가 ... 길 라드와 제이슨 (retronym가) 가능하면 과부하를 방지하기위한 모든 아주 좋은 이유는 줄

Answer 2

내가 조언 특히 스칼라 의미하지 생각 않지만, 일반적으로 OO을 위해 (지금까지 내가 스칼라는 최상의 OO와 기능 사이에 있어야하는데 알고있다).

을 재정의하면 괜찮습니다. 다형성의 핵심이며 객체 지향 디자인의 핵심입니다.

반면에은 오버로드가 더 문제가됩니다. 메서드 오버로딩을 사용하면 실제로 어떤 메서드가 호출되는지를 구분하기가 어렵고 실제로 혼란의 원인이 될 수 있습니다. 또한 과부하가 실제로 필요한 이유는 거의 없습니다. 문제는 대부분 다른 방법으로 해결 될 수 있으며 과부하가 냄새라고 동의합니다.

여기에 "과부하가 혼란의 원천"이라는 뜻을 멋지게 설명하는 an article입니다. 이것이 낙심 한 주된 이유라고 생각합니다. 자바 용이지만 스칼라에도 적용된다고 생각합니다.

Answer 3

이유를 찾고되지 않았을 때 과부하하지만 누군가는 f의 반환 형식을 변경했습니다. Gilad의 이유는 오버로드가 일반적으로 문제가되는 이유에 초점을 맞추는 반면 Jason의 이유는 다른 Scala 기능과 관련하여 문제가있는 이유에 초점을두고 있습니다.

Jason의 목록에서 오버로딩이 형식 유추와 제대로 상호 작용하지 않는다고 추가합니다. 고려 :

val x = ... 
foo(x) 

x의 추론 유형의 변화를 호출되는있는 foo 방법을 변경할 수 있습니다. 값이 인 x은 변경하지 않아도됩니다. 모든 이유에서 발생할 수있는 x의 유추 유형 만 변경하면됩니다.

주어진 이유로 (그리고 내가 잊어 버린 것이 틀림 없음), 메소드 오버로딩은 가능한 한 아껴서 사용해야한다고 생각합니다.