Статический внутренний класс против внутреннего класса Companion

Question

Чтение главы 20 книги Ордыского о Скале, я обнаружил, что внутренние классы зависят от пути. Среди других функций это означает, что они могут быть созданы только внутри внешнего класса или предоставлены экземпляр внешнего класса.

Возникает вопрос: я хотел бы реализовать static inner class в Scala, но автор предполагает, что это невозможно. Я сразу же подумал о создании «внутреннего класса» (давайте назовите его Inner) членом компаньона Outer.

Принятый ответ this вопрос, кажется, указывает на это направление. Но гонит к проблеме: Тип Inner «s ins't Outer#Inner, я мог бы попробовать что-то вроде:

object Outer { 
    class Inner extends Outer#Inner { } 
} 

Это не работает, однако. Знаете ли вы, что для этого есть работа? У меня есть подозрение, что это можно сделать с абстрактными типами, но я не уверен.

Обратите внимание, что внутренний класс объектов-компаньонов не соответствует классу Inner, не относящемуся к пути, из-за его типа.

Answer 1

Я сразу же подумал о создании «внутреннего класса» (назовем его Внутренним) членом сопутствующего объекта Outer.

Да, это самый близкий эквивалент Scala.

Но гонит к проблеме: Тип внутренней ins't в Outer # Inner

Это не проблема, потому что Outer#Inner эквивалентно нестатической внутреннего класса Outer в Ява. То есть он имеет ссылку на объект Outer.

Я хотел бы получить внутренний класс, который не зависит от последовательности или, по крайней мере, знать, если это возможно

Если вы хотите, чтобы создать не-компаньон внутренний класс, который может 't использовать путь-зависимо, это невозможно. Вы можете всегда писать Outer#Inner вместо o.Inner в своем коде, конечно.