Есть ли способ ограничить признак, чтобы его можно было смешивать только с объектами? Например.
trait OnlyForObjects {
this: ... =>
}
object Foo extends OnlyForObjects // --> OK
class Bar extends OnlyForObjects // --> compile error
Ответ 1
Да! Там скрытый и в основном недокументированный scala.Singleton:
scala> trait OnlyForObjects { this: Singleton => }
defined trait OnlyForObjects
scala> object Foo extends OnlyForObjects
defined module Foo
scala> class Bar extends OnlyForObjects
<console>:15: error: illegal inheritance;
self-type Bar does not conform to OnlyForObjects selftype OnlyForObjects
with Singleton
class Bar extends OnlyForObjects
^
Он упоминал несколько раз в спецификации языка, но даже не отображается в документации API.