[scala] 왜 “메서드 오버로딩을 피해야합니까?”

오버로딩은 메서드를 함수로 들어 올리는 것을 조금 더 어렵게 만듭니다.

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
}

개별적으로 이러한 이유 때문에 과부하를 완전히 피해야하는 것은 아닙니다. 더 큰 문제를 놓치고있는 것 같습니다.

최신 정보

증거가 쌓이고 있습니다.

• 사양을 복잡하게합니다.
• 암시 적을 뷰 경계에서 사용하기에 적합하지 않게 렌더링 할 수 있습니다 .
• 오버로드 된 대안 중 하나에서만 매개 변수에 대한 기본값을 도입하도록 제한합니다.
• 인수는 예상 된 형식없이 형식화되므로 ‘_.foo’와 같은 익명 함수 리터럴 을 오버로드 된 메서드에 인수로 전달할 수 없습니다 .

업데이트 2

• 현재는 패키지 객체에서 오버로드 된 메서드를 사용할 수 없습니다.
• API 호출자에 대해 적용 성 오류 를 진단 하기 가 더 어렵습니다 .

업데이트 3

• 정적 과부하 해결은 API의 모든 유형 안전을 약화시킬 수 있습니다.

scala> object O { def apply[T](ts: T*) = (); def apply(f: (String => Int)) = () }
defined object O

scala> O((i: String) => f(i)) // oops, I meant to call the second overload but someone changed the return type of `f` when I wasn't looking...