Định nghĩa ngầm, đặc biệt là chuyển đổi.
Ví dụ: giả sử một hàm sẽ định dạng chuỗi đầu vào phù hợp với kích thước, bằng cách thay thế giữa của nó bằng "...":
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
}
Bạn có thể sử dụng điều đó với bất kỳ Chuỗi nào và, tất nhiên, sử dụng phương thức toString để chuyển đổi mọi thứ. Nhưng bạn cũng có thể viết nó như thế này:
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
}
Và sau đó, bạn có thể vượt qua các lớp loại khác bằng cách thực hiện điều này:
implicit def double2String(d: Double) = d.toString
Bây giờ bạn có thể gọi hàm đó đi qua một đôi:
sizeBoundedString(12345.12345D, 8)
Đối số cuối cùng là ẩn và được truyền tự động vì khai báo ẩn. Hơn nữa, "s" đang được xử lý như một Chuỗi bên trong sizeBoundedString vì có một chuyển đổi ngầm định từ nó sang Chuỗi.
Ý nghĩa của loại này được xác định tốt hơn cho các loại không phổ biến để tránh chuyển đổi không mong muốn. Bạn cũng có thể vượt qua một chuyển đổi một cách rõ ràng và nó vẫn sẽ được sử dụng hoàn toàn bên trong sizeBoundedString:
sizeBoundedString(1234567890L, 8)((l : Long) => l.toString)
Bạn cũng có thể có nhiều đối số ngầm, nhưng sau đó bạn phải vượt qua tất cả chúng, hoặc không vượt qua bất kỳ đối số nào. Ngoài ra còn có một cú pháp phím tắt cho chuyển đổi ngầm:
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
}
Điều này được sử dụng chính xác theo cùng một cách.
Implicits có thể có bất kỳ giá trị. Chúng có thể được sử dụng, ví dụ, để ẩn thông tin thư viện. Lấy ví dụ sau đây, ví dụ:
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")
}
}
Trong ví dụ này, việc gọi "f" trong một đối tượng Y sẽ gửi nhật ký đến daemon mặc định và trên một thể hiện của X đến daemon X daemon. Nhưng việc gọi g trên một thể hiện của X sẽ gửi nhật ký đến DefaultDaemon được cung cấp rõ ràng.
Trong khi ví dụ đơn giản này có thể được viết lại với tình trạng quá tải và trạng thái riêng tư, các ẩn ý không yêu cầu trạng thái riêng tư và có thể được đưa vào ngữ cảnh với nhập khẩu.