Allow structural anonymous classes #9201
Conversation
|
Thanks for this. AFAIK, this was the last programmability gap that prevented me from porting my library to dotty. I currently don't have time to do this, but will get on that when I can. |
| is implemented by the base trait `reflect.Selectable` of `Vehicle`, which | ||
| defines the necessary `selectDynamic` member. | ||
|
|
||
| `Vehicle` could also extend some other subclass of `scala.Selectable` that implements `selectDynamic` and `applyDynamic` differently. But if it does not extend a `Selectable` at all, the code would no longer typecheck: |
There was a problem hiding this comment.
here you write scala.Selectable but above you write reflect.Selectable (and also in the tests). I assume this is a typo, but perhaps scala.Selectable is also a thing.
There was a problem hiding this comment.
Yes, scala.reflect.Selectable is the java-reflection-based implementation of the scala.Selectable mechanism https://github.com/lampepfl/dotty/blob/master/library/src/scala/Selectable.scala https://github.com/lampepfl/dotty/blob/master/library/src/scala/reflect/Selectable.scala
There was a problem hiding this comment.
Got it. Thanks for the clarification. (I never use these due to performance anxiety associated with reflection, so I had forgotten about that).
|
Would it be possible to use dynamic invocation in such cases, is it difficult to allow:
|
We now allow structural dispatch on classes that extend the
scala.Selectabletrait. If a class extendsscala.reflect.Selectablestructural dispatch is resolved using Java reflection.