Что означает аннотация объекта self -? [дубликат]

На этот вопрос уже есть ответы здесь:

Закрыто 7 лет назад .

Possible Duplicate:
What is the difference between scala self-types and trait subclasses?

Я понимаю аннотацию self -как обещание компилятору, где программист показывает, что трейт будет смешан с аннотированным. Например:

scala> trait X
defined trait X

scala> trait Y { this: X => }
defined trait Y

scala> new Y {}
:10: error: illegal inheritance;
self-type Y does not conform to Y's selftype Y with X
              new Y {}
                  ^

scala> new Y with X {}
res1: Y with X = $anon$1@1125a40

В предыдущем примере третье выражение не удалось, потому что мы не установили действительный X для нового экземпляра. Очевидно, что последний работает хорошо. Все идет нормально. А теперь давайте посмотрим на другой пример, связанный с объектом.

scala> object Z { this: X => }
defined module Z

Я понимаю, что экземпляр объекта создается с ошибкой с обещанием X (, мы создаем экземпляр сейчас с будущим обещанием! ), как показано в следующих строках, где признаки были немного изменены:

scala> trait X { class X1 }
defined trait X

scala> trait Y { this: X => new X1 }
defined trait Y

scala> object Z { this: X => new X1 }
:8: error: not found: type X1
       object Z { this: X => new X1 }
                                 ^

Итак, что подразумевает аннотация объекта self -?

задан Community 23 May 2017 в 10:09

0 ответов

Другие вопросы по тегам:

mixins scala self-type

Что означает аннотация объекта self -? [дубликат]

0 ответов

Похожие вопросы: