Spec-Zone.ru › Scala 3.1

Трейт scala.WithoutPreciseParameterTypes

Исходный код

@since("3.1")
trait WithoutPreciseParameterTypes extends Selectable

Маркерный трейт для подклассов Selectable, указывающий на то, что точные типы параметров не требуются для диспетчеризации методов. То есть, класс, унаследованный от этого трейта и реализующий

def applyDynamic(name: String, paramTypes: Class[_]*)(args: Any*)

должен обращаться к методу с заданным name без необходимости полагаться на точный paramTypes. Подтипы WithoutPreciseParameterTypes могут иметь более гибкие правила подтипизации для уточнений. Им не нужно дополнительное ограничение, что сигнатуры уточнения и определения, реализующего уточнение, должны совпадать.

Суперадресные типы
трейт Selectable
класс Object
трейт Matchable
класс Any

© 2002-2022 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://scala-lang.org/api/3.1.1/scala/Selectable$$WithoutPreciseParameterTypes.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API