Mailing-List: contact users-help@groovy.apache.org; run by ezmlm
Precedence: bulk
Reply-To: users@groovy.apache.org
MIME-Version: 1.0
In-Reply-To: <567FE96E.3050702@gmx.org>
References: <5C82ED88-C0E8-40CC-9699-9F20036948A7@base2.cc>
 <567FE96E.3050702@gmx.org>
From: =?UTF-8?B?RGlua28gU3Jrb8SN?= <dinko.srkoc@gmail.com>
Date: Sun, 27 Dec 2015 17:54:35 +0100
Message-ID: 
 <CAFPyv-wK_Q_50ew9XNYrHskv3s7LQca1Of4UBa17EV9BXgEH-A@mail.gmail.com>
Subject: Re: Problem overloading bracket operator with CompileStatic
To: users@groovy.apache.org
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On 27 December 2015 at 14:36, Jochen Theodorou <blackdrag@gmx.org> wrote:
> On 27.12.2015 09:18, Byron Foster wrote:
>>
>> Given the following code:
>>
>> =E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=
=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=
=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=
=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=
=E2=80=94-
>> package rankspin
>>
>> import groovy.transform.CompileStatic
>>
>> trait SimpleMap<K, V> {
>>    abstract V getAt(K k)
>> }
>>
>> class Foo implements SimpleMap<String, String> {
>>    String getAt(String k) {return "bar"}
>> }
>>
>> @CompileStatic
>> void go(SimpleMap map) {
>>    println map["a"]
>> }
>>
>> Foo foo =3D new Foo()
>> go(foo)
>
>
> so basically overloaded getAt in subclass plus static compilation and met=
hod
> call on the base class. Well... You have to keep in mind, that there is a
> big difference in method dispatch when it comes to static and dynamic typ=
ing
> in Groovy. In dynamic Groovy, Groovy will take the runtime type of an obj=
ect
> to choose the method. In your case, the call site is the map["a"] aka
> map.getAt("a") line. The static compiler will only see a SimpleMap. The
> static compiler cannot know that this SimpleMap is maybe a Foo providing =
a
> better fitting getAt(String) method. And since the compiler cannot know
> that, it will take the getAt(K) (aka getAt(Object)) method from SimpleMap=
.
> Even if you had tried SimpleMap<String>, it would not have changed a thin=
g.
>
> In other words, a static compiler like the one of Groovy (or the one of J=
ava
> and most other static languages cannot do this).

Umm ... Jochen, are you sure this is right? I'm rather convinced that
this should work in both Java (using interfaces instead of traits) and
Scala ... and by extension, I would be inclined to call the above
behaviour a bug. Being statically compiled or not, isn't this the case
of dynamic dispatch, which should work in any OO language?

Cheers,
Dinko

>
> [..]
>>
>> Threw:
>> org.codehaus.groovy.runtime.metaclass.MissingPropertyExceptionNoStack
>> msg: No such property: password for class: rankspin.web.MyRequest
>
>>
>>
>> With no stack trace.  Even in the example code above it does not indicat=
e
>> the code site where the error occurred.  is this correct?
>
>
> This is not correct, no. The static compiler should not have used the
> dynamic way to get a property, because that is was is producing the stack
> less exception, which is normally caught before it reaches groovy code ag=
ain
> and transformed into a proper exception. Since the static compiler is not
> really supposed to use those methods, it is no wonder the proper unwrappi=
ng
> is missing as well.
>
> bye Jochen
>