View mode: basic / threaded / horizontal-split · Log in · Help
March 11, 2012
override and @trusted
As suggested, override will propagate function's qualifier of the 
superclass. What about the @trusted attribute ?

It seems to be quite dangerous attribute to propagate. And if we don't, 
we could ends up with strange stuffs dues to @safe inference in the 
subclasse.

I suggest override to propagate @safe in the case of @trusted function 
overload, except if overloaded function is explicitly tagged as @trusted .

@trusted isn't something that we want to propagate automatically.
March 11, 2012
Re: override and @trusted
On 03/11/2012 05:16 PM, deadalnix wrote:
> As suggested, override will propagate function's qualifier of the
> superclass. What about the @trusted attribute ?
>
> It seems to be quite dangerous attribute to propagate. And if we don't,
> we could ends up with strange stuffs dues to @safe inference in the
> subclasse.
>
> I suggest override to propagate @safe in the case of @trusted function
> overload, except if overloaded function is explicitly tagged as @trusted .
>
> @trusted isn't something that we want to propagate automatically.

+1.
March 12, 2012
Re: override and @trusted
On Sun, Mar 11, 2012 at 05:16:06PM +0100, deadalnix wrote:
> As suggested, override will propagate function's qualifier of the
> superclass. What about the @trusted attribute ?
> 
> It seems to be quite dangerous attribute to propagate. And if we
> don't, we could ends up with strange stuffs dues to @safe inference
> in the subclasse.
> 
> I suggest override to propagate @safe in the case of @trusted
> function overload, except if overloaded function is explicitly
> tagged as @trusted .
> 
> @trusted isn't something that we want to propagate automatically.

I didn't confirm this, but based on what I observed of dmd recently, I
*think* it actually does this already.


T

-- 
Error: Keyboard not attached. Press F1 to continue. -- Yoon Ha Lee, CONLANG
Top | Discussion index | About this forum | D home