暗黙的な定義、特に変換。
たとえば、入力文字列の中央を "..."に置き換えることにより、入力文字列をサイズに合わせてフォーマットする関数を想定します。
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
これで、doubleを渡してその関数を呼び出すことができます。
sizeBoundedString(12345.12345D, 8)
最後の引数は暗黙的であり、暗黙的なde宣言により自動的に渡されます。さらに、 "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にログが送信されます。
この単純な例は、オーバーロードとプライベート状態で書き直すことができますが、暗黙的なものはプライベート状態を必要とせず、インポートでコンテキストに含めることができます。