Annotation scala.annotation.implicitNotFound

final class implicitNotFound extends Annotation with StaticAnnotation

Чтобы настроить сообщение об ошибке, которое выводится, когда не удаётся найти неявный параметр типа C[T1,..., TN], аннотируйте класс C с помощью @implicitNotFound. Предполагая, что C имеет параметры типа X1, ..., XN, сообщение об ошибке будет результатом замены всех вхождений ${Xi} в строке msg строковым представлением соответствующего аргумента типа Ti.

Аннотация также может быть применена к неявным параметрам. В этом случае ${Xi} может ссылаться на параметры типа в текущем объёме. Сообщение @implicitNotFound для параметра имеет приоритет над сообщением для типа параметра.

import scala.annotation.implicitNotFound

@implicitNotFound("Could not find an implicit C[${T}, ${U}]")
class C[T, U]

class K[A] {
  def m[B](implicit c: C[List[A], B]) = 0
  def n[B](implicit @implicitNotFound("Specific message for C of list of ${A} and ${B}") c: C[List[A], B]) = 1
}

object Test {
  val k = new K[Int]
  k.m[String]
  k.n[String]
}

Компилятор выводит следующие сообщения об ошибках:

Test.scala:13: error: Could not find an implicit C[List[Int], String]
  k.m[String]
     ^
Test.scala:14: error: Specific message for C of list of Int and String
  k.n[String]
     ^

Source: implicitNotFound.scala
Since: 2.8.1
Linear Supertypes: StaticAnnotation, Annotation, AnyRef, Any

Значения членов

final def !=(arg0: Any): Boolean

Проверка двух объектов на неравенство.

возвращает: true если !(this == that), иначе false.

Определяющие классы: AnyRef → Any

final def ##(): Int

Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для числовых типов он возвращает значение хэша, которое соответствует равенству значений: если две инстанции типа значения сравниваются как true, тогда ## будет производить одинаковое значение хэша для каждой из них. Для null возвращает хэш-код, где null.hashCode вызывает NullPointerException.

возвращает: значение хэша, соответствующее ==

Определяющие классы: AnyRef → Any

def +(other: String): String

Неявный: Этот член добавлен благодаря неявной конвертации из implicitNotFound в any2stringadd[implicitNotFound] с помощью метода any2stringadd в scala.Predef.
Определяющие классы: any2stringadd

def ->[B](y: B): (implicitNotFound, B)

Неявный: Этот член добавлен благодаря неявной конвертации из implicitNotFound в ArrowAssoc[implicitNotFound] с помощью метода ArrowAssoc в scala.Predef.
Определяющие классы: ArrowAssoc
Аннотации: @inline()

final def ==(arg0: Any): Boolean

Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

возвращает: true если объект получателя эквивалентен аргументу; false в противном случае.

Определяющие классы: AnyRef → Any

final def asInstanceOf[T0]: T0

Приведение объекта получателя к типу T0.

Обратите внимание, что успех приведения во время выполнения зависит от семантики стирания Scala. Поэтому выражение 1.asInstanceOf[String] вызовет ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не вызовет. В последнем примере, поскольку аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли содержимое списка требуемому типу.

возвращает: объект получателя.

Определяющие классы: Any
Исключения: ClassCastException, если объект получателя не является экземпляром стирания типа T0.

def clone(): AnyRef

Создает копию объекта получателя.

По умолчанию реализация метода clone зависит от платформы.

возвращает: копию объекта получателя.

Атрибуты: protected[java.lang]
Определяющие классы: AnyRef
Аннотации: @throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание: не указано SLS как член AnyRef

def ensuring(cond: (implicitNotFound) => Boolean, msg: => Any): implicitNotFound

Неявный: Этот член добавлен благодаря неявной конвертации из implicitNotFound в Ensuring[implicitNotFound] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

def ensuring(cond: (implicitNotFound) => Boolean): implicitNotFound

Неявный: Этот член добавлен благодаря неявной конвертации из implicitNotFound в Ensuring[implicitNotFound] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

def ensuring(cond: Boolean, msg: => Any): implicitNotFound

Неявный: Этот член добавлен неявным преобразованием из implicitNotFound в Ensuring[implicitNotFound] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

