암시 적 정의, 특히 전환
예를 들어, 입력 문자열의 형식을 "..."로 바꾸어 입력 문자열을 크기에 맞게 지정하는 함수를 가정하십시오.
def sizeBoundedString(s: String, n: Int): String = {
if (n < 5 && n < s.length) throw new IllegalArgumentException
if (s.length > n) {
val trailLength = ((n - 3) / 2) min 3
val headLength = n - 3 - trailLength
s.substring(0, headLength)+"..."+s.substring(s.length - trailLength, s.length)
} else s
}
모든 String과 함께 사용할 수 있으며 물론 toString 메서드를 사용하여 모든 것을 변환 할 수 있습니다. 그러나 다음과 같이 작성할 수도 있습니다.
def sizeBoundedString[T](s: T, n: Int)(implicit toStr: T => String): String = {
if (n < 5 && n < s.length) throw new IllegalArgumentException
if (s.length > n) {
val trailLength = ((n - 3) / 2) min 3
val headLength = n - 3 - trailLength
s.substring(0, headLength)+"..."+s.substring(s.length - trailLength, s.length)
} else s
}
그런 다음 다음을 수행하여 다른 유형의 클래스를 전달할 수 있습니다.
implicit def double2String(d: Double) = d.toString
이제 그 함수를 더블로 전달할 수 있습니다 :
sizeBoundedString(12345.12345D, 8)
마지막 인수는 암시 적이며 암시 적 선언으로 인해 자동으로 전달됩니다. 또한 "s"는 sizeBoundedString 내부에서 String 으로 처리 되므로 암시 적으로 String으로 변환됩니다.
이 유형의 내재는 예기치 않은 변환을 피하기 위해 일반적이지 않은 유형에 대해 더 잘 정의됩니다. 변환을 명시 적으로 전달할 수도 있으며 sizeBoundedString 내부에서 여전히 암시 적으로 사용됩니다.
sizeBoundedString(1234567890L, 8)((l : Long) => l.toString)
여러 개의 암시 적 인수를 가질 수도 있지만 모든 인수를 전달하거나 전달하지 않아야합니다. 암시 적 변환을위한 바로 가기 구문도 있습니다.
def sizeBoundedString[T <% String](s: T, n: Int): String = {
if (n < 5 && n < s.length) throw new IllegalArgumentException
if (s.length > n) {
val trailLength = ((n - 3) / 2) min 3
val headLength = n - 3 - trailLength
s.substring(0, headLength)+"..."+s.substring(s.length - trailLength, s.length)
} else s
}
이것은 정확히 같은 방식으로 사용됩니다.
암시 적은 어떤 값이든 가질 수 있습니다. 예를 들어 라이브러리 정보를 숨기는 데 사용할 수 있습니다. 예를 들어 다음 예를 보자.
case class Daemon(name: String) {
def log(msg: String) = println(name+": "+msg)
}
object DefaultDaemon extends Daemon("Default")
trait Logger {
private var logd: Option[Daemon] = None
implicit def daemon: Daemon = logd getOrElse DefaultDaemon
def logTo(daemon: Daemon) =
if (logd == None) logd = Some(daemon)
else throw new IllegalArgumentException
def log(msg: String)(implicit daemon: Daemon) = daemon.log(msg)
}
class X extends Logger {
logTo(Daemon("X Daemon"))
def f = {
log("f called")
println("Stuff")
}
def g = {
log("g called")(DefaultDaemon)
}
}
class Y extends Logger {
def f = {
log("f called")
println("Stuff")
}
}
이 예에서 Y 객체에서 "f"를 호출하면 로그가 기본 데몬으로, X 인스턴스에서 데몬 X 데몬으로 로그가 전송됩니다. 그러나 X 인스턴스에서 g를 호출하면 명시 적으로 지정된 DefaultDaemon에 로그가 전송됩니다.
이 간단한 예제는 오버로드 및 개인 상태로 다시 작성할 수 있지만 암시 적에는 개인 상태가 필요하지 않으며 가져 오기를 통해 컨텍스트를 가져올 수 있습니다.