def ensuring(cond: Boolean): implicitNotFound

Неявный: Этот член добавлен неявным преобразованием из implicitNotFound в Ensuring[implicitNotFound] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

final def eq(arg0: AnyRef): Boolean

Проверяет, является ли аргумент (that) ссылкой на объект-получатель (this).

Метод eq реализует отношение эквивалентности на непустых экземплярах AnyRef, и имеет три дополнительных свойства:

x

y

AnyRef

x.eq(y)

true

false

x

AnyRef

x.eq(null)

null.eq(x)

false

null.eq(null)

true

При переопределении методов equals или hashCode важно обеспечить согласованность их поведения с равенством по ссылке. Поэтому, если два объекта являются ссылками друг на друга (o1 eq o2), они должны быть равны друг другу (o1 == o2) и должны иметь одинаковое значение хэша (o1.hashCode == o2.hashCode).

возвращает: true если аргумент является ссылкой на объект-получатель; false в противном случае.

Определяющие классы: AnyRef

def equals(arg0: AnyRef): Boolean

Метод равенства для ссылочных типов. По умолчанию делегирует вызов методу eq.

См. также equals в scala.Any.

возвращает: true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы: AnyRef → Any

def finalize(): Unit

Вызывается сборщиком мусора для объекта-получателя, когда больше нет ссылок на объект.

Подробности о том, когда и если вызывается метод finalize, а также взаимодействие finalize с нелокальными возвратами и исключениями, зависят от платформы.

Атрибуты: protected[java.lang]
Определяющие классы: AnyRef
Аннотации: @throws(classOf[java.lang.Throwable])
Примечание: не указан в SLS как член AnyRef

def formatted(fmtstr: String): String

Возвращает строку, отформатированную в соответствии с заданной строкой format. Строки форматов аналогичны строкам форматов String.format (@см java.lang.String.format).

Неявный: Этот член добавлен неявным преобразованием из implicitNotFound в StringFormat[implicitNotFound] с помощью метода StringFormat в scala.Predef.
Определяющие классы: StringFormat
Аннотации: @inline()

final def getClass(): Class[_ <: AnyRef]

Возвращает представление класса объекта во время выполнения.

возвращает: объект класса, соответствующий типу получателя во время выполнения.

Определяющие классы: AnyRef → Any
Аннотации: @native()

def hashCode(): Int

Метод hashCode для ссылочных типов. См. hashCode в scala.Any.

возвращает: значение хэша для данного объекта.

Определяющие классы: AnyRef → Any
Аннотации: @native()

final def isInstanceOf[T0]: Boolean

Проверка того, является ли динамический тип объекта-приемника T0.

Обратите внимание, что результат проверки учитывает семантику стирания Scala. Поэтому выражение 1.isInstanceOf[String] вернёт false, в то время как выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, так как аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли элементы списка указанному типу.

возвращает: true , если объект-приемник является экземпляром стёртого типа T0; false в противном случае.

Классы-определения: Any

final def ne(arg0: AnyRef): Boolean

Эквивалентно !(this eq that).

возвращает: true , если аргумент не является ссылкой на объект-приёмник; false в противном случае.

Классы-определения: AnyRef

final def notify(): Unit

Разбуждает один поток, ожидающий монитора объекта-приёмника.

Классы-определения: AnyRef
Аннотации: @native()
Примечание: не указано SLS как член AnyRef

final def notifyAll(): Unit

Разбуждает все потоки, ожидающие монитора объекта-приёмника.

Классы-определения: AnyRef
Аннотации: @native()
Примечание: не указано SLS как член AnyRef

final def synchronized[T0](arg0: => T0): T0

Классы-определения: AnyRef

def toString(): String

Создаёт строковое представление этого объекта. По умолчанию представление зависит от платформы. На платформе Java это конкатенация имени класса, "@" и хэш-кода объекта в шестнадцатеричном формате.

возвращает: строковое представление объекта.

Классы-определения: AnyRef → Any

final def wait(): Unit

Классы-определения: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Классы-определения: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Классы-определения: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException]) @native()

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala/annotation/implicitNotFound.html